DMTCP: Distributed MultiThreaded CheckPointing
Very-Low Overhead Checkpointing System
CERE: Codelet Extractor and REplayer