@inproceedings{Palix:asplos11,
  title = {Faults in {Linux}: Ten Years Later},
  author = {Nicolas Palix and Ga\"l Thomas and Suman Saha and
    Christophe Calv\`es and Julia Lawall and Gilles Muller},
  booktitle = {Sixteenth International Conference on Architectural Support
    for Programming Languages and Operating Systems (ASPLOS 2011)},
  address = {Newport Beach, CA, USA},
  month = mar,
  year = 2011
}

@inproceedings{Olesen:opencert10,
  author = {Mads Chr. Olesen and Ren\'e Rydhof Hansen and Julia L. Lawall
            and Nicolas Palix},
  title = {Clang and Coccinelle: Synergising program analysis tools
           for {CERT C} Secure Coding Standard certification},
  booktitle = {4th International Workshop on Foundations and Techniques for
               Open Source Software Certification},
  address = {Pisa, Italy},
  month = sep,
  year = 2010
}

@InProceedings{lawall:edcc10,
  author = 	 {Lawall, Julia and Laurie, Ben and Rydhof Hansen, Ren\'e and Palix, Nicolas and Muller, Gilles},
  title = 	 {Finding Error Handling Bugs in OpenSSL using Coccinelle},
  booktitle = {Proceeding of the 8th European Dependable Computing
                  Conference, EDCC 2010},
  year = 	 2010,
  address = 	 {Valencia, Spain},
  month = 	 apr,
  pages = {191--196}
}

@inproceedings{acp4is10,
 author = {Palix, Nicolas and Lawall, Julia L. and Thomas, Gaël and Muller, Gilles},
 title = {How Often do Experts Make Mistakes?},
 booktitle = {{ACP4IS} '10: Proceedings of the 9th workshop on {Aspects}, components, and patterns for infrastructure software},
 year = {2010},
 location = {Rennes and Saint Malo},
 month = mar,
 keywords = {DSL, Coccinelle, Herodotos},
 pages = {9--15},
 isbn = {978-3-86956-043-4},
 issn = {1613-5652},
 pdf = {http://opus.kobv.de/ubp/volltexte/2010/4122/}
}

@InProceedings{palix:aosd10,
  author = 	 {Palix, Nicolas and Lawall, Julia and Muller, Gilles},
  title = 	 {Tracking Code Patterns over Multiple Software Versions with {Herodotos}},
  booktitle =    AOSD # "10",
  year = 	 2010,
  address = 	 {Rennes and Saint Malo, France},
  month = 	 mar,
 pages     = {169--180},
  doi        = {10.1145/1739230.1739250}
}
%  12 pages

@inproceedings{Palix:CFSE09,
  author = {Nicolas Palix},
  title = {Herodotos, l'historien de vos d\'efauts},
  booktitle = {Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation
      (CFSE)},
  address = {Toulouse, France},
  year = 2009,
  month = sep
}

@inproceedings{Lawall:dsn09,
  author = {Julia L. Lawall and Julien Brunel and Nicolas Palix and
     René Rydhof Hansen and
     Henrik Stuart and Gilles Muller},
  title = {{WYSIWIB}: A Declarative Approach to Finding Protocols and Bugs in
     {Linux} Code},
  booktitle = {The 39th Annual IEEE/IFIP International Conference on
  Dependable Systems and Networks},
  year = 2009,
  month = jun,
  pages = {43--52},
  address = {Estoril, Portugal}
}

@inproceedings{Lawall:acp4is09,
  author = {Julia Lawall and Gilles Muller and Nicolas Palix},
  title = {Enforcing the Use of {API} Functions in {Linux} Code},
  booktitle = {8th Workshop on
   Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '09)},
  address = {Charlottesville, VA, USA},
  month = mar,
  year = 2009
}

@inproceedings{Brunel:POPL09,
  title = {A Foundation for Flow-Based Program Matching Using Temporal Logic
           and Model Checking},
  author = {Julien Brunel and Damien Doligez and Ren\'e Rydhof Hansen
            and Julia L. Lawall and Gilles Muller},
  booktitle = {The 36th Annual ACM SIGPLAN - SIGACT Symposium on
    Principles of Programming Languages},
  address = {Savannah, GA, USA},
  year = 2009,
  month = jan,
  pages = {114--126}
}

@inproceedings{andersen:ase08,
  author = {Jesper Andersen and Julia L. Lawall},
  title = {Generic Patch Inference},
  booktitle = {23rd IEEE/ACM International Conference on Automated Software
     Engineering},
  month = sep,
  year = 2008,
  pages = {337--346},
  address = {L'Aquila, Italy}
}

@Techreport{Lawall:hal2008-2,
  author = {Julien Brunel and Damien Doligez and Ren\'e Rydhof Hansen
            and Julia L. Lawall and Gilles Muller},
  title = {A Foundation for Flow-Based Program Matching Using Temporal Logic
  and Model Checking},
  institution = {Ecole des Mines de Nantes},
  year = {2008},
  address = {Nantes, France},
  number = {08/2/INFO},
}

@Techreport{Lawall:hal2008,
  author = {Julia L. Lawall and Julien Brunel and René Rydhof Hansen and
     Henrik Stuart and Gilles Muller},
  title = {{WYSIWIB}: A Declarative Approach to Finding Protocols and Bugs in
     {Linux} Code},
  institution = {Ecole des Mines de Nantes},
  year = {2008},
  address = {Nantes, France},
  number = {08/1/INFO},
}

@inproceedings{padioleau:eurosys08,
  author = {Yoann Padioleau and Julia L. Lawall and
    Ren\'e Rydhof Hansen and Gilles Muller},
  title = {Documenting and Automating Collateral Evolutions in Linux Device
  Drivers},
  booktitle = {EuroSys 2008},
  month = mar,
  year = 2008,
  pages = {247--260},
  address = {Glasgow, Scotland}
}

@inproceedings{stuart:plos07,
  author = {Henrik Stuart and Ren\'e Rydhof Hansen and Julia L. Lawall and
Jesper Andersen and Yoann Padioleau and Gilles Muller},
  title = {Towards Easing the Diagnosis of Bugs in {OS} Code},
  booktitle = {4th Workshop on Programming Languages and Operating Systems},
  month = oct,
  year = 2007,
  pages = {1--5},
  address = {Stevenson, Washington}
}

@inproceedings{padioleau:ols07,
  author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller},
  title = {Semantic Patches, Documenting and Automating Collateral Evolutions
 in {Linux} Device Drivers},
  booktitle = {Ottawa Linux Symposium (OLS 2007)},
  month = jun,
  year = 2007,
  address = {Ottawa, Canada}
}

@TechReport{padioleau:inria2007,
  author      = {Yoann Padioleau and Ren\'e Rydhof Hansen and  Julia L. Lawall
  and  Gilles Muller},
  title       = {Towards Documenting and Automating Collateral Evolutions
  in Linux Device Drivers},
  year      =  {2007},
  month     =  {01},
  institution = {INRIA},
  number      = {6090},
  type      = {Research Report},
  url= {https://hal.inria.fr/inria-00123142},
}

@inproceedings{Padioleau:plos06,
  author = {Yoann Padioleau and Ren\'e Rydhof Hansen and Julia L. Lawall
  and Gilles Muller},
  title = {Semantic Patches for Documenting and Automating Collateral
  Evolutions in Linux Device Drivers},
  booktitle = {PLOS 2006: Linguistic Support for Modern Operating Systems},
  month = oct,
  year = 2006,
  address = {San Jose, CA}
}

@inproceedings{Padioleau:ercim06,
  author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller},
  title = {{SmPL}: A Domain-Specific Language for Specifying Collateral
  Evolutions in {Linux} Device Drivers},
  booktitle = {International ERCIM Workshop on Software Evolution (2006)},
  month = apr,
  year = 2006,
  address = {Lille, France}
}

@inproceedings{Padioleau:eurosys06,
  author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller},
  title = {Understanding Collateral Evolution in {Linux} Device Drivers},
  booktitle = {The first ACM SIGOPS EuroSys conference (EuroSys 2006)},
  month = apr,
  year = 2006,
  address = {Leuven, Belgium},
  pages = {59-71},
  note = {Also available as INRIA Research Report RR-5769}
}

@Techreport{padioleau:inria2005,
  author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller},
  title = {Understanding Collateral Evolution in Linux Device Drivers},
  institution = {INRIA},
  year = {2005},
  type = {Research report},
  address = {Rennes, France},
  number = {5769},
}

@inproceedings{Lawall:acp4is05,
  author = {Julia L. Lawall and Gilles Muller and Richard Urunuela},
  title = {Tarantula: Killing Driver Bugs Before They Hatch},
  booktitle = {The 4th AOSD Workshop on Aspects, Components, and Patterns
  for Infrastructure Software (ACP4IS)},
  month = mar,
  year = 2005,
  pages = {13--18},
  address = {Chicago, IL}
}