Program - ECOOP 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

ECOOP 2020 Program

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

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

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

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

Tracks

Workshops

Co-hosted Symposia

ECOOP 2020 Program

Switch Program View

Program Display Configuration

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Get Calendar (iCal)

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

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

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

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