Delphine Demange

24 papers A* 2A 2B 9Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Mechanized Semantics for Dataflow Circuits.
Proc. ACM Program. Lang.
Tony Law, Delphine Demange, Sandrine Blazy
2025 — conf
Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report.
ESOP (2)
Roméo La Spina, Delphine Demange, Sandrine Blazy
2025 — conf
Formal Verification of WTO-based Dataflow Solvers.
ESOP (2)
Roméo La Spina, Delphine Demange, Sandrine Blazy
2023 B conf
Mechanised Semantics for Gated Static Single Assignment.
CPP
Yann Herklotz, Delphine Demange, Sandrine Blazy
2021 B ed.
CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, March 2-3, 2021
CC
Aaron Smith, Delphine Demange, Rajiv Gupta
2020 B conf
Intermittent Computing with Peripherals, Formally Verified.
LCTES
Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset
2019 J jnl
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.
J. Autom. Reason.
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2018 B conf
Semantic reasoning about the sea of nodes.
CC
Delphine Demange, Yon Fernández de Retana, David Pichardie
2018 Misc conf
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.
SAC
Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie
2017 B conf
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.
ITP
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2016 J jnl
A verified information-flow architecture.
J. Comput. Secur.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2016 B conf
Mechanizing conventional SSA for a verified destruction with coalescing.
CC
Delphine Demange, Yon Fernández de Retana
2015 J jnl
A Verified Information-Flow Architecture.
CoRR
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2015 B conf
Validating Dominator Trees for a Fast, Verified Dominance Test.
ITP
Sandrine Blazy, Delphine Demange, David Pichardie
2015 B conf
Verifying Fast and Sparse SSA-Based Optimizations in Coq.
CC
Delphine Demange, David Pichardie, Léo Stefanesco
2014 A* conf
A verified information-flow architecture.
POPL
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2014 J jnl
Formal Verification of an SSA-Based Middle-End for CompCert.
ACM Trans. Program. Lang. Syst.
Gilles Barthe, Delphine Demange, David Pichardie
2013 A* conf
Plan B: a buffered memory model for Java.
POPL
Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
2012 A conf
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert.
ESOP
Gilles Barthe, Delphine Demange, David Pichardie
2012 — —
Semantic foundations of intermediate program representations. (Fondements sémantiques des représentations intermédiaires de programmes).
Delphine Demange
2010 B conf
A Provably Correct Stackless Intermediate Representation for Java Bytecode.
APLAS
Delphine Demange, Thomas P. Jensen, David Pichardie
2010 J jnl
Sawja: Static Analysis Workshop for Java
CoRR
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
2010 — conf
Sawja: Static Analysis Workshop for Java.
FoVeOOS
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
2009 A conf
All Secrets Great and Small.
ESOP
Delphine Demange, David Sands