@manual{ocaml-manual,
title = {The {Objective} {Caml} system, documentation and
user's manual -- release 3.12},
author = {Xavier Leroy and Damien Doligez and Jacques Garrigue
and Didier Rémy and Jérôme Vouillon},
organization = {INRIA},
year = 2010,
url = {http://caml.inria.fr/pub/docs/manual-ocaml/}
}
@inproceedings{chaudhuri-etal-ijcar-2010,
author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport and
Stephan Merz},
title = {Verifying Safety Properties with the {TLA+} Proof System},
booktitle = {Fifth International Joint Conference on Automated Reasoning
(IJCAR)},
year = 2010,
editor = {J\"urgen Giesl and Reiner Haehnle},
pages = {142--148},
publisher = {Springer},
month = jul,
xxcrossref = {ijcar-2010},
pdf = {chaudhuri-et-al-ijcar-2010.pdf}
}
@inproceedings{brunel-etal-popl-2009,
author = {Julien Brunel and Damien Doligez and
Ren\'{e} Rydhof Hansen and Julia L. Lawall and
Gilles Muller},
title = {A Foundation for Flow-Based Program Matching
Using Temporal Logic and Model Checking},
booktitle = {Proceedings of the 36th {ACM} Symposium on Principles of
Programming Languages (POPL)},
publisher = {ACM},
year = 2009,
month = jan,
xxcrossref = {popl-2009},
pdf = {brunel-et-al-popl-2009.pdf}
}
@inproceedings{ayrault-et-al-cesar-2008,
author = {Philippe Ayrault and Matthieu Carlier and David Delahaye
and Catherine Dubois and Damien Doligez and Lionel Habib
and Th\'er\`ese Hardin and Mathieu Jaume and Charles Morisset
and Fran\c{c}ois Pessaux and Renaud Rioboo and Pierre Weis},
title = {Trusted Software within Focal},
booktitle = {Computer \& Electronics Security Applications
Rendez-vous (C\&ESAR)},
year = 2008,
editor = {Pascal Chour and Yves Correc and Olivier Heen and Ludovic M\'e},
pages = {142--158},
publisher = {},
month = dec,
xxcrossref = {cesar-2008},
pdf = {ayrault-et-al-cesar-2008.pdf}
}
@inproceedings{chaudhuri-et-al-keappa-2008,
author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport
and Stephan Merz},
title = {A {TLA${}^{+}$} Proof System},
booktitle = {Proceedings of the {LPAR} Workshops: Knowledge Exchange:
Automated Provers and Proof Assistants, and The 7th
International Workshop on the Implementation of Logics
(KEAPPA)},
year = 2008,
editor = {Sutcliffe, G. and Rudnicki, P. and Schmidt, R. and Konev, B.
and Schulz, S.},
month = nov,
key = {},
xxcrossref = {keappa-2008},
pdf = {chaudhuri-et-al-keappa-2008.pdf}
}
@inproceedings{cuoq-doligez-ml-2008,
author = {Pascal Cuoq and Damien Doligez},
title = {Hashconsing in an Incrementally Garbage-Collected System:
A Story of Weak Pointers and Hashconsing in {OCaml} 3.10.2},
booktitle = {{ACM} {SIGPLAN} workshop on {ML}},
year = 2008,
editor = {},
pages = {13--22},
publisher = {ACM},
month = sep,
xxcrossref = {ml-workshop-2008},
pdf = {cuoq-doligez-mlw-2008.pdf},
ps = {cuoq-doligez-mlw-2008.ps}
}
@article{doligez-et-al-ecology-2008,
author = {Blandine Doligez and Anne Berthouly and Damien Doligez
and Marion Tanner and Verena Saladin and Danielle Bonfils
and Heinz Richner},
title = {Spatial Scale of Local Breeding Habitat Quality and Adjustment
of Breeding Decisions},
journal = {Ecology},
year = 2008,
volume = 89,
number = 5,
pages = {1436--1444},
month = may,
pdf = {doligez-et-al-ecology-2008.pdf}
}
@inproceedings{bonichon-delahaye-doligez-lpar-2007,
author = {Richard Bonichon and David Delahaye and Damien Doligez},
title = {{Zenon} : an Extensible Automated Theorem Prover Producing
Checkable Proofs},
booktitle = {International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR)},
year = 2007,
editor = {Nachum Dershowitz and Andrei Voronkov},
pages = {151--165},
publisher = {Springer},
month = oct,
xxcrossref = {lpar-2007},
pdf = {bonichon-delahaye-doligez-lpar-2007.pdf},
ps = {bonichon-delahaye-doligez-lpar-2007.ps}
}
@inproceedings{prevosto-doligez-hardin-tphol-2002,
author = {Virgile Prevosto and Damien Doligez and Th\'er\`ese Hardin},
title = {Algebraic Structures and Dependent Records},
booktitle = {International Conference on Theorem Proving in Higher
Order Logics (TPHOLs)},
year = 2002,
editor = {V\'ictor Carre{\~n}o and C\'esar Mu{\~n}oz and Sofi\`ene Tahar},
pages = {298--313},
publisher = {Springer},
month = aug,
xxcrossref = {tphol-2002},
pdf = {prevosto-doligez-hardin-tphol-2002.pdf},
ps = {prevosto-doligez-hardin-tphol-2002.ps}
}
@article{prevosto-doligez-jar-2002,
author = {Virgile Prevosto and Damien Doligez},
title = {Algorithms and Proofs Inheritance in the {FOC} Language},
journal = {J. Automated Reasoning},
year = 2002,
volume = {29},
number = {3--4},
pages = {337--363},
month = dec,
pdf = {prevosto-doligez-jar-2002.pdf},
ps = {prevosto-doligez-jar-2002.ps}
}
@inproceedings{akhiani-et-al-fm-1999,
author = {Homayoon Akhiani and Damien Doligez and Paul Harter and Leslie
Lamport and Joshua Scheid and Mark R. Tuttle and Yuan Yu},
title = {Cache Coherence Verification with {TLA+}},
booktitle = {World Congress on Formal Methods (FM)},
year = 1999,
pages = {1871},
month = sep,
xxcrossref = {fm-1999},
pdf = {akhiani-et-al-fm-1999.pdf},
tex = {akhiani-et-al-fm-1999.tex}
}
@phdthesis{doligez-thesis-1995,
author = {Damien Doligez},
title = {Conception, r\'ealisation et certification d'un glaneur de
cellules concurrent},
school = {Universit\'e Paris 7},
year = {1995},
month = may,
pdf = {doligez-thesis-1995.pdf},
ps = {doligez-thesis-1995.ps},
tex = {doligez-thesis-1995-tex.tgz}
}
@inproceedings{doligez-gonthier-popl-1994,
author = {Damien Doligez and Georges Gonthier},
title = {Portable, Unobtrusive Garbage Collection for Multiprocessor Systems},
booktitle = {Proceedings of the 21st ACM Symposium on Principles of
Programming Languages (POPL)},
year = 1994,
pages = {70--83},
publisher = {ACM press},
month = jan,
xxcrossref = {popl-1994},
pdf = {doligez-gonthier-popl-1994.pdf},
ps = {doligez-gonthier-popl-1994.ps}
}
@inproceedings{doligez-leroy-popl-1993,
author = {Damien Doligez and Xavier Leroy},
title = {A Concurrent, Generational Garbage Collector for a Multithreaded
Implementation of {ML}},
booktitle = {Proceedings of the 20th ACM Symposium on Principles of
Programming Languages (POPL)},
year = 1993,
pages = {113--123},
publisher = {ACM press},
month = jan,
xxcrossref = {popl-1993},
pdf = {doligez-leroy-popl-1993.pdf},
ps = {doligez-leroy-popl-1993.ps}
}
This file was generated by bibtex2html 1.91.