Delphine Demange

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 11

Top Venues

ITP

POPL

CoRR

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Yann Herklotz, Delphine Demange, Sandrine Blazy
Mechanised Semantics for Gated Static Single Assignment. CPP (2023)
Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset
Intermittent Computing with Peripherals, Formally Verified. LCTES (2020)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63 (2) (2019)
Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. SAC (2018)
Delphine Demange, Yon Fernández de Retana, David Pichardie
Semantic reasoning about the sea of nodes. CC (2018)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP (2017)
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. J. Comput. Secur. 24 (6) (2016)
Delphine Demange, Yon Fernández de Retana
Mechanizing conventional SSA for a verified destruction with coalescing. CC (2016)
Sandrine Blazy, Delphine Demange, David Pichardie
Validating Dominator Trees for a Fast, Verified Dominance Test. ITP (2015)
Delphine Demange, David Pichardie, Léo Stefanesco
Verifying Fast and Sparse SSA-Based Optimizations in Coq. CC (2015)
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. CoRR (2015)
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. POPL (2014)
Gilles Barthe, Delphine Demange, David Pichardie
Formal Verification of an SSA-Based Middle-End for CompCert. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
Plan B: a buffered memory model for Java. POPL (2013)
Gilles Barthe, Delphine Demange, David Pichardie
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. ESOP (2012)
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java CoRR (2010)
Delphine Demange, Thomas P. Jensen, David Pichardie
A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS (2010)
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java. FoVeOOS (2010)
Delphine Demange, David Sands
All Secrets Great and Small. ESOP (2009)

Delphine Demange.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Delphine Demange