Philip Schatz

According to our database, Philip Schatz authored at least 2 papers in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Modular Checkpointing for Atomicity.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the Thread Verification Workshop, 2006

Stabilizers: a modular checkpointing abstraction for concurrent functional programs.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006