BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Doligez:Damien

Contributed to:

ICSE 20152015
FM 20122012
IJCAR 20102010
POPL 20092009
World Congress on Formal Methods 19991999
POPL 19941994
POPL 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.