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