Publications

demange
[1] Delphine Demange, Yon Fernández de Retana, and David Pichardie. Semantic reasoning about the sea of nodes. In Proceedings of the 27th International Conference on Compiler Construction, CC 2018, pages 163-173, New York, NY, USA, 2018. ACM. [ DOI | http ]
[2] Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek. Verifying a concurrent garbage collector using a rely-guarantee methodology. In Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pages 496-513, 2017. [ DOI | http ]
[3] Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek. Verifying a concurrent garbage collector using a rely-guarantee methodology. In Mauricio Ayala-Rincón and César A. Muñoz, editors, Interactive Theorem Proving, pages 496-513, Cham, 2017. Springer International Publishing. [ http ]
[4] Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, and Andrew Tolmach. A verified information-flow architecture. Journal of Computer Security, 24(6):689-734, 2016. [ DOI | http ]
[5] Delphine Demange and Yon Fernandez de Retana. Mechanizing conventional ssa for a verified destruction with coalescing. In Proceedings of the 25th International Conference on Compiler Construction, CC 2016, pages 77-87, New York, NY, USA, 2016. ACM. [ DOI | http ]
[6] Delphine Demange, David Pichardie, and Léo Stefanesco. Verifying fast and sparse ssa-based optimizations in coq. In Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pages 233-252, 2015. [ DOI | http ]
[7] Sandrine Blazy, Delphine Demange, and David Pichardie. Validating dominator trees for a fast, verified dominance test. In Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pages 84-99, 2015. [ DOI | http ]
[8] Gilles Barthe, Delphine Demange, and David Pichardie. Formal verification of an ssa-based middle-end for compcert. ACM Trans. Program. Lang. Syst., 36(1):4:1-4:35, March 2014. [ DOI | http ]
[9] Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Cātālin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, and Andrew Tolmach. A verified information-flow architecture. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pages 165-178, New York, NY, USA, 2014. ACM. [ DOI | http ]
[10] Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, and Jan Vitek. Plan B: a buffered memory model for java. In The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pages 329-342, 2013. [ DOI | http ]
[11] Gilles Barthe, Delphine Demange, and David Pichardie. A formally verified ssa-based middle-end - static single assignment meets compcert. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pages 47-66, 2012. [ DOI | http ]
[12] Delphine Demange, Thomas P. Jensen, and David Pichardie. A provably correct stackless intermediate representation for java bytecode. In Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, pages 97-113, 2010. [ DOI | http ]
[13] Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, and Tiphaine Turpin. Sawja: Static analysis workshop for java. In Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, pages 92-106, 2010. [ DOI | http ]
[14] Delphine Demange and David Sands. All secrets great and small. In Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pages 207-221, 2009. [ DOI | http ]

This file was generated by bibtex2html 1.96.