default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDelphine Demange
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j5]Tony Law, Delphine Demange
, Sandrine Blazy:
A Mechanized Semantics for Dataflow Circuits. Proc. ACM Program. Lang. 9(OOPSLA1): 507-533 (2025)- [j4]Tony Law, Delphine Demange, Sandrine Blazy:
A Mechanized Semantics for Dataflow Circuits. Proc. ACM Program. Lang. 9(OOPSLA1): 507-533 (2025) - 2023
- [c14]Yann Herklotz, Delphine Demange, Sandrine Blazy:
Mechanised Semantics for Gated Static Single Assignment. CPP 2023: 182-196 - 2021
- [e1]Aaron Smith, Delphine Demange, Rajiv Gupta:
CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021. ACM 2021, ISBN 978-1-4503-8325-7 [contents] - 2020
- [c13]Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset:
Intermittent Computing with Peripherals, Formally Verified. LCTES 2020: 85-96
2010 – 2019
- 2019
- [j3]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): 489-515 (2019) - 2018
- [c12]Delphine Demange, Yon Fernández de Retana, David Pichardie:
Semantic reasoning about the sea of nodes. CC 2018: 163-173 - [c11]Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie:
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. SAC 2018: 1881-1890 - 2017
- [c10]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: 496-513 - 2016
- [j2]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): 689-734 (2016) - [c9]Delphine Demange, Yon Fernández de Retana:
Mechanizing conventional SSA for a verified destruction with coalescing. CC 2016: 77-87 - 2015
- [c8]Delphine Demange, David Pichardie, Léo Stefanesco:
Verifying Fast and Sparse SSA-Based Optimizations in Coq. CC 2015: 233-252 - [c7]Sandrine Blazy, Delphine Demange, David Pichardie:
Validating Dominator Trees for a Fast, Verified Dominance Test. ITP 2015: 84-99 - [i2]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 abs/1509.06503 (2015) - 2014
- [j1]Gilles Barthe, Delphine Demange, David Pichardie:
Formal Verification of an SSA-Based Middle-End for CompCert. ACM Trans. Program. Lang. Syst. 36(1): 4:1-4:35 (2014) - [c6]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: 165-178 - 2013
- [c5]Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek:
Plan B: a buffered memory model for Java. POPL 2013: 329-342 - 2012
- [b1]Delphine Demange:
Semantic foundations of intermediate program representations. (Fondements sémantiques des représentations intermédiaires de programmes). École normale supérieure de Cachan, France, 2012 - [c4]Gilles Barthe, Delphine Demange, David Pichardie:
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. ESOP 2012: 47-66 - 2010
- [c3]Delphine Demange, Thomas P. Jensen, David Pichardie:
A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS 2010: 97-113 - [c2]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: 92-106 - [i1]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 abs/1007.3353 (2010)
2000 – 2009
- 2009
- [c1]Delphine Demange, David Sands:
All Secrets Great and Small. ESOP 2009: 207-221
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-02 23:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
