Causal-consistent reversible debugging

E Giachino, I Lanese, CA Mezzina - International Conference on …, 2014 - Springer
Reversible debugging provides developers with a way to execute their applications both
forward and backward, seeking the cause of an unexpected or undesired event. In a …

[PDF][PDF] Causal-consistent reversibility

I Lanese, CA Mezzina, F Tiezzi - Bulletin of EATCS, 2014 - eatcs.org
Reversible computing allows one to execute programs both in the standard, forward
direction, and backward, going back to past states. In a concurrent scenario, the correct …

[PDF][PDF] DMTCP: Bringing Checkpoint-Restart to Python.

K Arya, G Cooperman - SciPy, 2013 - conference.scipy.org.s3.amazonaws …
DMTCP (Distributed MultiThreaded CheckPointing) is a mature checkpoint-restart package.
It operates in user-space without kernel privilege, and adapts to application-specific …