2009 |
10 | EE | 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 | EE | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System.
LPAR Workshops 2008 |
8 | EE | 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 | EE | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System
CoRR abs/0811.1914: (2008) |
2007 |
6 | EE | Richard Bonichon,
David Delahaye,
Damien Doligez:
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
LPAR 2007: 151-165 |
2002 |
5 | EE | 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 | EE | 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 |