ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020


ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions—evaluations that provide new insights. It also encourages the submission of reproduction studies.

Take a look at last year’s proceedings for examples of the kinds of work that ECOOP’20 aims to attract.


Submission Link: https://ecoop20.hotcrp.com/

Supporters
Diamond
Gold
Gold
Bronze
Sponsor
In-cooperation
In-cooperation
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

07:00 - 07:20
Opening SessionSPLASH Opening at SPLASH-I +12h
07:00
20m
Day opening
Opening Session
SPLASH Opening
Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University
07:20 - 08:20
07:20
60m
Keynote
Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook
SPLASH Keynotes
Jan Vitek Northeastern University / Czech Technical University
Link to publication Media Attached
08:20 - 09:00
Breakfast in ChicagoSPLASH Posters at SPLASH-I +12h

Please click the link below for the list of featured posters.

08:20
40m
Other
Posters Session 1
SPLASH Posters

09:00 - 10:20
S-2Research Papers at SPLASH-I +12h
Chair(s): Shigeru Chiba The University of Tokyo, Yu David Liu State University of New York (SUNY) Binghamton
09:00
20m
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías Toro University of Chile, Éric Tanter University of Chile
Link to publication DOI Media Attached
09:20
20m
Talk
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Research Papers
Lukas Diekmann King's College London, Laurence Tratt King's College London
Link to publication DOI Pre-print Media Attached
09:40
20m
Talk
Blame for Null
Research Papers
Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo
Link to publication DOI Pre-print Media Attached
10:00
20m
Talk
Perfect is the Enemy of Good: Best-Effort Program Synthesis
Research Papers
Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego
Link to publication DOI Media Attached
10:20 - 11:00
Breakfast in Seattle (PLMW AMA)SPLASH PLMW at SPLASH-I
10:20
40m
Talk
Ask Me Anything: Amal Ahmed
SPLASH PLMW
Amal Ahmed Northeastern University, USA
11:00 - 12:20
S-3Research Papers at SPLASH-I +12h
Chair(s): CF Bolz-Tereick , Anitha Gollamudi Harvard University
11:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad Barbar University of Technology, Sydney, Yulei Sui University of Technology Sydney, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
11:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide Ancona DIBRIS, University of Genova, Italy, Pietro Barbieri Università di Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
Link to publication DOI Media Attached
11:40
20m
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev Nielsen Aarhus University, Anders Møller Aarhus University
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong, Xuan Bi The University of Hong Kong, Tom Schrijvers KU Leuven
Link to publication DOI Media Attached
12:20 - 13:00
Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +36h
12:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

13:00 - 14:20
S-4Research Papers at SPLASH-I +12h
Chair(s): Karim Ali University of Alberta, Eli Tilevich Virginia Tech
13:00
20m
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi Li University of Illinois at Urbana-Champaign, Elsa Gunter University of Illinois
Link to publication DOI Media Attached
13:20
20m
Talk
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Research Papers
Xuejing Huang The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
Link to publication DOI Media Attached
13:40
20m
Talk
A big step from finite to infinite computationsSCICO Journal-First
Research Papers
Davide Ancona DIBRIS, University of Genova, Italy, Francesco Dagnino DIBRIS, University of Genova, Italy, Jurriaan Rot Radboud University Nijmegen, Elena Zucca University of Genova
Link to publication DOI Media Attached
14:00
20m
Talk
Static Type Analysis by Abstract Interpretation of Python Programs
Research Papers
Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Link to publication DOI Media Attached File Attached
14:20 - 15:00
Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

15:00 - 16:20
S-5Research Papers at SPLASH-I +12h
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Eli Tilevich Virginia Tech
15:00
20m
Talk
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Simon Fowler University of Glasgow
Link to publication DOI Pre-print Media Attached
15:20
20m
Talk
Putting Randomized Compiler Testing into Production
Research Papers
Alastair F. Donaldson Imperial College London, Hugues Evrard Google, Paul Thomson Google
Link to publication DOI Media Attached
15:40
20m
Talk
Owicki-Gries Reasoning for C11 RAR
Research Papers
Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University
Link to publication DOI Media Attached
16:00
20m
Talk
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Research Papers
David R. MacIver Imperial College London, Alastair F. Donaldson Imperial College London
Link to publication DOI Media Attached
16:20 - 17:00
Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

17:00 - 18:20
S-6Research Papers at SPLASH-I +12h
Chair(s): Shigeru Chiba The University of Tokyo, Tiark Rompf Purdue University
17:00
20m
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia Gabet Imperial College London, Nobuko Yoshida Imperial College London
Link to publication DOI Media Attached
17:20
20m
Talk
Reference immutability for DOT
Research Papers
Vlastimil Dort Charles University, Ondřej Lhoták University of Waterloo
Link to publication DOI Media Attached
17:40
20m
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University
Link to publication DOI Media Attached
18:00
20m
Talk
Scala with Explicit Nulls
Research Papers
Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo
Link to publication DOI Pre-print Media Attached
18:20 - 19:00
18:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

19:00 - 19:20
Opening SessionSPLASH Opening at SPLASH-I
19:00
20m
Day opening
Opening Session
SPLASH Opening
Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University
19:20 - 20:20
19:20
60m
Keynote
Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook
SPLASH Keynotes
Jan Vitek Northeastern University / Czech Technical University
Link to publication Media Attached
20:20 - 21:00
Cocktails in New YorkSPLASH Posters at SPLASH-I

Please click the link below for the list of featured posters.

20:20
40m
Other
Posters Session 1
SPLASH Posters

21:00 - 22:20
S-2Research Papers at SPLASH-I
Chair(s): Atsushi Igarashi Kyoto University, Japan, Hidehiko Masuhara Tokyo Institute of Technology
21:00
20m
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías Toro University of Chile, Éric Tanter University of Chile
Link to publication DOI Media Attached
21:20
20m
Talk
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Research Papers
Lukas Diekmann King's College London, Laurence Tratt King's College London
Link to publication DOI Pre-print Media Attached
21:40
20m
Talk
Blame for Null
Research Papers
Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo
Link to publication DOI Pre-print Media Attached
22:00
20m
Talk
Perfect is the Enemy of Good: Best-Effort Program Synthesis
Research Papers
Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego
Link to publication DOI Media Attached
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

23:00 - 00:20
S-3Research Papers at SPLASH-I
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Atsushi Igarashi Kyoto University, Japan
23:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad Barbar University of Technology, Sydney, Yulei Sui University of Technology Sydney, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
23:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide Ancona DIBRIS, University of Genova, Italy, Pietro Barbieri Università di Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
Link to publication DOI Media Attached
23:40
20m
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev Nielsen Aarhus University, Anders Møller Aarhus University
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong, Xuan Bi The University of Hong Kong, Tom Schrijvers KU Leuven
Link to publication DOI Media Attached

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00
Breakfast in Paris (PLMW AMA)SPLASH PLMW at SPLASH-I
00:20
40m
Talk
Ask Me Anything: Sriram Rajamani
SPLASH PLMW
Sriram Rajamani Microsoft Research
01:00 - 02:20
S-4Research Papers at SPLASH-I
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Atsushi Igarashi Kyoto University, Japan
01:00
20m
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi Li University of Illinois at Urbana-Champaign, Elsa Gunter University of Illinois
Link to publication DOI Media Attached
01:20
20m
Talk
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Research Papers
Xuejing Huang The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
Link to publication DOI Media Attached
01:40
20m
Talk
A big step from finite to infinite computationsSCICO Journal-First
Research Papers
Davide Ancona DIBRIS, University of Genova, Italy, Francesco Dagnino DIBRIS, University of Genova, Italy, Jurriaan Rot Radboud University Nijmegen, Elena Zucca University of Genova
Link to publication DOI Media Attached
02:00
20m
Talk
Static Type Analysis by Abstract Interpretation of Python Programs
Research Papers
Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Link to publication DOI Media Attached File Attached
02:20 - 03:00
02:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

03:00 - 04:20
S-5Research Papers at SPLASH-I
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Jeremy Gibbons Department of Computer Science, University of Oxford
03:00
20m
Talk
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Simon Fowler University of Glasgow
Link to publication DOI Pre-print Media Attached
03:20
20m
Talk
Putting Randomized Compiler Testing into Production
Research Papers
Alastair F. Donaldson Imperial College London, Hugues Evrard Google, Paul Thomson Google
Link to publication DOI Media Attached
03:40
20m
Talk
Owicki-Gries Reasoning for C11 RAR
Research Papers
Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University
Link to publication DOI Media Attached
04:00
20m
Talk
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Research Papers
David R. MacIver Imperial College London, Alastair F. Donaldson Imperial College London
Link to publication DOI Media Attached
04:20 - 05:00
04:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

05:00 - 06:20
S-6Research Papers at SPLASH-I
Chair(s): Olivier Flückiger Northeastern University, Jeremy Gibbons Department of Computer Science, University of Oxford
05:00
20m
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia Gabet Imperial College London, Nobuko Yoshida Imperial College London
Link to publication DOI Media Attached
05:20
20m
Talk
Reference immutability for DOT
Research Papers
Vlastimil Dort Charles University, Ondřej Lhoták University of Waterloo
Link to publication DOI Media Attached
05:40
20m
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University
Link to publication DOI Media Attached
06:00
20m
Talk
Scala with Explicit Nulls
Research Papers
Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo
Link to publication DOI Pre-print Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

07:00 - 08:20
M-1Research Papers at SPLASH-I +12h
Chair(s): John Boyland Univeristy of Wisconsin, Milwaukee, Peter Thiemann University of Freiburg, Germany
07:00
20m
Talk
A Semantics for the Essence of React
Research Papers
Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo, Frank Tip Northeastern University
Link to publication DOI Media Attached
07:20
20m
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii Moiseenko St. Petersburg University / JetBrains Research, Anton Podkopaev NRU HSE, JetBrains Research, Ori Lahav Tel Aviv University, Orestis Melkonian Utrecht University, Viktor Vafeiadis MPI-SWS
Link to publication DOI Media Attached
07:40
20m
Talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Research Papers
Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow, Edwin Brady University of St. Andrews
Link to publication DOI Media Attached
08:00
20m
Talk
Reshape your layouts, not your programs: A safe language extension for better cache localitySCICO Journal-First
Research Papers
Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Sweden, Susan Eisenbach Imperial College London
Link to publication DOI Media Attached
08:20 - 09:00
Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

10:20 - 11:00
Breakfast in SeattleSPLASH Posters at SPLASH-I +12h

Please click the link below for the list of featured posters.

10:20
40m
Poster
Posters Session 2
SPLASH Posters

11:00 - 12:20
M-3Research Papers at SPLASH-I +12h
Chair(s): John Boyland Univeristy of Wisconsin, Milwaukee, Peter Thiemann University of Freiburg, Germany
11:00
20m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. Oliveira University of Hong Kong, Shaobo Cui , Baber Rehman University of Hong Kong
Link to publication DOI Media Attached
12:00
20m
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale Xiong ARM Research, Andrea Cerone Football Radar, Azalea Raad Imperial College London, Philippa Gardner Imperial College London
Link to publication DOI Media Attached
12:20 - 13:00
Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I
12:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

13:00 - 14:20
M-4Research Papers at SPLASH-I +12h
Chair(s): Anitha Gollamudi Harvard University, Raffi Khatchadourian City University of New York
13:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
13:20
20m
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
Link to publication DOI Media Attached
13:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Chris Fallin Mozilla
Link to publication DOI Media Attached
14:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens
Link to publication DOI Media Attached
14:20 - 15:00
Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

17:00 - 17:20
M-6BResearch Papers at SPLASH-III +12h
Chair(s): Raffi Khatchadourian City University of New York, Patrick Rein Hasso Plattner Institute
17:00
20m
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University
Link to publication DOI Media Attached
18:20 - 19:00
18:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

19:00 - 20:20
M-1Research Papers at SPLASH-I
Chair(s): Yu David Liu State University of New York (SUNY) Binghamton, Hidehiko Masuhara Tokyo Institute of Technology
19:00
20m
Talk
A Semantics for the Essence of React
Research Papers
Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo, Frank Tip Northeastern University
Link to publication DOI Media Attached
19:20
20m
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii Moiseenko St. Petersburg University / JetBrains Research, Anton Podkopaev NRU HSE, JetBrains Research, Ori Lahav Tel Aviv University, Orestis Melkonian Utrecht University, Viktor Vafeiadis MPI-SWS
Link to publication DOI Media Attached
19:40
20m
Talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Research Papers
Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow, Edwin Brady University of St. Andrews
Link to publication DOI Media Attached
20:00
20m
Talk
Reshape your layouts, not your programs: A safe language extension for better cache localitySCICO Journal-First
Research Papers
Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Sweden, Susan Eisenbach Imperial College London
Link to publication DOI Media Attached
20:20 - 21:00
Cocktails in New YorkSPLASH Meet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

22:20 - 23:00
Lunch in TokyoSPLASH Posters at SPLASH-I

Please click the link below for the list of featured posters.

22:20
40m
Poster
Posters Session 2
SPLASH Posters

23:00 - 00:20
M-3Research Papers at SPLASH-I
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Patrick Rein Hasso Plattner Institute
23:00
20m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
23:40
20m
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. Oliveira University of Hong Kong, Shaobo Cui , Baber Rehman University of Hong Kong
Link to publication DOI Media Attached
00:00
20m
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale Xiong ARM Research, Andrea Cerone Football Radar, Azalea Raad Imperial College London, Philippa Gardner Imperial College London
Link to publication DOI Media Attached

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00
00:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

01:00 - 02:20
M-4Research Papers at SPLASH-I
Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France
01:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
01:20
20m
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
Link to publication DOI Media Attached
01:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Chris Fallin Mozilla
Link to publication DOI Media Attached
02:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens
Link to publication DOI Media Attached
02:20 - 03:00
02:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

04:20 - 05:00
04:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

05:00 - 05:20
M-6BResearch Papers at SPLASH-III
Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France
05:00
20m
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University
Link to publication DOI Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

07:00 - 08:20
TSPLASH Keynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
SPLASH Keynotes
Mary Lou Soffa University of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

10:20 - 11:00
Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonSPLASH Student Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
SPLASH Student Research Competition

14:20 - 15:00
Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

18:20 - 19:00
18:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

19:00 - 20:20
TSPLASH Keynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
SPLASH Keynotes
Mary Lou Soffa University of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkSPLASH Meet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

Accepted Papers

Title
A big step from finite to infinite computationsSCICO Journal-First
Research Papers
Link to publication DOI Media Attached
Abstracting gradual referencesSCICO Journal-First
Research Papers
Link to publication DOI Media Attached
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Research Papers
Link to publication DOI Media Attached
A Semantics for the Essence of React
Research Papers
Link to publication DOI Media Attached
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Link to publication DOI Media Attached
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Research Papers
Link to publication DOI Media Attached
Blame for Null
Research Papers
Link to publication DOI Pre-print Media Attached
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Link to publication DOI Media Attached
Designing with Static Capabilities and Effects
Research Papers
Link to publication DOI Pre-print Media Attached
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Research Papers
Link to publication DOI Pre-print Media Attached
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Link to publication DOI Media Attached
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Link to publication DOI Media Attached
Lifting Sequential Effects to Control Operators
Research Papers
Link to publication DOI Pre-print Media Attached
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Link to publication DOI Pre-print Media Attached
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Link to publication DOI Media Attached
Owicki-Gries Reasoning for C11 RAR
Research Papers
Link to publication DOI Media Attached
Perfect is the Enemy of Good: Best-Effort Program Synthesis
Research Papers
Link to publication DOI Media Attached
Putting Randomized Compiler Testing into Production
Research Papers
Link to publication DOI Media Attached
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Link to publication DOI Media Attached
Reference immutability for DOT
Research Papers
Link to publication DOI Media Attached
Reshape your layouts, not your programs: A safe language extension for better cache localitySCICO Journal-First
Research Papers
Link to publication DOI Media Attached
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Link to publication DOI Media Attached
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
Scala with Explicit Nulls
Research Papers
Link to publication DOI Pre-print Media Attached
Sound regular corecursion in coFJ
Research Papers
Link to publication DOI Media Attached
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Link to publication DOI Media Attached
Static Analysis of Shape in TensorFlow Programs
Research Papers
Link to publication DOI Media Attached
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Link to publication DOI Media Attached
Static Type Analysis by Abstract Interpretation of Python Programs
Research Papers
Link to publication DOI Media Attached File Attached
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Link to publication DOI Pre-print Media Attached
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Research Papers
Link to publication DOI Media Attached
The Duality of Subtyping
Research Papers
Link to publication DOI Media Attached
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Link to publication DOI Pre-print Media Attached

Call for Papers

ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions—evaluations that provide new insights. It also encourages the submission of reproduction studies.


ECOOP 2020 solicits high-quality submissions describing original, unpublished results.
The program committee will evaluate the technical contribution of each submission as well as its general relevance and accessibility to the ECOOP audience according to the following criteria:

  • Originality. Papers must present new ideas and place them appropriately within the context established by previous research in the field.

  • Significance. The results in the paper must have the potential to add significantly to the state of the art or practice.

  • Evidence. The paper must present evidence supporting its claims. Examples of evidence include implemented systems, experimental results, statistical analyses, case studies, formalizations, and proofs.

  • Clarity. The paper must present its contributions and results clearly.

On submission, authors will be asked to identify their paper with one of the following categories:

  • Research Paper. This is the most traditional category and solicits high quality research papers that demonstrate advances in the field. (As an alternative to being published in the conference proceedings, authors may wish to submit research papers to be considered for publication in ACM TOPLAS or Science of Computer Programming.)

  • Tool Insights Paper. These submissions focus on the practical details of the design and implementation of PL tools—details that are often omitted from regular research papers, despite being fascinating and worthy of communication. A strong Tool Insights Paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community, who may face similar problems in future. Examples of issues that Tool Insights Papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency, and soundness/efficiency trade-offs.

  • Reproduction Study. A Reproduction Study is an empirical evaluation. It reconstructs an already published experiment but in a different context (for example, using a different virtual machine or platform, or in a different class of applications) in order to validate or refute important results of earlier work. A good Reproduction Study includes thorough empirical evaluation as well as a detailed comparison with the previous results, providing reasons for possible disagreements. (A thoroughly-conducted Reproduction Study that perfectly replicates an existing experiment and reaches the same conclusions will be regarded as significant, so long as said experiment is significant enough to be worthy of reproduction.)

  • Experience Report. Such reports focus on noteworthy applications of known PL techniques, tools, and ideas in interesting domains and by other communities. Examples include, but are not limited to, applications of PL techniques in industry, open source, education, and other academic disciplines. We welcome reports on successful applications of PL ideas and reports that shed light on limitations and problems that may provide inspiration for future research.

  • Pearl. This category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this.

  • Brave New Idea. The Brave New Idea category solicits forward-looking articles on ideas in the field of PL that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so.

Paper Submission

Only papers that have not been published and are not under review for publication elsewhere may be submitted. Double submissions will be rejected without review. If major parts of an ECOOP submission have appeared elsewhere in any form, authors are required to notify the ECOOP program chair and explain the overlap and relationship. Authors are also required to inform the program chair about closely related work submitted to another conference while the ECOOP submission is under review.

Papers must be no longer than 25 pages, excluding references. See below for information about appendices. Authors will not be penalized for papers that are shorter than the page limit.

Submissions will be carried out electronically via HotCRP.

ECOOP Proceedings are published by Dagstuhl LIPIcs. Papers must be written in English and follow the Dagstuhl LIPIcs LaTeX-style template. Authors retain ownership of their content.

Note: Submitted papers do not need to include the ACM classification or keywords. Also, please DO NOT put your name in either the \author or \Copyright macro, in order to maintain anonymity for double-blind reviewing (see below).

Anonymity

ECOOP will use light double-blind reviewing: authors’ identities are withheld until a reviewer submits his or her review (as usual, reviews are anonymous). To facilitate this, submitted papers must adhere to two rules:

  • Author names and institutions must be omitted.

  • References to authors’ own other work should be in the third person (for example, not “We build on our previous work…” but rather “We build on the work of…”).

When in doubt, contact the Program Chair.

Additional Material

Clearly marked additional appendices containing analyses, statistics, supporting proofs, etc. of possible value to reviewers but not published in the final publication, may be included beyond the page limit. The submission system provides an option to submit supplementary material; for example, a technical report including proofs, or web pages and repositories that cannot easily be anonymized. This supplementary material will be made available to reviewers after the initial reviews have been completed, when author names are revealed.

Reviewers are under no obligation to examine such appendices and supplementary material. Therefore, the paper must be a stand-alone document - the appendices and supplementary material are a way of providing useful information that cannot fit in the page limit; they are not a means to extend the page limit.

Authors of papers that have been submitted but not accepted by previous conferences may optionally submit a Note to Reviewers. The Note to Reviewers should provide the following information:

  • the identity of the previous venue(s) (for example, ESOP 2020, ‹Programming› 2020, POPL 2020, OOPSLA 2019)

  • a list the major issues identified by the reviews at those venues

  • a description of the changes made to the paper in response to those reviews

These notes will be made available to reviewers after their initial reviews have been completed and author names have been revealed.

Response Period

Authors will be given a three-day period to read and respond to the reviews of their papers before the program committee meeting. Responses have no formal length limit, but concision is likely to be effective.

Artifact Evaluation

To reward the creation of artifacts and support replication of experiments, authors of accepted research papers may submit artifacts (such as tools, data, models, or videos) to be evaluated by an Artifact Evaluation Committee. Artifacts that pass muster will be recognized officially.

Important Dates

  • Paper submission: 10 January 2020 (Fri)

  • Author response: 16–18 March 2020 (Mon-Wed)

  • Author notification: 8 April 2020 (Wed)

Journal First

We have Journal First arrangements with ACM Transactions on Programming Languages and Systems and Elsevier Science of Computer Programming.

Common to both routes

Only new research papers are eligible for the Journal First routes to ECOOP 2020. That is, it is not acceptable to submit an extension of a previous conference paper, even if the associated journal solicits extended papers via its standard submission route.

Authors of all accepted Journal First papers will be invited to submit a short abstract for their paper to appear in the ECOOP 2020 conference proceedings.

Journal First papers will be included along with research papers submitted directly to the conference when a Distinguished Paper is selected.

Science of Computer Programming route

See this dedicated web page for full details of how to submit to the ECOOP 2020 Science of Computer Programming (SCP) special issue.

Submission deadline: December 2, 2019 (Mon)

ACM Transactions on Programming Languages and Systems route

See this announcement for details of the TOPLAS scheme whereby papers submitted to TOPLAS can be presented at selected conferences.

Authors interested in this route should submit their paper to TOPLAS via its usual submission system and mark it as an ECOOP 2020 submission. The ECOOP Program Chair will then be informed of this submission and will have some input into the review process.

Submission deadline: October 10, 2019 (Thu)

More Information

For additional information, please contact the ECOOP Program Chair, Robert Hirschfeld.

Questions? Use the ECOOP Research Papers contact form.