- kernel.org (Mailing list).
Retrieved 2024-05-08.
Yoann Padioleau; René
Rydhof Hansen;
Julia L. Lawall;
Gilles Muller (2006).
Semantic patches for do****enting...
- and
Flemming Nielson. Probst,
Christian W.; Hankin, Chris; Hansen, René
Rydhof, eds. (2016), Semantics, Logics, and Calculi:
Essays Dedicated to Hanne...
-
collateral evolutions in
linux device drivers" (with
Yoann Padioleau, René
Rydhof Hansen, and
Gilles Muller, in
EuroSys 2008) won the 2018
EuroSys Test-of-Time...
