Damien Doligez

Damien Doligez is a French academic and programmer. He is best known for his role as a developer of the OCaml system, especially its garbage collector. He is a research scientist (chargé de recherche) at the French government research institution INRIA.

Damien Doligez
NationalityFrench
Alma materParis Diderot University
Known forOCaml
Scientific career
FieldsComputer science
InstitutionsInria
ThesisConception, réalisation et certification d'un glaneur de cellules concurrent (1995)
Doctoral advisorGuy Cousineau

Activities

In 1990, Doligez and Xavier Leroy built an implementation of Caml (called Caml Light) based on a bytecode interpreter with a fast, sequential garbage collector, and began to extend it with support for concurrency.[1] In 1996, Doligez was part of the team that built the first version of OCaml, and has been a core maintainer of the language since then.[2]

In 1994, Hal Finney issued a challenge[3] on the cypherpunk mailing to read an encrypted SSLv2 session. Doligez used spare computers at Inria, ENS and École polytechnique to break it after scanning half the key space in 8 days.[4] He came in a close second in the competition, with the winning team announcing their result just two hours earlier.[5][6]

In 2008, Doligez worked with Leslie Lamport and others to build the TLA+ proof manager which supports the incremental development and checking of hierarchically structured computer-assisted proofs.[7] The proof manager project remains actively maintained and developed as of 2022.[8]

References
  1. Doligez, Damien; Leroy, Xavier (Jan 1993). A concurrent, generational garbage collector for a multithreaded implementation of ML. 20th ACM Symposium on Principles of Programming Languages (POPL). ACM.
  2. "About OCaml". 2023.
  3. Hal Finney (1994). "SSL Challenge".
  4. Damien Doligez (1995). "To announce the solution of the SSL challenge".
  5. Richard Clayton. "Brute Force Attacks on Cryptographic Keys".
  6. Damien Doligez. "SSL Challenge Virtual Conference".
  7. Chaudhuri, Kaustav (2008-11-12). "A TLA+ proof system". arXiv:0811.1914.
  8. GitHub (2023). "TLA Proof Manager".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.