Test of Time Award: Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES
Davide Cingolani, Alessandro Pellegrini, and Francesco Quaglia
Published in: Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Download PDF
Abstract:
The paper “Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES” introduced a seminal hybrid rollback technique that efficiently and transparently combines checkpointing and reverse computation methods through runtime-generated undo instructions. This short abstract, which accompanies the Test of Time Award received at PADS 2025, summarises the fundamental challenges presented in the original paper and reflects on its impact in the decade after its publication.
BibTeX Entry:
@inproceedings{Cin25,
author = {Cingolani, Davide and Pellegrini, Alessandro and Quaglia, Francesco},
booktitle = {Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation},
title = {Test of Time Award: Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES},
year = {2025},
month = jun,
publisher = {ACM},
series = {SIGSIM-PADS '25},
location = {Santa Fe, NM, USA},
notes = {To appear}
}
author = {Cingolani, Davide and Pellegrini, Alessandro and Quaglia, Francesco},
booktitle = {Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation},
title = {Test of Time Award: Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES},
year = {2025},
month = jun,
publisher = {ACM},
series = {SIGSIM-PADS '25},
location = {Santa Fe, NM, USA},
notes = {To appear}
}