ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 23:00 - 23:20 at SPLASH-I - M-3 Chair(s): Patrick Rein, Hidehiko Masuhara
Mon 16 Nov 2020 11:00 - 11:20 at SPLASH-I - M-3 Chair(s): John Boyland, Peter Thiemann

Reactive programming is a programming paradigm whereby programs are internally represented by a dependency graph, which is used to automatically (re)compute parts of a program whenever its input changes. In practice reactive programming can only be used for some parts of an application: a reactive program is usually embedded in an application that is still written in ordinary imperative languages such as JavaScript or Scala. In this paper we investigate this embedding and we distill “the awkward squad for reactive programming” as 3 concerns that are essential for real-world software development, but that do not fit within reactive programming. They are related to long lasting computations, side-effects, and the coordination between imperative and reactive code. To solve these issues we design a new programming model called the Actor-Reactor Model in which programs are split up in a number of actors and reactors. Actors and reactors enforce a strict separation of imperative and reactive code, and they can be composed via a number of composition operators that make use of data streams. We demonstrate the model via our own implementation in a language called Stella.

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

11:00 - 12:20: M-3Research Papers at SPLASH-I +12h
Chair(s): John BoylandUniveristy of Wisconsin, Milwaukee, Peter ThiemannUniversity of Freiburg, Germany
11:00 - 11:20
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
12:00 - 12:20
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadImperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached
23:00 - 00:20: M-3Research Papers at SPLASH-I
Chair(s): Patrick ReinHasso Plattner Institute, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
00:00 - 00:20
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadImperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached