a person in the record
Delphine Demange
born 1983
Supervised 2 doctoral students at Université de Rennes; doctorate at École normale supérieure de Cachan - ENS Cachan in 2012 under Thomas Jensen; Wikidata names Thomas Jensen as doctoral advisor. Linked to Wikidata, ORCID, and IdRef.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
The thesis record names Thomas Jensen; Wikidata names Thomas Jensen.
- cited by a thesis record
Thomas Jensen“Semantic foundations of intermediate program representations”
2012 · École normale supérieure de Cachan - ENS Cachan · doctoral
Students2
- cited by a thesis record
Sophia Sophia La Spina“Formal verification of weak topological orderings and dataflow analysis”
2025 · Université de Rennes · doctoral - cited by a thesis record
Yon Fernández de Retana“Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques”
2018 · Université de Rennes · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataThomas Jensencited by a thesis recordThomas Jensen
Below them, within 3 steps, the record reaches 2 people: 2 cited by thesis records.
Theses1
- cited by a thesis record
Semantic foundations of intermediate program representations
2012 · École normale supérieure de Cachan - ENS Cachan · doctoral · École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordLuc Bougéjury member
- cited by a thesis recordXavier Leroyreferee
- cited by a thesis recordAlbert Henri Cohenjury member
- cited by a thesis recordJohn Gregory Morrisettreferee
- cited by a thesis recordDavid Pichardiejury member
- cited by a thesis recordMarie-Laure Potetjury member
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedworked
- undated
Works1
2012 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Semantic foundations of intermediate program representations
2012 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Papers in OpenAlex33
2009most in 2013: 42025
last at Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, Centre Inria de l'Université de Rennes, EPICURE: Analyse sémantique et compilation pour la sécurité des environnements d'exécution, Université de Rennes
writes on Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques
- indexed by OpenAlex2014 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 9 authorscited 57
- indexed by OpenAlex2014 · ACM Transactions on Programming Languages and Systems · 3 authorscited 38
- indexed by OpenAlexcited 29
A Provably Correct Stackless Intermediate Representation for Java Bytecode
2010 · Lecture notes in computer science · 3 authors - indexed by OpenAlex2013 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 6 authorscited 28
- indexed by OpenAlex2012 · Lecture notes in computer science · 3 authorscited 25
- indexed by OpenAlex2010 · 9 authorscited 25
- indexed by OpenAlex2015 · Lecture notes in computer science · 3 authorscited 17
- indexed by OpenAlex2014 · ACM SIGPLAN Notices · 9 authorscited 15
- indexed by OpenAlex2018 · 3 authorscited 14
- indexed by OpenAlex2016 · Journal of Computer Security · 9 authorscited 14
the 25 most cited of 33
- indexed by OpenAlex2011 · Lecture notes in computer science · 8 authorscited 14
- indexed by OpenAlex2009 · Lecture notes in computer science · 2 authorscited 14
- indexed by OpenAlex2020 · 5 authorscited 13
- indexed by OpenAlex2013 · IEEE International Conference on Technologies for Homeland Security · 14 authorscited 13
- indexed by OpenAlexcited 9
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology
2017 · Lecture notes in computer science · 7 authors - indexed by OpenAlexcited 8
- indexed by OpenAlexcited 8
Validating Dominator Trees for a Fast, Verified Dominance Test
2015 · Lecture notes in computer science · 3 authors - indexed by OpenAlex2018 · ACM Symposium on Applied Computing · 4 authorscited 5
- indexed by OpenAlex2023 · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 3 authorscited 4
- indexed by OpenAlexcited 4
- indexed by OpenAlex2013 · ACM SIGPLAN Notices · 6 authorscited 4
- indexed by OpenAlexcited 3
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology
2018 · Journal of Automated Reasoning · 7 authors - indexed by OpenAlex2025 · Proceedings of the ACM on Programming Languages · 3 authorscited 2
- indexed by OpenAlex2025 · Lecture notes in computer science · 3 authorscited 2
- indexed by OpenAlex2013 · 6 authorscited 2
Sat beside the lineage4
jury member, not advisor
- cited by a thesis record
Tony Law“Mechanized semantics for circuits : from dataflow to hardware”
jury member · 2026 · Université de Rennes · doctoral - cited by a thesis record
Léo Andrès“Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly”
jury member · 2024 · Université Paris-Saclay · doctoral - cited by a thesis record
Léo Gourdin“Formal Validation of Intra-Procedural Transformations by Defensive Symbolic Simulation”
jury member · 2023 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Cyril Six“Optimized and formally-verified compilation for a VLIW processor”
jury member · 2021 · Université Grenoble Alpes [2020-....] · doctoral