Yoann Padioleau

13 papers A* 3A 2B 1C 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2011 A* conf
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.
ICSE
Lin Tan, Yuanyuan Zhou, Yoann Padioleau
2009 A* conf
Listening to programmers - Taxonomies and characteristics of comments in operating system code.
ICSE
Yoann Padioleau, Lin Tan, Yuanyuan Zhou
2009 B conf
Parsing C/C++ Code without Pre-processing.
CC
Yoann Padioleau
2008 A conf
Documenting and automating collateral evolutions in linux device drivers.
EuroSys
Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller
2007 — conf
Towards easing the diagnosis of bugs in OS code.
PLOS@SOSP
Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
2006 A* conf
LISFS: a logical information system as a file system.
ICSE
Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux
2006 J jnl
Semantic patches considered helpful.
ACM SIGOPS Oper. Syst. Rev.
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
2006 C conf
Semantic patches for documenting and automating collateral evolutions in Linux device drivers.
PLOS
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2006 — conf
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
EVOL
Yoann Padioleau, Julia Lawall, Gilles Muller
2006 — conf
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
EVOL (Selected Papers)
Yoann Padioleau, Julia L. Lawall, Gilles Muller
2006 A conf
Understanding collateral evolution in Linux device drivers.
EuroSys
Yoann Padioleau, Julia L. Lawall, Gilles Muller
2005 — conf
A Parts-of-File File System.
USENIX ATC, General Track
Yoann Padioleau, Olivier Ridoux
2003 — conf
A Logic File System.
USENIX ATC, General Track
Yoann Padioleau, Olivier Ridoux