Travelled to:1 × Italy
1 × United Kingdom
2 × France
3 × USA
Collaborated with:L.Lamport G.Gonthier X.Leroy S.Merz C.Faure T.Hardin M.Maarek K.Chaudhuri J.Brunel R.R.Hansen J.L.Lawall G.Muller D.Cousineau D.Ricketts H.Vanzetto H.Akhiani P.Harter J.Scheid M.R.Tuttle Y.Yu
Talks about:tla (3) program (2) system (2) garbag (2) secur (2) proof (2) multiprocessor (1) multithread (1) implement (1) collector (1)
Person: Damien Doligez
DBLP: Doligez:Damien
Contributed to:
2015
2012
2010
2009199919941993Wrote 7 papers:
- ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml
- Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
- FM-2012-CousineauDLMRV #proving
- TLA + Proofs (DC, DD, LL, SM, DR, HV), pp. 147–154.
- IJCAR-2010-ChaudhuriDLM #proving #safety #verification
- Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.
- POPL-2009-BrunelDHLM #logic #model checking #using
- A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
- FM-v2-1999-AkhianiDHLSTY #verification
- Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.
- POPL-1994-DoligezG #garbage collection #multi
- Portable, Unobtrusive Garbage Collection for Multiprocessor Systems (DD, GG), pp. 70–83.
- POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel #thread
- A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.