Delphine Demange
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Formal Verification of WTO-based Dataflow Solvers. | Romo La Spina, Delphine Demange, Sandrine Blazy |
| 2025 | ESOP | Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report. | Romo La Spina, Delphine Demange, Sandrine Blazy |
| 2023 | CPP | Mechanised Semantics for Gated Static Single Assignment. | Yann Herklotz, Delphine Demange, Sandrine Blazy |
| 2018 | CC | Semantic reasoning about the sea of nodes. | Delphine Demange, Yon Fernndez de Retana, David Pichardie |
| 2018 | SAC | Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. | Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie |
| 2017 | ITP | Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
| 2016 | CC | Mechanizing conventional SSA for a verified destruction with coalescing. | Delphine Demange, Yon Fernndez de Retana |
| 2015 | CC | Verifying Fast and Sparse SSA-Based Optimizations in Coq. | Delphine Demange, David Pichardie, Lo Stefanesco |
| 2015 | ITP | Validating Dominator Trees for a Fast, Verified Dominance Test. | Sandrine Blazy, Delphine Demange, David Pichardie |
| 2014 | POPL | 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 |
| 2013 | POPL | Plan B: a buffered memory model for Java. | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2012 | ESOP | A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. | Gilles Barthe, Delphine Demange, David Pichardie |
| 2010 | APLAS | A Provably Correct Stackless Intermediate Representation for Java Bytecode. | Delphine Demange, Thomas P. Jensen, David Pichardie |
| 2009 | ESOP | All Secrets Great and Small. | Delphine Demange, David Sands |