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

Conference Day
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 RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders MøllerAarhus University
07:20 - 08:20
07:20
60m
Keynote
Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook
SPLASH Keynotes
Jan VitekNortheastern 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): Yu David LiuState University of New York (SUNY) Binghamton, Shigeru ChibaThe University of Tokyo
09:00
20m
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity 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 DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
09:40
20m
Talk
Blame for Null
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity 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 PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity 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 AhmedNortheastern University, USA
11:00 - 12:20
11:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
11:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity 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 NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU 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 AliUniversity of Alberta, Eli TilevichVirginia Tech
13:00
20m
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity 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 HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity 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 AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity 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 MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne 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)

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 ChibaThe University of Tokyo, Tiark RompfPurdue University
17:00
20m
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
17:20
20m
Talk
Reference immutability for DOT
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
17:40
20m
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
18:00
20m
Talk
Scala with Explicit Nulls
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity 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 RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders MøllerAarhus University
19:20 - 20:20
19:20
60m
Keynote
Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook
SPLASH Keynotes
Jan VitekNortheastern 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 IgarashiKyoto University, Japan, Hidehiko MasuharaTokyo Institute of Technology
21:00
20m
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity 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 DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
21:40
20m
Talk
Blame for Null
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity 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 PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity 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 BoixVrije Universiteit Brussel, Belgium, Atsushi IgarashiKyoto University, Japan
23:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
23:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity 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 NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached

Conference Day
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 RajamaniMicrosoft Research
01:00 - 02:20
S-4Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
01:00
20m
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity 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 HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity 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 AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity 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 MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne 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 AnconaDIBRIS, University of Genova, Italy, Jeremy GibbonsDepartment of Computer Science, University of Oxford
03:00
20m
Talk
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
03:20
20m
Talk
Putting Randomized Compiler Testing into Production
Research Papers
Alastair F. DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
03:40
20m
Talk
Owicki-Gries Reasoning for C11 RAR
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn 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. MacIverImperial College London, Alastair F. DonaldsonImperial 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): Jeremy GibbonsDepartment of Computer Science, University of Oxford, Olivier FlückigerNortheastern University
05:00
20m
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
05:20
20m
Talk
Reference immutability for DOT
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
05:40
20m
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
06:00
20m
Talk
Scala with Explicit Nulls
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity 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): Peter ThiemannUniversity of Freiburg, Germany, John BoylandUniveristy of Wisconsin, Milwaukee
07:00
20m
Talk
A Semantics for the Essence of React
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
07:20
20m
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-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-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity 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 TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial 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 BoylandUniveristy of Wisconsin, Milwaukee, Peter ThiemannUniversity of Freiburg, Germany
11:00
20m
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
20m
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40
20m
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
20m
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
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): Raffi KhatchadourianCity University of New York, Anitha GollamudiHarvard University
13:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel 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 SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
13:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
14:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity 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 KhatchadourianCity University of New York, Patrick ReinHasso Plattner Institute
17:00
20m
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto 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 LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology
19:00
20m
Talk
A Semantics for the Essence of React
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
19:20
20m
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-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-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity 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 TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial 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): Patrick ReinHasso Plattner Institute, Hidehiko MasuharaTokyo Institute of Technology
23:00
20m
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
20m
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40
20m
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
20m
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

Conference Day
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): Manuel SerranoInria, France, Patrick ReinHasso Plattner Institute
01:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel 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 SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
01:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
02:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity 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 ReinHasso Plattner Institute, Manuel SerranoInria, France
05:00
20m
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto 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 BlackburnAustralian National University
07:00
80m
Keynote
Testing Deep Neural Networks
SPLASH Keynotes
Mary Lou SoffaUniversity 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 BlackburnAustralian National University
19:00
80m
Keynote
Testing Deep Neural Networks
SPLASH Keynotes
Mary Lou SoffaUniversity 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)

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.

Accepted Papers

Title
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
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
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
Questions? Use the ECOOP Research Papers contact form.