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

Large scale distributed systems require to embrace the trade off between consistency and availability, accepting lower levels of consistency to guarantee higher availability. Existing programming languages are, however, agnostic to this compromise, resulting in consistency guarantees that are the same for the whole application and are implicitly adopted from the middleware or hardcoded in configuration files.
In this paper, we propose to integrate availability in the design of an object-oriented language, allowing developers to specify different consistency and isolation constraints in the same application at the granularity of single objects. We investigate how availability levels interact
with object structure and define a type system that preserves correct program behavior. Our evaluation shows that our solution performs efficiently and improves the design of distributed applications.

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
Programming at the Edge of Synchrony
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
Rethinking Safe Consistency in Distributed Object-Oriented Programming
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
Testing Consensus Implementations using Communication Closure
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
Programming at the Edge of Synchrony
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
Rethinking Safe Consistency in Distributed Object-Oriented Programming
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
Testing Consensus Implementations using Communication Closure
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