Software engineer at Facebook.
I like to code and do research on stuff which makes it easier to code stuff.
- Oct 2009: Started working at Facebook in Palo Alto
- June 2009: OCaml mapreduce source and documentation
download
- May 2009: ICSE'09 paper
download
- May 2009: syncweb source
readme
- Apr 2009: Ocamltarzan source
readme
- Jan 2009: Yacfe CC'09 paper download and source
site
- Sep 2008: Coccinelle source
site
- Jul 2008: OTimetracker source
site
- Jun 2008: LFS new wiki and source
wiki
- May 2008: I am online! My first website!
- Nov 1977: I am born!
Well, it's not really a selection because I don't really have
other publications :)
Semantic comments
ICSE'09
Listening to Programmers - Taxonomies and Characteristics of Comments in Operating System Code.
Yoann Padioleau, Lin Tan, YuanYuan Zhou.
ICSE 2009, Vancouver, Canada, May 2009.
pdf
Semantic patches
Eurosys'08
Documenting and Automating Collateral Evolutions in Linux Device Drivers.
Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen and Gilles Muller.
Eurosys 2008, Glasgow, Scotland, March/April 2008.
pdf
Eurosys'06
Understanding Collateral Evolution in Linux Device Drivers.
Yoann Padioleau, Julia L. Lawall, and Gilles Muller.
EuroSys 2006, Leuven, Belgium, April 2006.
pdf
Semantic filesystems
Usenix'05
The Parts-of-file File System.
Yoann Padioleau, Olivier Ridoux.
USENIX Annual Technical 2005 (short paper track), Anaheim, California.
pdf
Usenix'03
A Logic File System.
Yoann Padioleau, Olivier Ridoux.
USENIX Annual Technical 2003, San Antonio, Texas.
pdf
Other
CC'09
Parsing C/C++ code without preprocessing.
Yoann Padioleau.
CC 2009, York, United Kingdom, March 2009.
pdf
Not much yet. Stay tuned.
| Email: |
yoann.padioleau@facebook.com
or firstname.lastname@gmail.com
(optional GPG key)
|
| IM: |
padiolea@irisa.fr on MSN or pad@irc.freenode.net#ocaml on IRC |
| Address: |
469 Grant Ave.
Palo Alto, CA 94306, USA (map)
|
| Office: |
1601 S. California Ave, Palo Alto |
| Phone: |
+1 (650) 734 5160 |
Follow
this
Follow
this