A model of actors and grey failures (AGERE 2021)

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Who

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Track

AGERE 2021

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 17 Oct 2021 14:15 - 14:40 at Zurich F - Safety and Failures Chair(s): Joeri De Koster

Abstract

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.

Laura Bocchi

University of Kent

United Kingdom

Julien Lange

Royal Holloway University of London

Simon Thompson

IOHK, University of Kent, and ELTE

United Kingdom

A. Laura Voinea

University of Kent, UK

United Kingdom

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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