SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Sun 17 Oct 2021 14:15 - 14:40 at Zurich F - Safety and Failures Chair(s): Joeri De Koster

We report on ongoing work on defining a model of failures for distributed systems, as a first step towards better detection and diagnostic of failures, as well as a foundation for provable reliability.

Sun 17 Oct

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

13:50 - 15:10
Safety and FailuresAGERE at Zurich F
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:50
25m
Full-paper
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
AGERE
Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology
DOI Pre-print File Attached
14:15
25m
Talk
A model of actors and grey failures
AGERE
Laura Bocchi University of Kent, Julien Lange Royal Holloway University of London, Simon Thompson IOHK, University of Kent, and ELTE, A. Laura Voinea University of Kent, UK
14:40
25m
Full-paper
What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
AGERE
Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
DOI Pre-print File Attached
15:05
5m
Day closing
Closing
AGERE
Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium