SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

This program is tentative and subject to change.

Mon 5 Oct 2026 14:06 - 14:24 at East Hall 1 - Distributed and Replicated Systems Chair(s): Mohsen Lesani

Checkpointing, or periodic saving of program state to storage, is the de facto standard technique used to mitigate risks of nondeterministic bugs, hardware faults, and job wall-time limits in long-running programs. Traditional approaches require users to manually manage the migration of data to and from storage when capturing checkpoints and when resuming execution. However, for task-based programs, where the user has already factored the computation into tasks and the program data into collections, sufficient information is available to automatically capture and resume from checkpoints with minimal code changes. We present Relight, the first framework for automatic, distributed checkpointing of task-based programs that provides an efficient fast-forward replay for full job recovery. On a set of already-optimized benchmarks, we demonstrate that Relight delivers checkpointing performance and scalability comparable to the original, unmodified codes when running on up to 512 nodes of the Piz Daint supercomputer.

This program is tentative and subject to change.

Mon 5 Oct

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Distributed and Replicated SystemsOOPSLA at East Hall 1
Chair(s): Mohsen Lesani University of California at Santa Cruz
13:30
18m
Talk
Frashokereti: Non-aborting Optimistically Replicated Objects
OOPSLA
Eric Man Chan University of California at Riverside, Javad Saberlatibari University of California at Riverside, Mohsen Lesani University of California at Santa Cruz
DOI
13:48
18m
Talk
PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
OOPSLA
Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Annette Bieniusa Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI
DOI Pre-print
14:06
18m
Talk
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
OOPSLA
Elliott Slaughter SLAC National Accelerator Laboratory, Rupanshu Soi Stanford University, Michael Bauer NVIDIA Research, Alex Aiken Stanford University
DOI
14:24
18m
Talk
Composing CRDTs Convergent by Construction
OOPSLA
Alexander Städing Dominguez University of St. Gallen, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI Pre-print
14:42
18m
Talk
Augur: Predicting View Serializability Violations in Relational Data Store Applications
OOPSLA
Chujun Geng Ohio State University, Noah Charlton Ohio State University, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, Yang Wang Ohio State University
DOI