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

Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This extra expressive power allows effect systems to reason about behavior over time, capturing properties such as atomicity, unstructured lock ownership, or even general safety properties. While we now understand the essential denotational (categorical) models fairly well, application of these ideas to real software is hampered by the variety of source level control flow constructs and control operators in real languages.

We address this new problem by appeal to a classic idea: macro-expression of commonly-used programming constructs in terms of control operators. We give an effect system for a subset of Racket’s tagged delimited control operators, as a lifting of an effect system for a language without direct control operators. This gives the first account of sequential effects in the presence of general control operators. Using this system, we also re-derive the sequential effect system rules for control flow constructs previously shown sound directly, and derive sequential effect rules for new constructs not previously studied in the context of source-level sequential effect systems. This offers a way to directly extend source-level support for sequential effect systems to real programming languages.

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
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
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
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
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial 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
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
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
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
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached