Travelled to:
1 × USA
Collaborated with:
L.Ziarek S.Jagannathan
Talks about:
checkpoint (1) function (1) abstract (1) program (1) modular (1) concurr (1) stabil (1)
Person: Philip Schatz
DBLP: Schatz:Philip
Contributed to:
Wrote 1 papers:
- ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
- Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.