Delphine Demange

According to our database, Delphine Demange authored at least 17 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mechanised Semantics for Gated Static Single Assignment.

Yann Herklotz, Delphine Demange, Sandrine Blazy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020

Intermittent Computing with Peripherals, Formally Verified.

Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

2019

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

J. Autom. Reason., 2019

2018

Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.

Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Semantic reasoning about the sea of nodes.

Delphine Demange, Yon Fernández de Retana, David Pichardie

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

A verified information-flow architecture.

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

J. Comput. Secur., 2016

Mechanizing conventional SSA for a verified destruction with coalescing.

Delphine Demange, Yon Fernández de Retana

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Validating Dominator Trees for a Fast, Verified Dominance Test.

Sandrine Blazy, Delphine Demange, David Pichardie

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Verifying Fast and Sparse SSA-Based Optimizations in Coq.

Delphine Demange, David Pichardie, Léo Stefanesco

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Formal Verification of an SSA-Based Middle-End for CompCert.

Gilles Barthe, Delphine Demange, David Pichardie

ACM Trans. Program. Lang. Syst., 2014

2013

Plan B: a buffered memory model for Java.

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Semantic foundations of intermediate program representations. (Fondements sémantiques des représentations intermédiaires de programmes).

Delphine Demange

PhD thesis, 2012

A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert.

Gilles Barthe, Delphine Demange, David Pichardie

Proceedings of the Programming Languages and Systems, 2012

2010

Sawja: Static Analysis Workshop for Java.

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin

Proceedings of the Formal Verification of Object-Oriented Software, 2010

A Provably Correct Stackless Intermediate Representation for Java Bytecode.

Delphine Demange, Thomas P. Jensen, David Pichardie

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

All Secrets Great and Small.

Delphine Demange, David Sands

Proceedings of the Programming Languages and Systems, 2009