Publications of Delphine Demange
Load the BibTeX file
International Conferences
- Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach. A Verified Information-Flow Architecture. In 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), To appear, San Diego, CA, United States, 2014. download
- Delphine Demange, Vincent Laporte, Lei Zhao, David Pichardie, Suresh Jagannathan, Jan Vitek. Plan B: A Buffered Memory Model for Java. In Proc. of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Rome, Italy, 2013. download
- Gilles Barthe, Delphine Demange, David Pichardie. A formally verified SSA-based middle-end - Static Single Assignment meets CompCert. In Proc. of 21th European Symposium on Programming (ESOP 2012), Lecture Notes in Computer Science, Volume 7211, Pages 47-66, 2012.
- Delphine Demange, Thomas Jensen, David Pichardie. A Provably Correct Stackless Intermediate Representation for Java Bytecode. In 8th Asian Symposium on Programming Languages and Systems (APLAS), Lecture Notes in Computer Science, Volume 6461, 2010.
- Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin. Sawja: Static Analysis Workshop for Java. In 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Lecture Notes in Computer Science, 2010.
- Delphine Demange, David Sands. All Secrets Great and Small. In Proceedings of the 18th European Symposium on Programming Languages and Systems: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, ESOP '09, Pages 207-221, Berlin, Heidelberg, 2009.
Research Reports
- Gilles Barthe, Delphine Demange, David Pichardie. A formally verified SSA-based middle-end compiler. Research Report INRIA, October 2011. download
- Delphine Demange, Thomas Jensen, David Pichardie. A Provably Correct Stackless Intermediate Representation For Java Bytecode. Research Report INRIA, No 0, 2009. download
Thesis
- Delphine Demange. Semantic foundations of intermediate program representations. PhD Thesis ENS Cachan, 2012.