compcert.bib

@inproceedings{DBLP:conf/cgo/Leroy11,
  author = {Xavier Leroy},
  title = {Formally verifying a compiler: Why? How? How far?},
  booktitle = {CGO},
  year = {2011},
  ee = {http://dx.doi.org/10.1109/CGO.2011.5764668},
  crossref = {DBLP:conf/cgo/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cgo/2011,
  title = {Proceedings of the CGO 2011, The 9th International Symposium
               on Code Generation and Optimization, Chamonix, France, April
               2-6, 2011},
  booktitle = {CGO},
  publisher = {IEEE},
  year = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/Leroy11,
  author = {Xavier Leroy},
  title = {Verified squared: does critical software deserve verified
               tools?},
  booktitle = {POPL},
  year = {2011},
  pages = {1-2},
  ee = {http://doi.acm.org/10.1145/1926385.1926387},
  crossref = {DBLP:conf/popl/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/RamananandroRL11,
  author = {Tahina Ramananandro and
               Gabriel Dos Reis and
               Xavier Leroy},
  title = {Formal verification of object layout for c++ multiple inheritance},
  booktitle = {POPL},
  year = {2011},
  pages = {67-80},
  ee = {http://doi.acm.org/10.1145/1926385.1926395},
  crossref = {DBLP:conf/popl/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2011,
  editor = {Thomas Ball and
               Mooly Sagiv},
  title = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages, POPL 2011, Austin,
               TX, USA, January 26-28, 2011},
  booktitle = {POPL},
  publisher = {ACM},
  year = {2011},
  isbn = {978-1-4503-0490-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/date/FrancaFLPS11,
  author = {Ricardo Bedin Fran\c{c}a and
               Denis Favre-Felix and
               Xavier Leroy and
               Marc Pantel and
               Jean Souyris},
  title = {Towards Formally Verified Optimizing Compilation in Flight
               Control Software},
  booktitle = {PPES},
  year = {2011},
  pages = {59-68},
  ee = {http://dx.doi.org/10.4230/OASIcs.PPES.2011.59},
  crossref = {DBLP:conf/date/2011ppes},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2011ppes,
  editor = {Philipp Lucas and
               Lothar Thiele and
               Benoit Triquet and
               Theo Ungerer and
               Reinhard Wilhelm},
  title = {Bringing Theory to Practice: Predictability and Performance
               in Embedded Systems, DATE Workshop PPES 2011, March 18,
               2011, Grenoble, France},
  booktitle = {PPES},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series = {OASICS},
  volume = {18},
  year = {2011},
  isbn = {978-3-939897-28-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/cacm/Leroy11,
  author = {Xavier Leroy},
  title = {Safety first!: technical perspective},
  journal = {Commun. ACM},
  volume = {54},
  number = {12},
  year = {2011},
  pages = {122},
  ee = {http://doi.acm.org/10.1145/2043174.2043196},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jfp/TolmachL11,
  author = {Andrew P. Tolmach and
               Xavier Leroy},
  title = {Special Issue Dedicated to ICFP 2009 Editorial},
  journal = {J. Funct. Program.},
  volume = {21},
  number = {4-5},
  year = {2011},
  pages = {331-332},
  ee = {http://dx.doi.org/10.1017/S0956796811000190},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cc/RideauL10,
  author = {Silvain Rideau and
               Xavier Leroy},
  title = {Validating Register Allocation and Spilling},
  booktitle = {CC},
  year = {2010},
  pages = {224-243},
  ee = {http://dx.doi.org/10.1007/978-3-642-11970-5_13},
  crossref = {DBLP:conf/cc/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cc/2010,
  editor = {Rajiv Gupta},
  title = {Compiler Construction, 19th International Conference, CC
               2010, Held as Part of the Joint European Conferences on
               Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus,
               March 20-28, 2010. Proceedings},
  booktitle = {CC},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6011},
  year = {2010},
  isbn = {978-3-642-11969-9},
  ee = {http://dx.doi.org/10.1007/978-3-642-11970-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.95.