11 papers:
CSL-2015-Abadi- The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.
SAC-2014-SuzakiYTOS #protocol #testing #virtual machine- Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
DAC-2012-ChanSSM #hardware #specification #synthesis- Specification and synthesis of hardware checkpointing and rollback mechanisms (CC, DSN, DS, SM), pp. 1226–1232.
ICFP-2011-ShiversT #composition #functional- Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
HPCA-2008-GuptaRSWB #commit #induction #named- DeCoR: A Delayed Commit and Rollback mechanism for handling inductive noise in processors (MSG, KKR, MDS, GYW, DMB), pp. 381–392.
ICEIS-SAIC-2006-BrzezinskiKK #mobile #protocol #safety- Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee (JB, AK, JK), pp. 118–123.
- HPCA-2006-NakanoMGT #named #performance
- ReViveI/O: efficient handling of I/O in highly-available rollback-recovery servers (JN, PM, KG, JT), pp. 200–211.
- ICFP-2005-RingenburgG #named
- AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.
CIKM-2002-KimWLC #database #object-oriented- Partial rollback in object-oriented/object-relational database management systems (WYK, KYW, BSL, YKL, JWC), pp. 316–323.
SIGMOD-1981-KedemS #concurrent #database #using- Deadlock Removal Using Partial Rollback in Database Systems (DSF, ZMK, AS), pp. 65–73.
VLDB-1975-BrowneL #database #scalability- An Optimizable Model for Application of Rollback/Restart/Recovery Procedures for Large Data Bases (JCB, GLL), pp. 508–510.
