SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 17:20 - 17:40 at OOPSLA/ECOOP - M-6
Tue 17 Nov 2020 05:20 - 05:40 at OOPSLA/ECOOP - M-6

A major challenge in writing applications that execute across hosts, such as distributed online services, is to reconcile (a) parallelism (i.e., allowing components to execute independently on disjoint tasks), and (b)cooperation (i.e., allowing components to work together on common tasks). A good compromise between the two is vital to scalability, a core concern in distributed networked applications.

The actor model of computation is a widely promoted programming model for distributed applications, as actors can execute in individual threads (parallelism) across different hosts and interact via asynchronous message passing (collaboration). However, this makes it hard for programmers to reason about combinations of messages as opposed to individual messages, which is essential in many scenarios.

This paper presents a pragmatic variant of the actor model in which messages can be grouped into units that are executed in a serializable manner, whilst still retaining a high degree of parallelism. In short, our model is based on an orchestration of actors along a directed acyclic graph that supports efficient decentralized synchronization among actors based on their actual interaction. We present the implementation of this model, based on a dynamic DAG-inducing referencing discipline, in the actor-based programming language XYZ. We argue serializability and the absence of deadlocks in our model, and demonstrate its scalability and usability through extensive evaluation and case studies of wide-ranging applications.

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

17:00 - 18:20: M-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
17:20 - 17:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
17:40 - 18:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
18:00 - 18:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA

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

05:00 - 06:20: M-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
05:20 - 05:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
05:40 - 06:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
06:00 - 06:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA