BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Italy
1 × USA
2 × United Kingdom
Collaborated with:
D.Pichardie Y.F.d.Retana D.Sands L.Stefanesco G.Barthe V.Laporte L.Zhao S.Jagannathan J.Vitek A.A.d.Amorim N.Collins A.DeHon C.Hritcu B.C.Pierce R.Pollack A.Tolmach
Talks about:
verifi (4) ssa (3) base (2) architectur (1) destruct (1) convent (1) coalesc (1) static (1) semant (1) secret (1)

Person: Delphine Demange

DBLP DBLP: Demange:Delphine

Contributed to:

CC 20152015
POPL 20142014
POPL 20132013
ESOP 20122012
ESOP 20092009
CC 20162016
CC 20182018

Wrote 7 papers:

CC-2015-DemangePS #coq #optimisation #performance #verification
Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
POPL-2014-AmorimCDDHPPPT #architecture #data flow
A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
POPL-2013-DemangeLZJPV #java #memory management
Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
All Secrets Great and Small (DD, DS), pp. 207–221.
Mechanizing conventional SSA for a verified destruction with coalescing (DD, YFdR), pp. 77–87.
CC-2018-DemangeRP #reasoning #semantics
Semantic reasoning about the sea of nodes (DD, YFdR, DP), pp. 163–173.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.