[1] Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. The OCaml system, documentation and user's manual - release 4.00. INRIA, 2010. [ bib | http ]
[2] Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, and Stephan Merz. Verifying safety properties with the TLA+ proof system. In Jürgen Giesl and Reiner Haehnle, editors, Fifth International Joint Conference on Automated Reasoning (IJCAR), pages 142-148. Springer, July 2010. [ bib | .pdf ]
[3] Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, and Gilles Muller. A foundation for flow-based program matching using temporal logic and model checking. In Proceedings of the 36th ACM Symposium on Principles of Programming Languages (POPL). ACM, January 2009. [ bib | .pdf ]
[4] Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux, Renaud Rioboo, and Pierre Weis. Trusted software within focal. In Pascal Chour, Yves Correc, Olivier Heen, and Ludovic Mé, editors, Computer & Electronics Security Applications Rendez-vous (C&ESAR), pages 142-158, December 2008. [ bib | .pdf ]
[5] Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, and Stephan Merz. A TLA+ proof system. In G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, and S. Schulz, editors, Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics (KEAPPA), November 2008. [ bib | .pdf ]
[6] Pascal Cuoq and Damien Doligez. Hashconsing in an incrementally garbage-collected system: A story of weak pointers and hashconsing in OCaml 3.10.2. In ACM SIGPLAN workshop on ML, pages 13-22. ACM, September 2008. [ bib | .ps | .pdf ]
[7] Blandine Doligez, Anne Berthouly, Damien Doligez, Marion Tanner, Verena Saladin, Danielle Bonfils, and Heinz Richner. Spatial scale of local breeding habitat quality and adjustment of breeding decisions. Ecology, 89(5):1436-1444, May 2008. [ bib | .pdf ]
[8] Richard Bonichon, David Delahaye, and Damien Doligez. Zenon : an extensible automated theorem prover producing checkable proofs. In Nachum Dershowitz and Andrei Voronkov, editors, International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), pages 151-165. Springer, October 2007. [ bib | .ps | .pdf ]
[9] Virgile Prevosto, Damien Doligez, and Thérèse Hardin. Algebraic structures and dependent records. In Víctor Carreño, César Muñoz, and Sofiène Tahar, editors, International Conference on Theorem Proving in Higher Order Logics (TPHOLs), pages 298-313. Springer, August 2002. [ bib | .ps | .pdf ]
[10] Virgile Prevosto and Damien Doligez. Algorithms and proofs inheritance in the FOC language. J. Automated Reasoning, 29(3-4):337-363, December 2002. [ bib | .ps | .pdf ]
[11] Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, and Yuan Yu. Cache coherence verification with TLA+. In World Congress on Formal Methods (FM), page 1871, September 1999. [ bib | .pdf ]
[12] Damien Doligez. Conception, réalisation et certification d'un glaneur de cellules concurrent. PhD thesis, Université Paris 7, May 1995. [ bib | .ps | .pdf ]
[13] Damien Doligez and Georges Gonthier. Portable, unobtrusive garbage collection for multiprocessor systems. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL), pages 70-83. ACM press, January 1994. [ bib | .ps | .pdf ]
[14] Damien Doligez and Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL), pages 113-123. ACM press, January 1993. [ bib | .ps | .pdf ]

This file was generated by bibtex2html 1.91.