| 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 |
