ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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

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
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
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
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
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
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
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

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
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
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
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
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
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
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
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
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

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
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

Wed 18 Nov

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

09:00 - 14:20
Scala SymposiumScala at SPLASH-V
10:00
5m
Day opening
Welcome to Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt
10:05
35m
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
Eva Darulova MPI-SWS
10:40
20m
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
Alexander Merritt Independent
11:00
20m
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza Ashouri University of Potsdam, Germany
11:40
20m
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza Ashouri University of Potsdam, Germany
12:00
20m
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley
12:20
20m
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Sébastien Doeraene EPFL, Switzerland, Martin Odersky EPFL
12:40
20m
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz Kabir University of Alberta, Karim Ali University of Alberta
13:00
20m
Day closing
Closing Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt