Damien Doligez

According to our database, Damien Doligez authored at least 20 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2016

Proving Determinacy of the PharOS Real-Time Operating System.

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.

Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Experience in using a typed functional language for the development of a security application.

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.

David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.

Damien Doligez, Mathieu Jaume, Renaud Rioboo

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

TLA + Proofs.

Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto

Proceedings of the FM 2012: Formal Methods, 2012

2010

The TLA⁺ Proof System: Building a Heterogeneous Verification Platform.

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz

Proceedings of the Theoretical Aspects of Computing, 2010

Verifying Safety Properties with the TLA+ Proof System.

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

A foundation for flow-based program matching: using temporal logic and model checking.

Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.

Pascal Cuoq, Damien Doligez

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

A TLA+ Proof System.

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz

Proceedings of the LPAR 2008 Workshops, 2008

2007

Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.

Richard Bonichon, David Delahaye, Damien Doligez

Proceedings of the Logic for Programming, 2007

2002

Algorithms and Proofs Inheritancey in the FOC Language.

Virgile Prevosto, Damien Doligez

J. Autom. Reason., 2002

Algebraic Structures and Dependent Records.

Virgile Prevosto, Damien Doligez, Thérèse Hardin

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

1999

Cache Coherence Verification with TLA+.

Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu

Proceedings of the FM'99 - Formal Methods, 1999

1995

Conception, réalisation et certification d'un glaneur de cellules concurrent. (Design, implementation and certification of a concurrent garbage collector).

Damien Doligez

PhD thesis, 1995

1994

Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.

Damien Doligez, Georges Gonthier

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.

Damien Doligez, Xavier Leroy

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993