Damien Doligez

	2010
13		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: The TLA+ Proof System: Building a Heterogeneous Verification Platform. ICTAC 2010: 44
12		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties with the TLA+ Proof System. IJCAR 2010: 142-148
11		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties With the TLA+ Proof System CoRR abs/1011.2560: (2010)
	2009
10		Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: A foundation for flow-based program matching: using temporal logic and model checking. POPL 2009: 114-126
	2008
9		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System. LPAR Workshops 2008
8		Pascal Cuoq, Damien Doligez: Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML 2008: 13-22
7		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System CoRR abs/0811.1914: (2008)
	2007
6		Richard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165
	2002
5		Virgile Prevosto, Damien Doligez, Thérèse Hardin: Algebraic Structures and Dependent Records. TPHOLs 2002: 298-313
4		Virgile Prevosto, Damien Doligez: Algorithms and Proofs Inheritancey in the FOC Language. J. Autom. Reasoning 29(3-4): 337-363 (2002)
	1999
3		Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu: Cache Coherence Verification with TLA+. World Congress on Formal Methods 1999: 1871-1872
	1994
2		Damien Doligez, Georges Gonthier: Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. POPL 1994: 70-83
	1993
1		Damien Doligez, Xavier Leroy: A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. POPL 1993: 113-123

Coauthor Index

1	Homayoon Akhiani	[3]
2	Richard Bonichon	[6]
3	Julien Brunel	[10]
4	Kaustuv Chaudhuri	[7] [9] [11] [12] [13]
5	Pascal Cuoq	[8]
6	David Delahaye	[6]
7	Georges Gonthier	[2]
8	René Rydhof Hansen	[10]
9	Thérèse Hardin	[5]
10	Paul Harter	[3]
11	Leslie Lamport	[3] [7] [9] [11] [12] [13]
12	Julia L. Lawall	[10]
13	Xavier Leroy	[1]
14	Stephan Merz	[7] [9] [11] [12] [13]
15	Gilles Muller	[10]
16	Virgile Prevosto	[4] [5]
17	Joshua Scheid	[3]
18	Mark R. Tuttle	[3]
19	Yuan Yu	[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