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 × 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 DBLP: Kruijf:Marc_de

Contributed to:

ASPLOS 20132013
CGO 20132013
PLDI 20122012

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

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.