[1] Xavier Leroy. Formally verifying a compiler: Why? how? how far? In CGO [2]. [ bib ]
[2] Proceedings of the CGO 2011, The 9th International Symposium on Code Generation and Optimization, Chamonix, France, April 2-6, 2011. IEEE, 2011. [ bib ]
[3] Xavier Leroy. Verified squared: does critical software deserve verified tools? In Ball and Sagiv [5], pages 1-2. [ bib ]
[4] Tahina Ramananandro, Gabriel Dos Reis, and Xavier Leroy. Formal verification of object layout for c++ multiple inheritance. In Ball and Sagiv [5], pages 67-80. [ bib ]
[5] Thomas Ball and Mooly Sagiv, editors. Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. ACM, 2011. [ bib ]
[6] Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, and Jean Souyris. Towards formally verified optimizing compilation in flight control software. In Lucas et al. [7], pages 59-68. [ bib ]
[7] Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm, editors. Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France, volume 18 of OASICS. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2011. [ bib ]
[8] Xavier Leroy. Safety first!: technical perspective. Commun. ACM, 54(12):122, 2011. [ bib ]
[9] Andrew P. Tolmach and Xavier Leroy. Special issue dedicated to icfp 2009 editorial. J. Funct. Program., 21(4-5):331-332, 2011. [ bib ]
[10] Silvain Rideau and Xavier Leroy. Validating register allocation and spilling. In Gupta [11], pages 224-243. [ bib ]
[11] Rajiv Gupta, editor. 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, volume 6011 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]

This file was generated by bibtex2html 1.95.