A Logic File System. - Yoann Padioleau; Olivier Ridoux (USENIX ATC, General Track, 2003)

A Parts-of-File File System. - Yoann Padioleau; Olivier Ridoux (USENIX ATC, General Track, 2005)

Semantic patches for documenting and automating collateral evolutions in Linux device drivers. - Yoann Padioleau; René Rydhof Hansen; Julia L. Lawall; Gilles Muller (PLOS, 2006)

Understanding collateral evolution in Linux device drivers. - Yoann Padioleau; Julia L. Lawall; Gilles Muller (EuroSys, 2006)

LISFS: a logical information system as a file system. - Yoann Padioleau; Benjamin Sigonneau; Olivier Ridoux (ICSE, 2006)

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. - Yoann Padioleau; Julia L. Lawall; Gilles Muller (EVOL (Selected Papers), 2006)

Semantic patches considered helpful. - Gilles Muller; Yoann Padioleau; Julia L. Lawall; René Rydhof Hansen (ACM SIGOPS Oper. Syst. Rev., 2006)

Towards easing the diagnosis of bugs in OS code. - Henrik Stuart; René Rydhof Hansen; Julia L. Lawall; Jesper Andersen; Yoann Padioleau; Gilles Muller (PLOS@SOSP, 2007)

Documenting and automating collateral evolutions in linux device drivers. - Yoann Padioleau; Julia Lawall; René Rydhof Hansen; Gilles Muller (EuroSys, 2008)

Parsing C/C++ Code without Pre-processing. - Yoann Padioleau (CC, 2009)

Listening to programmers - Taxonomies and characteristics of comments in operating system code. - Yoann Padioleau; Lin Tan 001; Yuanyuan Zhou 001 (ICSE, 2009)

aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. - Lin Tan 001; Yuanyuan Zhou 001; Yoann Padioleau (ICSE, 2011)