SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 15:00 - 15:20 at SPLASH-III - F-5B Chair(s): Mohsen Lesani, Aviral Goel
Sat 21 Nov 2020 03:00 - 03:20 at SPLASH-III - F-5B Chair(s): Sophia Drossopoulou, Julien Lange

Synchronization primitives for fault-tolerant distributed systems that ensure an effective and efficient cooperation among processes are an important challenge in the programming languages community. We present a new programming abstraction, ReSync, for implementing benign and Byzantine fault-tolerant protocols. ReSync has a new round structure that offers a simple abstraction for group communication, like it is customary in synchronous systems, but also allows messages to be received one by one, like in the asynchronous systems. This extension allows implementing network and algorithm-specific policies for the message reception, which is not possible in classic round models.

The execution of ReSync programs is based on a new generic round switch protocol that generalizes the famous theoretical result about consensus in the presence of partial synchrony by of Dwork, Lynch, and Stockmeyer. We evaluate experimentally the performance of ReSync’s execution platform, by comparing consensus implementations in ReSync with LibPaxos3, etcd, and Bft-SMaRt, three consensus libraries tolerant to benign, resp. byzantine faults.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

15:00 - 16:20: F-5BOOPSLA at SPLASH-III +12h
Chair(s): Mohsen LesaniUniversity of California at Riverside, USA, Aviral GoelNortheastern University
15:00 - 15:20
Talk
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
Link to publication DOI
15:20 - 15:40
Talk
OOPSLA
Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
Link to publication DOI Media Attached
15:40 - 16:00
Talk
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Constantin EneaUniversity of Paris / IRIF / CNRS, Burcu Kulahcioglu OzkanMPI-SWS, Rupak MajumdarMPI-SWS, Filip NiksicGoogle
Link to publication DOI Media Attached

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20: F-5BOOPSLA at SPLASH-III
Chair(s): Sophia DrossopoulouImperial College London, Julien LangeRoyal Holloway University of London
03:00 - 03:20
Talk
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
Link to publication DOI
03:20 - 03:40
Talk
OOPSLA
Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
Link to publication DOI Media Attached
03:40 - 04:00
Talk
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Constantin EneaUniversity of Paris / IRIF / CNRS, Burcu Kulahcioglu OzkanMPI-SWS, Rupak MajumdarMPI-SWS, Filip NiksicGoogle
Link to publication DOI Media Attached