Delphine Demange

	2012
5		Gilles Barthe, Delphine Demange, David Pichardie: A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. ESOP 2012: 47-66
	2010
4		Delphine Demange, Thomas P. Jensen, David Pichardie: A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS 2010: 97-113
3		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
2		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)
	2009
1		Delphine Demange, David Sands: All Secrets Great and Small. ESOP 2009: 207-221

Coauthor Index

1	Nicolas Barré	[2] [3]
2	Gilles Barthe	[5]
3	Frédéric Besson	[2] [3]
4	Laurent Hubert	[2] [3]
5	Thomas P. Jensen	[2] [3] [4]
6	Vincent Monfort	[2] [3]
7	David Pichardie	[2] [3] [4] [5]
8	David Sands	[1]
9	Tiphaine Turpin	[2] [3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page