SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 15:20 - 15:40 at SPLASH - F-5B
Sat 21 Nov 2020 03:20 - 03:40 at SPLASH - F-5B

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 +12h
15:00 - 15:20
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
15:20 - 15:40
Talk
OOPSLA
Mirko KöhlerTechnische Universität Darmstadt, Nafise Eskandani MasouleTechnical University of Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
15:40 - 16:00
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS, Burcu Kulahcioglu OzkanDelft University of Technology, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Filip NiksicUniversity of Pennsylvania

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

03:00 - 04:20: F-5BOOPSLA at SPLASH
03:00 - 03:20
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
03:20 - 03:40
Talk
OOPSLA
Mirko KöhlerTechnische Universität Darmstadt, Nafise Eskandani MasouleTechnical University of Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
03:40 - 04:00
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS, Burcu Kulahcioglu OzkanDelft University of Technology, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Filip NiksicUniversity of Pennsylvania