Damien Doligez

Statistics

Publications

Citations

478

H-Index

Active since

1993

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Central Compilation & Translation Bureau

Aalborg University

University of Copenhagen

École Normale Supérieure

Damien Doligez is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationSystem SoftwareCompilers

Publications per year

1993–2013

Publications

A concurrent, generational garbage collector for a multithreaded implementation of ML

Damien Doligez, Xavier Leroy · 1993 · 243 citations · Full text

Portable, unobtrusive garbage collection for multiprocessor systems

Damien Doligez, Georges Gonthier · 1994 · 152 citations · Full text

Engineering, Computer Architecture, Memory Model (Programming) +18

A foundation for flow-based program matching

Julien Brunel, Damien Doligez, René Rydhof Hansen et al. · 2009 · 20 citations

Program Checking, Engineering, Compiler Technology +20

The OCaml system release 4.01: Documentation and user's manual

Xavier Leroy, Damien Doligez, Alain Frisch et al. · SPIRE - Sciences Po Institutional REpository · 2013 · 18 citations · Full text

A foundation for flow-based program matching

Julien Brunel, Damien Doligez, René Rydhof Hansen et al. · ACM SIGPLAN Notices · 2009 · 18 citations

Program Checking, Engineering, Verification +20

1–5 of 7