All Secrets Great and Small. - Delphine Demange; David Sands 001 (ESOP, 2009)

A Provably Correct Stackless Intermediate Representation for Java Bytecode. - Delphine Demange; Thomas P. Jensen; David Pichardie (APLAS, 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 (FoVeOOS, 2010)

A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. - Gilles Barthe; Delphine Demange; David Pichardie (ESOP, 2012)

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

Plan B: a buffered memory model for Java. - Delphine Demange; Vincent Laporte; Lei Zhao; Suresh Jagannathan; David Pichardie; Jan Vitek (POPL, 2013)

Formal Verification of an SSA-Based Middle-End for CompCert. - Gilles Barthe; Delphine Demange; David Pichardie (ACM Trans. Program. Lang. Syst., 2014)

Verifying Fast and Sparse SSA-Based Optimizations in Coq. - Delphine Demange; David Pichardie; Léo Stefanesco (CC, 2015)

Validating Dominator Trees for a Fast, Verified Dominance Test. - Sandrine Blazy; Delphine Demange; David Pichardie (ITP, 2015)

Mechanizing conventional SSA for a verified destruction with coalescing. - Delphine Demange; Yon Fernández de Retana (CC, 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)

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. - Yannick Zakowski; David Cachera; Delphine Demange; Gustavo Petri; David Pichardie; Suresh Jagannathan; Jan Vitek (ITP, 2017)

Semantic reasoning about the sea of nodes. - Delphine Demange; Yon Fernández de Retana; David Pichardie (CC, 2018)

Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. - Yannick Zakowski; David Cachera; Delphine Demange; David Pichardie (SAC, 2018)

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)

Intermittent Computing with Peripherals, Formally Verified. - Gautier Berthou 001; Pierre-Évariste Dagand; Delphine Demange; Rémi Oudin; Tanguy Risset (LCTES, 2020)

Mechanised Semantics for Gated Static Single Assignment. - Yann Herklotz; Delphine Demange; Sandrine Blazy (CPP, 2023)

Formal Verification of WTO-based Dataflow Solvers. - Roméo La Spina; Delphine Demange; Sandrine Blazy (ESOP (2), 2025)

Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report. - Roméo La Spina; Delphine Demange; Sandrine Blazy (ESOP (2), 2025)

A Mechanized Semantics for Dataflow Circuits. - Tony Law; Delphine Demange; Sandrine Blazy (Proc. ACM Program. Lang., 2025)