@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.