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