Travelled to:1 × USA
2 × China
Collaborated with:K.Sankaralingam S.Jha W.Zhang A.Li S.Lu
Talks about:idempot (3) analysi (2) featherweight (1) implement (1) recoveri (1) process (1) generat (1) concurr (1) thread (1) static (1)
Person: Marc de Kruijf
DBLP: Kruijf:Marc_de
Contributed to:
2013
2013
2012Wrote 3 papers:
- ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread
- ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
- CGO-2013-KruijfS #analysis #code generation #evaluation #implementation
- Idempotent code generation: Implementation, analysis, and evaluation (MdK, KS), p. 12.
- PLDI-2012-KruijfSJ #compilation #design #static analysis
- Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.