9 citations · 18 across the 10 of their papers we have counts for
3 papers · 1 filter
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida +1
Causal reversibility has emerged as an effective technique for debugging concurrent systems. In particular, rolling back and replaying a concurrent program with causal consistency…
Checkpoint-based rollback recovery in session programming
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesire…
Reliability and Fault-Tolerance by Choreographic Design
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina +1
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed…