Damien Doligez

25 papers A* 3A 1B 3C 2Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — ed.
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015.
ML Family/OCaml
Jeremy Yallop, Damien Doligez
2016 C conf
Proving Determinacy of the PharOS Real-Time Operating System.
ABZ
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
2015 — conf
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.
LPAR (short papers)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
2015 — conf
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.
ICSE (2)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2014 — conf
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
ARQNL@IJCAR
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
2014 J jnl
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
CoRR
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
2014 — conf
Experience in using a typed functional language for the development of a security application.
F-IDE
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2013 B conf
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.
LPAR
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
2012 — conf
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
PLAS
Damien Doligez, Mathieu Jaume, Renaud Rioboo
2012 B conf
TLA + Proofs.
FM
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2012 J jnl
TLA+ Proofs
CoRR
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2010 C conf
The TLA
ICTAC
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
2010 J jnl
Verifying Safety Properties With the TLA+ Proof System
CoRR
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
2010 A conf
Verifying Safety Properties with the TLA+ Proof System.
IJCAR
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
2009 A* conf
A foundation for flow-based program matching: using temporal logic and model checking.
POPL
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2008 J jnl
A TLA+ Proof System
CoRR
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
2008 — conf
A TLA+ Proof System.
LPAR Workshops
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
2008 — conf
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.
ML
Pascal Cuoq, Damien Doligez
2007 B conf
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
LPAR
Richard Bonichon, David Delahaye, Damien Doligez
2002 — conf
Algebraic Structures and Dependent Records.
TPHOLs
Virgile Prevosto, Damien Doligez, Thérèse Hardin
2002 J jnl
Algorithms and Proofs Inheritancey in the FOC Language.
J. Autom. Reason.
Virgile Prevosto, Damien Doligez
1999 — conf
Cache Coherence Verification with TLA+.
World Congress on Formal Methods
Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
1995 — —
Conception, réalisation et certification d'un glaneur de cellules concurrent. (Design, implementation and certification of a concurrent garbage collector).
Damien Doligez
1994 A* conf
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.
POPL
Damien Doligez, Georges Gonthier
1993 A* conf
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.
POPL
Damien Doligez, Xavier Leroy