Yoann Padioleau

According to our database1, Yoann Padioleau authored at least 12 papers between 2003 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2009
Listening to programmers - Taxonomies and characteristics of comments in operating system code.
Proceedings of the 31st International Conference on Software Engineering, 2009

Parsing C/C++ Code without Pre-processing.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Documenting and automating collateral evolutions in linux device drivers.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007
Towards easing the diagnosis of bugs in OS code.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006
Semantic patches considered helpful.
ACM SIGOPS Oper. Syst. Rev., 2006

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
Proceedings of the Selected Papers of the ERCIM Working Group on Software Evolution, 2006

LISFS: a logical information system as a file system.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Understanding collateral evolution in Linux device drivers.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005
A Parts-of-File File System.
Proceedings of the 2005 USENIX Annual Technical Conference, 2005

2003
A Logic File System.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003


  Loading...