SPLASH-I - JSTools 2020

VenueOnline

Room nameSPLASH-I

Room InformationNo extra information available

Program

Time Zone

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

Use conference time zone: (GMT-05: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

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	SSPLASH Keynotes at SPLASH-I +12h

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-2ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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-3ECOOP Research Papers at SPLASH-I +12h Chair(s): CF Bolz-Tereick , Anitha Gollamudi Harvard University

11:00 20m Talk		Flow-Sensitive Type-Based Heap Cloning ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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-4ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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-5ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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-6ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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	Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

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	SSPLASH Keynotes at SPLASH-I

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-2ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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	Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I

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

23:00 - 00:20	S-3ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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-4ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	S-5ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP Research Papers David R. MacIver Imperial College London, Alastair F. Donaldson Imperial College London Link to publication DOI Media Attached

04:20 - 05:00	Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	S-6ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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	Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I

06:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

07:00 - 08:20	M-1ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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)

09:00 - 10:20	MSPLASH Keynotes at SPLASH-I +12h

09:00 80m Keynote		Catching More Bugs with Fewer False AlarmsAMA SPLASH Keynotes Jonathan Bell Northeastern University Link to publication Media Attached

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-3ECOOP Research 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 ECOOP 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 ECOOP Research Papers Colin Gordon Drexel University Link to publication DOI Pre-print Media Attached
11:40 20m Talk		The Duality of Subtyping ECOOP 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 ECOOP 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-4ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP Research Papers Chris Fallin Mozilla Link to publication DOI Media Attached
14:00 20m Talk		Static Analysis of Shape in TensorFlow Programs ECOOP 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)

15:00 - 16:20	M-5SPLASH OOPSLA at SPLASH-I +12h Chair(s): Jonathan Aldrich Carnegie Mellon University, Leonidas Lampropoulos University of Maryland, College Park

15:00 20m Talk		CAMP: Cost-Aware Multiparty Session Protocols SPLASH OOPSLA David Castro-Perez Imperial College London, Nobuko Yoshida Imperial College London Link to publication DOI Media Attached
15:20 20m Talk		Counterexample-Guided Correlation Algorithm for Translation Validation SPLASH OOPSLA Shubhani Gupta IIT Delhi, Abhishek Rose IIT Delhi, Sorav Bansal IIT Delhi and CompilerAI Labs Link to publication DOI Media Attached
15:40 20m Talk		Multiparty Motion Coordination: From Choreographies to Robotics Programs SPLASH OOPSLA Rupak Majumdar MPI-SWS, Nobuko Yoshida Imperial College London, Damien Zufferey MPI-SWS Link to publication DOI Media Attached
16:00 20m Talk		On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers SPLASH OOPSLA Dominik Winterer ETH Zurich, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich 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	M-6SPLASH OOPSLA at SPLASH-I +12h Chair(s): Patrick Lam University of Waterloo, Konstantinos Mamouras Rice University

17:00 20m Talk		Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian SPLASH OOPSLA Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached
17:20 20m Talk		Scalable and Serializable Networked Multi-actor Programming SPLASH OOPSLA Bo Sang Purdue University / Ant Group, Patrick Eugster USI Lugano / TU Darmstadt / Purdue University, Gustavo Petri ARM Research, Srivatsan Ravi University of Southern California, Pierre-Louis Roman USI Lugano Link to publication DOI Media Attached
17:40 20m Talk		Designing Types for R, Empirically SPLASH OOPSLA Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached
18:00 20m Talk		Geometry Types for Graphics Programming SPLASH OOPSLA Dietrich Geisler Cornell University, Irene Yoon University of Pennsylvania, Aditi Kabra Carnegie Mellon University, Horace He Cornell University, Yinnon Sanders Cornell University, Adrian Sampson Cornell University Link to publication DOI Pre-print Media Attached

18:20 - 19:00	Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

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

19:00 - 20:20	M-1ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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)

21:00 - 22:20	MSPLASH Keynotes at SPLASH-I

21:00 80m Keynote		Catching More Bugs with Fewer False AlarmsAMA SPLASH Keynotes Jonathan Bell Northeastern University Link to publication Media Attached

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-3ECOOP Research 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 ECOOP 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 ECOOP Research Papers Colin Gordon Drexel University Link to publication DOI Pre-print Media Attached
23:40 20m Talk		The Duality of Subtyping ECOOP 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 ECOOP 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	Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I

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

01:00 - 02:20	M-4ECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP Research Papers Chris Fallin Mozilla Link to publication DOI Media Attached
02:00 20m Talk		Static Analysis of Shape in TensorFlow Programs ECOOP 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	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	M-5SPLASH OOPSLA at SPLASH-I Chair(s): Bernardo Toninho Nova University of Lisbon / NOVA-LINCS, Xiangzhe Xu Nanjing University

03:00 20m Talk		CAMP: Cost-Aware Multiparty Session Protocols SPLASH OOPSLA David Castro-Perez Imperial College London, Nobuko Yoshida Imperial College London Link to publication DOI Media Attached
03:20 20m Talk		Counterexample-Guided Correlation Algorithm for Translation Validation SPLASH OOPSLA Shubhani Gupta IIT Delhi, Abhishek Rose IIT Delhi, Sorav Bansal IIT Delhi and CompilerAI Labs Link to publication DOI Media Attached
03:40 20m Talk		Multiparty Motion Coordination: From Choreographies to Robotics Programs SPLASH OOPSLA Rupak Majumdar MPI-SWS, Nobuko Yoshida Imperial College London, Damien Zufferey MPI-SWS Link to publication DOI Media Attached
04:00 20m Talk		On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers SPLASH OOPSLA Dominik Winterer ETH Zurich, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich Link to publication DOI Media Attached

04:20 - 05:00	Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	M-6SPLASH OOPSLA at SPLASH-I Chair(s): David Grove IBM Research, Ifaz Kabir University of Alberta

05:00 20m Talk		Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian SPLASH OOPSLA Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached
05:20 20m Talk		Scalable and Serializable Networked Multi-actor Programming SPLASH OOPSLA Bo Sang Purdue University / Ant Group, Patrick Eugster USI Lugano / TU Darmstadt / Purdue University, Gustavo Petri ARM Research, Srivatsan Ravi University of Southern California, Pierre-Louis Roman USI Lugano Link to publication DOI Media Attached
05:40 20m Talk		Designing Types for R, Empirically SPLASH OOPSLA Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached
06:00 20m Talk		Geometry Types for Graphics Programming SPLASH OOPSLA Dietrich Geisler Cornell University, Irene Yoon University of Pennsylvania, Aditi Kabra Carnegie Mellon University, Horace He Cornell University, Yinnon Sanders Cornell University, Adrian Sampson Cornell University Link to publication DOI Pre-print Media Attached

06:20 - 07:00	Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I

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)

09:00 - 10:20	T-2SPLASH OOPSLA at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Aritra Sengupta Amazon Web Services, USA

09:00 20m Talk		Formulog: Datalog for SMT-Based Static Analysis SPLASH OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached
09:20 20m Talk		A Large-Scale Longitudinal Study of Flaky Tests SPLASH OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached
09:40 20m Talk		Handling Bidirectional Control Flow SPLASH OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew Myers Cornell University Link to publication DOI Media Attached
10:00 20m Talk		WATCHER: In-Situ Failure Diagnosis SPLASH OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached

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)

11:00 - 12:20	T-3SPLASH OOPSLA at SPLASH-I +12h Chair(s): Olivier Tardieu IBM Research, Burcu Kulahcioglu Ozkan MPI-SWS

11:00 20m Talk		Koord: A Language for Programming and Verifying Distributed Robotics Application SPLASH OOPSLA Ritwika Ghosh University of Illinois at Urbana-Champaign, Chiao Hsieh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached
11:20 20m Talk		Learning-Based Controlled Concurrency Testing SPLASH OOPSLA Suvam Mukherjee Microsoft Research, Pantazis Deligiannis Microsoft Research, Arpita Biswas IISc Bangalore, Akash Lal Microsoft Research Link to publication DOI Pre-print Media Attached
11:40 20m Talk		LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments SPLASH OOPSLA Umar Farooq University of California at Riverside, Zhijia Zhao University of California at Riverside, Manu Sridharan University of California at Riverside, Iulian Neamtiu New Jersey Institute of Technology Link to publication DOI Pre-print Media Attached
12:00 20m Talk		Shiftry: RNN Inference in 2KB of RAM SPLASH OOPSLA Aayan Kumar Microsoft Research, Vivek Seshadri Microsoft Research, Rahul Sharma Microsoft Research Link to publication DOI Media Attached

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

13:00 - 14:20	T-4SPLASH OOPSLA at SPLASH-I +12h Chair(s): Michael Pradel University of Stuttgart, Germany, Sophia Drossopoulou Imperial College London

13:00 20m Talk		A Structural Model for Contextual Code Changes SPLASH OOPSLA Shaked Brody Technion, Uri Alon Technion, Eran Yahav Technion Link to publication DOI Pre-print Media Attached
13:20 20m Talk		A Systematic Approach to Deriving Incremental Type Checkers SPLASH OOPSLA André Pacak JGU Mainz, Sebastian Erdweg University of Mainz, Tamás Szabó University of Mainz / itemis Link to publication DOI Media Attached
13:40 20m Talk		Detecting Locations in JavaScript Programs Affected by Breaking Library Changes SPLASH OOPSLA Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University Link to publication DOI Pre-print Media Attached
14:00 20m Talk		A Type-and-Effect System for Object Initialization SPLASH OOPSLA Fengyun Liu EPFL, Ondřej Lhoták University of Waterloo, Aggelos Biboudis EPFL, Paolo G. Giarrusso Delft University of Technology, Martin Odersky EPFL 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)

15:00 - 16:20	T-5SPLASH OOPSLA at SPLASH-I +12h Chair(s): Tyler Sorensen University of California at Santa Cruz, Raffi Khatchadourian City University of New York

15:00 20m Talk		Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences SPLASH OOPSLA Mehdi Bagherzadeh Oakland University, Nicholas Fireman Oakland University, Anas Shawesh Oakland University, Raffi Khatchadourian City University of New York Link to publication DOI Pre-print Media Attached
15:20 20m Talk		Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications SPLASH OOPSLA Arjen Rouvoet Delft University of Technology, Hendrik van Antwerpen Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Robbert Krebbers Radboud University Nijmegen, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached
15:40 20m Talk		Fuzzing Channel-Based Concurrency Runtimes using Types and Effects SPLASH OOPSLA Quentin Stiévenart Vrije Universiteit Brussel, Magnus Madsen Aarhus University Link to publication DOI Media Attached
16:00 20m Talk		Regex Matching with Counting-Set Automata SPLASH OOPSLA Lenka Turoňová Brno University of Technology, Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Olli Saarikivi Microsoft, Margus Veanes Microsoft, Tomáš Vojnar Brno University of Technology 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	T-6ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Zhefeng Wu Alibaba Group, Filip Niksic Google

17:00 20m Talk		Flow2Vec: Value-Flow-Based Precise Code Embedding SPLASH OOPSLA Yulei Sui University of Technology Sydney, Xiao Cheng Beijing University of Posts and Telecommunications, Guanqin Zhang University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications Link to publication DOI Media Attached
17:20 20m Talk		FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability SPLASH OOPSLA Ana Milanova Rensselaer Polytechnic Institute Link to publication DOI Media Attached
17:40 20m Talk		Hidden Inheritance: An Inline Caching Design for TypeScript Performance SPLASH OOPSLA Zhefeng Wu Alibaba Group, Zhe Sun Alibaba Group, Kai Gong Alibaba Group, Lingyun Chen Alibaba Group, Bin Liao Alibaba Group, Yihua Jin Alibaba Group Link to publication DOI Media Attached
18:00 20m Talk		Gradual Verification of Recursive Heap Data Structures SPLASH OOPSLA Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached

18:20 - 19:00	Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

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)

21:00 - 22:20	T-2SPLASH OOPSLA at SPLASH-I Chair(s): Yaoda Zhou University of Hong Kong, Iulian Neamtiu New Jersey Institute of Technology

21:00 20m Talk		Formulog: Datalog for SMT-Based Static Analysis SPLASH OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached
21:20 20m Talk		A Large-Scale Longitudinal Study of Flaky Tests SPLASH OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached
21:40 20m Talk		Handling Bidirectional Control Flow SPLASH OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew Myers Cornell University Link to publication DOI Media Attached
22:00 20m Talk		WATCHER: In-Situ Failure Diagnosis SPLASH OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached

22:20 - 23:00	Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I

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

23:00 - 00:20	T-3SPLASH OOPSLA at SPLASH-I Chair(s): Chengyu Zhang East China Normal University, Ting Cao Microsoft Research

23:00 20m Talk		Koord: A Language for Programming and Verifying Distributed Robotics Application SPLASH OOPSLA Ritwika Ghosh University of Illinois at Urbana-Champaign, Chiao Hsieh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached
23:20 20m Talk		Learning-Based Controlled Concurrency Testing SPLASH OOPSLA Suvam Mukherjee Microsoft Research, Pantazis Deligiannis Microsoft Research, Arpita Biswas IISc Bangalore, Akash Lal Microsoft Research Link to publication DOI Pre-print Media Attached
23:40 20m Talk		LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments SPLASH OOPSLA Umar Farooq University of California at Riverside, Zhijia Zhao University of California at Riverside, Manu Sridharan University of California at Riverside, Iulian Neamtiu New Jersey Institute of Technology Link to publication DOI Pre-print Media Attached
00:00 20m Talk		Shiftry: RNN Inference in 2KB of RAM SPLASH OOPSLA Aayan Kumar Microsoft Research, Vivek Seshadri Microsoft Research, Rahul Sharma Microsoft Research Link to publication DOI Media Attached

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

00:20 - 01:00	Breakfast in ParisSPLASH Student Research Competition at SPLASH-I 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

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

01:00 - 02:20	T-4SPLASH OOPSLA at SPLASH-I Chair(s): Sophia Drossopoulou Imperial College London, Julien Lange Royal Holloway University of London

01:00 20m Talk		A Structural Model for Contextual Code Changes SPLASH OOPSLA Shaked Brody Technion, Uri Alon Technion, Eran Yahav Technion Link to publication DOI Pre-print Media Attached
01:20 20m Talk		A Systematic Approach to Deriving Incremental Type Checkers SPLASH OOPSLA André Pacak JGU Mainz, Sebastian Erdweg University of Mainz, Tamás Szabó University of Mainz / itemis Link to publication DOI Media Attached
01:40 20m Talk		Detecting Locations in JavaScript Programs Affected by Breaking Library Changes SPLASH OOPSLA Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University Link to publication DOI Pre-print Media Attached
02:00 20m Talk		A Type-and-Effect System for Object Initialization SPLASH OOPSLA Fengyun Liu EPFL, Ondřej Lhoták University of Waterloo, Aggelos Biboudis EPFL, Paolo G. Giarrusso Delft University of Technology, Martin Odersky EPFL Link to publication DOI Media Attached

02:20 - 03:00	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	T-5SPLASH OOPSLA at SPLASH-I Chair(s): Burcu Kulahcioglu Ozkan MPI-SWS, Reuben Rowe University College London

03:00 20m Talk		Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences SPLASH OOPSLA Mehdi Bagherzadeh Oakland University, Nicholas Fireman Oakland University, Anas Shawesh Oakland University, Raffi Khatchadourian City University of New York Link to publication DOI Pre-print Media Attached
03:20 20m Talk		Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications SPLASH OOPSLA Arjen Rouvoet Delft University of Technology, Hendrik van Antwerpen Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Robbert Krebbers Radboud University Nijmegen, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached
03:40 20m Talk		Fuzzing Channel-Based Concurrency Runtimes using Types and Effects SPLASH OOPSLA Quentin Stiévenart Vrije Universiteit Brussel, Magnus Madsen Aarhus University Link to publication DOI Media Attached
04:00 20m Talk		Regex Matching with Counting-Set Automata SPLASH OOPSLA Lenka Turoňová Brno University of Technology, Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Olli Saarikivi Microsoft, Margus Veanes Microsoft, Tomáš Vojnar Brno University of Technology Link to publication DOI Media Attached

04:20 - 05:00	Dinner in BejingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	T-6ASPLASH OOPSLA at SPLASH-I Chair(s): Michael Pradel University of Stuttgart, Germany, Konstantinos Kallas University of Pennsylvania

05:00 20m Talk		Flow2Vec: Value-Flow-Based Precise Code Embedding SPLASH OOPSLA Yulei Sui University of Technology Sydney, Xiao Cheng Beijing University of Posts and Telecommunications, Guanqin Zhang University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications Link to publication DOI Media Attached
05:20 20m Talk		FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability SPLASH OOPSLA Ana Milanova Rensselaer Polytechnic Institute Link to publication DOI Media Attached
05:40 20m Talk		Hidden Inheritance: An Inline Caching Design for TypeScript Performance SPLASH OOPSLA Zhefeng Wu Alibaba Group, Zhe Sun Alibaba Group, Kai Gong Alibaba Group, Lingyun Chen Alibaba Group, Bin Liao Alibaba Group, Yihua Jin Alibaba Group Link to publication DOI Media Attached
06:00 20m Talk		Gradual Verification of Recursive Heap Data Structures SPLASH OOPSLA Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached

06:20 - 07:00	Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I

06:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

07:00 - 08:20	W-1SPLASH OOPSLA at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Sophia Drossopoulou Imperial College London

07:00 20m Talk		Mossad: Defeating Software Plagiarism Detection SPLASH OOPSLA Breanna Devore-McDonald University of Massachusetts at Amherst, Emery D. Berger University of Massachusetts at Amherst Link to publication DOI Media Attached
07:20 20m Talk		Precise Inference of Expressive Units of Measurement Types SPLASH OOPSLA Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo Link to publication DOI Media Attached
07:40 20m Talk		Program Equivalence for Assisted Grading of Functional Programs SPLASH OOPSLA Joshua Clune Carnegie Mellon University, Vijay Ramamurthy Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Umut A. Acar Carnegie Mellon University Link to publication DOI Media Attached
08:00 20m Talk		Revisiting Iso-Recursive Subtyping SPLASH OOPSLA Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong Link to publication DOI Media Attached

08:20 - 09:00	Breakfast in ChicagoSPLASH Awards at SPLASH-I +12h

08:20 40m Other		Awards Session SPLASH Awards David Grove IBM Research, Jens Palsberg University of California, Los Angeles

09:00 - 10:20	WSPLASH Keynotes at SPLASH-I +12h Chair(s): Hridesh Rajan Iowa State University, USA

09:00 80m Keynote		Models and Programs: Better Togethersupported by Futurewei SPLASH Keynotes Sriram Rajamani Microsoft Research Link to publication

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)

11:00 - 12:20	W-3SPLASH OOPSLA at SPLASH-I +12h Chair(s): Eelco Visser Delft University of Technology, Dan Barowy Williams College

11:00 20m Talk		Build Scripts with Perfect Dependencies SPLASH OOPSLA Sarah Spall Indiana University, Neil Mitchell Facebook, Sam Tobin-Hochstadt Indiana University Link to publication DOI Media Attached
11:20 20m Talk		Random Testing for C and C++ Compilers with YARPGen SPLASH OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached
11:40 20m Talk		Dynamic Dispatch of Context-Sensitive Optimizations SPLASH OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached
12:00 20m Talk		Automated Policy Synthesis for System Call Sandboxing SPLASH OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached

12:20 - 13:00	Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

12:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

13:00 - 14:20	W-4SPLASH OOPSLA at SPLASH-I +12h Chair(s): Eric Koskinen Stevens Institute of Technology, Justin Hsu University of Wisconsin-Madison, USA

13:00 20m Talk		Adversarial Examples for Models of Code SPLASH OOPSLA Noam Yefet Technion, Uri Alon Technion, Eran Yahav Technion Link to publication DOI Pre-print Media Attached
13:20 20m Talk		Finding Bugs in Database Systems via Query Partitioning SPLASH OOPSLA Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich Link to publication DOI Pre-print Media Attached
13:40 20m Talk		Proving Highly-Concurrent Traversals Correct SPLASH OOPSLA Yotam M. Y. Feldman Tel Aviv University, Artem Khyzha Tel Aviv University, Constantin Enea University of Paris / IRIF / CNRS, Adam Morrison Tel Aviv University, Aleksandar Nanevski IMDEA Software Institute, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University Link to publication DOI Media Attached
14:00 20m Talk		How Do Programmers Use Unsafe Rust? SPLASH OOPSLA Vytautas Astrauskas ETH Zurich, Christoph Matheja ETH Zurich, Federico Poli ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia 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)

15:00 - 16:20	W-5SPLASH OOPSLA at SPLASH-I +12h Chair(s): Dan Barowy Williams College, Mohsen Lesani University of California at Riverside, USA

15:00 20m Talk		A Model for Detecting Faults in Build Specifications SPLASH OOPSLA Thodoris Sotiropoulos Athens University of Economics and Business, Stefanos Chaliasos Athens University of Economics and Business, Dimitris Mitropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business Link to publication DOI Pre-print Media Attached
15:20 20m Talk		Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 SPLASH OOPSLA Azalea Raad Imperial College London, Ori Lahav Tel Aviv University, Viktor Vafeiadis MPI-SWS Link to publication DOI Media Attached
15:40 20m Talk		Structure Interpretation of Text Formats SPLASH OOPSLA Sumit Gulwani Microsoft, Vu Le Microsoft, Arjun Radhakrishna Microsoft, Ivan Radiček Microsoft, Mohammad Raza Microsoft Link to publication DOI Media Attached
16:00 20m Talk		Statically Verified Refinements for Multiparty Protocols SPLASH OOPSLA Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Raymond Hu University of Hertfordshire, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London Link to publication DOI Pre-print 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	W-6SPLASH OOPSLA at SPLASH-I +12h Chair(s): Anitha Gollamudi Harvard University, Hans-J. Boehm Google

17:00 20m Talk		Programming with a Read-Eval-Synth Loop SPLASH OOPSLA Hila Peleg University of California at San Diego, Roi Gabay Technion, Shachar Itzhaky Technion, Eran Yahav Technion Link to publication DOI Media Attached
17:20 20m Talk		Sound Garbage Collection for C using Pointer Provenance SPLASH OOPSLA Subarno Banerjee University of Michigan, David Devecsery Georgia Institute of Technology, Peter M. Chen University of Michigan, Satish Narayanasamy University of Michigan Link to publication DOI Media Attached
17:40 20m Talk		Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements SPLASH OOPSLA Guilherme Vieira Leobas Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached
18:00 20m Talk		CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files SPLASH OOPSLA Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University Link to publication DOI Media Attached

18:20 - 19:00	Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

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

19:00 - 20:20	W-1SPLASH OOPSLA at SPLASH-I Chair(s): Patrick Lam University of Waterloo, Julia Belyakova Northeastern University

19:00 20m Talk		Mossad: Defeating Software Plagiarism Detection SPLASH OOPSLA Breanna Devore-McDonald University of Massachusetts at Amherst, Emery D. Berger University of Massachusetts at Amherst Link to publication DOI Media Attached
19:20 20m Talk		Precise Inference of Expressive Units of Measurement Types SPLASH OOPSLA Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo Link to publication DOI Media Attached
19:40 20m Talk		Program Equivalence for Assisted Grading of Functional Programs SPLASH OOPSLA Joshua Clune Carnegie Mellon University, Vijay Ramamurthy Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Umut A. Acar Carnegie Mellon University Link to publication DOI Media Attached
20:00 20m Talk		Revisiting Iso-Recursive Subtyping SPLASH OOPSLA Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong Link to publication DOI Media Attached

20:20 - 21:00	Cocktails in New YorkSPLASH Awards at SPLASH-I

20:20 40m Other		Awards Session SPLASH Awards David Grove IBM Research, Jens Palsberg University of California, Los Angeles

21:00 - 22:20	WSPLASH Keynotes at SPLASH-I Chair(s): Hridesh Rajan Iowa State University, USA

21:00 80m Keynote		Models and Programs: Better Togethersupported by Futurewei SPLASH Keynotes Sriram Rajamani Microsoft Research Link to publication

22:20 - 23:00	Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I

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

23:00 - 00:20	W-3SPLASH OOPSLA at SPLASH-I Chair(s): Alex Potanin Victoria University of Wellington, Yuting Wang Shanghai Jiao Tong University

23:00 20m Talk		Build Scripts with Perfect Dependencies SPLASH OOPSLA Sarah Spall Indiana University, Neil Mitchell Facebook, Sam Tobin-Hochstadt Indiana University Link to publication DOI Media Attached
23:20 20m Talk		Random Testing for C and C++ Compilers with YARPGen SPLASH OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached
23:40 20m Talk		Dynamic Dispatch of Context-Sensitive Optimizations SPLASH OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached
00:00 20m Talk		Automated Policy Synthesis for System Call Sandboxing SPLASH OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached

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

00:20 - 01:00	Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I

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

01:00 - 02:20	W-4SPLASH OOPSLA at SPLASH-I Chair(s): Sophia Drossopoulou Imperial College London, Jan Vitek Northeastern University / Czech Technical University

01:00 20m Talk		Adversarial Examples for Models of Code SPLASH OOPSLA Noam Yefet Technion, Uri Alon Technion, Eran Yahav Technion Link to publication DOI Pre-print Media Attached
01:20 20m Talk		Finding Bugs in Database Systems via Query Partitioning SPLASH OOPSLA Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich Link to publication DOI Pre-print Media Attached
01:40 20m Talk		Proving Highly-Concurrent Traversals Correct SPLASH OOPSLA Yotam M. Y. Feldman Tel Aviv University, Artem Khyzha Tel Aviv University, Constantin Enea University of Paris / IRIF / CNRS, Adam Morrison Tel Aviv University, Aleksandar Nanevski IMDEA Software Institute, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University Link to publication DOI Media Attached
02:00 20m Talk		How Do Programmers Use Unsafe Rust? SPLASH OOPSLA Vytautas Astrauskas ETH Zurich, Christoph Matheja ETH Zurich, Federico Poli ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia Link to publication DOI Media Attached

02:20 - 03:00	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	W-5SPLASH OOPSLA at SPLASH-I Chair(s): Filip Křikava Czech Technical University, Nengkun Yu University of Technology Sydney

03:00 20m Talk		A Model for Detecting Faults in Build Specifications SPLASH OOPSLA Thodoris Sotiropoulos Athens University of Economics and Business, Stefanos Chaliasos Athens University of Economics and Business, Dimitris Mitropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business Link to publication DOI Pre-print Media Attached
03:20 20m Talk		Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 SPLASH OOPSLA Azalea Raad Imperial College London, Ori Lahav Tel Aviv University, Viktor Vafeiadis MPI-SWS Link to publication DOI Media Attached
03:40 20m Talk		Structure Interpretation of Text Formats SPLASH OOPSLA Sumit Gulwani Microsoft, Vu Le Microsoft, Arjun Radhakrishna Microsoft, Ivan Radiček Microsoft, Mohammad Raza Microsoft Link to publication DOI Media Attached
04:00 20m Talk		Statically Verified Refinements for Multiparty Protocols SPLASH OOPSLA Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Raymond Hu University of Hertfordshire, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London Link to publication DOI Pre-print Media Attached

04:20 - 05:00	Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	W-6SPLASH OOPSLA at SPLASH-I Chair(s): Jan Vitek Northeastern University / Czech Technical University, John Wickerson Imperial College London

05:00 20m Talk		Programming with a Read-Eval-Synth Loop SPLASH OOPSLA Hila Peleg University of California at San Diego, Roi Gabay Technion, Shachar Itzhaky Technion, Eran Yahav Technion Link to publication DOI Media Attached
05:20 20m Talk		Sound Garbage Collection for C using Pointer Provenance SPLASH OOPSLA Subarno Banerjee University of Michigan, David Devecsery Georgia Institute of Technology, Peter M. Chen University of Michigan, Satish Narayanasamy University of Michigan Link to publication DOI Media Attached
05:40 20m Talk		Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements SPLASH OOPSLA Guilherme Vieira Leobas Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached
06:00 20m Talk		CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files SPLASH OOPSLA Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University Link to publication DOI Media Attached

06:20 - 07:00	Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I

06:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

07:00 - 08:20	RSPLASH Keynotes at SPLASH-I +12h Chair(s): David Grove IBM Research

07:00 80m Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research SPLASH Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign 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)

09:00 - 10:20	R-2SPLASH OOPSLA at SPLASH-I +12h Chair(s): Sheng Chen University of Louisiana at Lafayette, Adrian Sampson Cornell University

09:00 20m Talk		Automatic and Efficient Variability-Aware Lifting of Functional Programs SPLASH OOPSLA Ramy Shahin University of Toronto, Marsha Chechik University of Toronto Link to publication DOI Pre-print Media Attached
09:20 20m Talk		Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs SPLASH OOPSLA Alejandro Gómez-Londoño Chalmers University of Technology, Johannes Åman Pohjola Data61 at CSIRO / UNSW, Hira Taqdees Syeda Chalmers University of Technology, Magnus O. Myreen Chalmers University of Technology, Yong Kiam Tan Carnegie Mellon University Link to publication DOI Media Attached
09:40 20m Talk		Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell SPLASH OOPSLA Yiyun Liu University of Maryland at College Park, James Parker University of Maryland at College Park, Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California at Santa Cruz, Michael Hicks University of Maryland at College Park, Niki Vazou IMDEA Software Institute Link to publication DOI Media Attached
10:00 20m Talk		Towards a Formal Foundation of Intermittent Computing SPLASH OOPSLA Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University Link to publication DOI Media Attached

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)

11:00 - 12:20	R-3SPLASH OOPSLA at SPLASH-I +12h Chair(s): Michael Coblenz University of Maryland at College Park, Marieke Huisman University of Twente

11:00 20m Talk		Compiling Symbolic Execution with Staging and Algebraic Effects SPLASH OOPSLA Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University Link to publication DOI Pre-print Media Attached
11:20 20m Talk		Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs SPLASH OOPSLA Gushu Li University of California at Santa Barbara, Li Zhou Max Planck Institute for Security and Privacy, Nengkun Yu University of Technology Sydney, Yufei Ding University of California at Santa Barbara, Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan Xie University of California at Santa Barbara Link to publication DOI Pre-print Media Attached
11:40 20m Talk		Satune: Synthesizing Efficient SAT Encoders SPLASH OOPSLA Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine Link to publication DOI Media Attached
12:00 20m Talk		The Anchor Verifier for Blocking and Non-blocking Concurrent Software SPLASH OOPSLA Cormac Flanagan University of California at Santa Cruz, Stephen N. Freund Williams College Link to publication DOI Media Attached

12:20 - 13:00	Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

12:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

13:00 - 14:20	R-4SPLASH OOPSLA at SPLASH-I +12h Chair(s): Robert Rand University of Chicago, Rohan Padhye Carnegie Mellon University

13:00 20m Talk		Assertion-Based Optimization of Quantum Programs SPLASH OOPSLA Thomas Häner ETH Zurich, Torsten Hoefler ETH Zurich, Matthias Troyer Microsoft Link to publication DOI Media Attached
13:20 20m Talk		Dataflow-Based Pruning for Speeding up Superoptimization SPLASH OOPSLA Manasij Mukherjee University of Utah, Pranav Kant University of Utah, Zhengyang Liu University of Utah, John Regehr University of Utah Link to publication DOI Media Attached
13:40 20m Talk		Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation SPLASH OOPSLA Giulia Meuli EPFL, Mathias Soeken Microsoft, Martin Roetteler Microsoft, Thomas Häner Microsoft Link to publication DOI Media Attached
14:00 20m Talk		Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization SPLASH OOPSLA Anders Møller Aarhus University, Oskar Haarklou Veileborg Aarhus University Link to publication DOI Pre-print 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)

15:00 - 16:20	R-5SPLASH OOPSLA at SPLASH-I +12h Chair(s): Anitha Gollamudi Harvard University, Alex Potanin Victoria University of Wellington

15:00 20m Talk		Precise Static Modeling of Ethereum “Memory” SPLASH OOPSLA Sifis Lagouvardos University of Athens, Neville Grech University of Malta, Ilias Tsatiris University of Athens, Yannis Smaragdakis University of Athens Link to publication DOI Media Attached
15:20 20m Talk		Perfectly Parallel Fairness Certification of Neural Networks SPLASH OOPSLA Caterina Urban École normale supérieure, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys, Fuyuan Zhang MPI-SWS Link to publication DOI Media Attached
15:40 20m Talk		Taming Callbacks for Smart Contract Modularity SPLASH OOPSLA Elvira Albert Complutense University of Madrid, Shelly Grossman Tel Aviv University, Noam Rinetzky Tel Aviv University, Clara Rodríguez-Núñez Complutense University of Madrid, Albert Rubio Complutense University of Madrid, Mooly Sagiv Tel Aviv University Link to publication DOI Media Attached
16:00 20m Talk		Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution SPLASH OOPSLA Shengjian Guo Baidu Security, Yueqi Chen Pennsylvania State University, Jiyong Yu University of Illinois at Urbana-Champaign, Meng Wu Ant Group, Zhiqiang Zuo Nanjing University, Peng Li Baidu Security, Yueqiang Cheng Baidu Security, Huibo Wang Baidu Security 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	R-6SPLASH OOPSLA at SPLASH-I +12h Chair(s): Filip Niksic Google, Adam Welc Uber Technologies

17:00 20m Talk		Adding Interactive Visual Syntax to Textual Code SPLASH OOPSLA Leif Andersen Northeastern University, Michael Ballantyne Northeastern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached
17:20 20m Talk		Deductive Optimization of Relational Data Storage SPLASH OOPSLA Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology Link to publication DOI Media Attached
17:40 20m Talk		Inter-theory Dependency Analysis for SMT String Solvers SPLASH OOPSLA Minh-Thai Trinh Advanced Digital Sciences Center, Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore Link to publication DOI Media Attached
18:00 20m Talk		Macros for Domain-Specific Languages SPLASH OOPSLA Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached

18:20 - 19:00	Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

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

19:00 - 20:20	RSPLASH Keynotes at SPLASH-I Chair(s): David Grove IBM Research

19:00 80m Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research SPLASH Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign 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)

21:00 - 22:20	R-2SPLASH OOPSLA at SPLASH-I Chair(s): Sheng Chen University of Louisiana at Lafayette, John Peter Campora University of Louisiana at Lafayette

21:00 20m Talk		Automatic and Efficient Variability-Aware Lifting of Functional Programs SPLASH OOPSLA Ramy Shahin University of Toronto, Marsha Chechik University of Toronto Link to publication DOI Pre-print Media Attached
21:20 20m Talk		Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs SPLASH OOPSLA Alejandro Gómez-Londoño Chalmers University of Technology, Johannes Åman Pohjola Data61 at CSIRO / UNSW, Hira Taqdees Syeda Chalmers University of Technology, Magnus O. Myreen Chalmers University of Technology, Yong Kiam Tan Carnegie Mellon University Link to publication DOI Media Attached
21:40 20m Talk		Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell SPLASH OOPSLA Yiyun Liu University of Maryland at College Park, James Parker University of Maryland at College Park, Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California at Santa Cruz, Michael Hicks University of Maryland at College Park, Niki Vazou IMDEA Software Institute Link to publication DOI Media Attached
22:00 20m Talk		Towards a Formal Foundation of Intermittent Computing SPLASH OOPSLA Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University Link to publication DOI Media Attached

22:20 - 23:00	Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I

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

23:00 - 00:20	R-3SPLASH OOPSLA at SPLASH-I Chair(s): Pranav Kant University of Utah, Xiangzhe Xu Nanjing University

23:00 20m Talk		Compiling Symbolic Execution with Staging and Algebraic Effects SPLASH OOPSLA Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University Link to publication DOI Pre-print Media Attached
23:20 20m Talk		Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs SPLASH OOPSLA Gushu Li University of California at Santa Barbara, Li Zhou Max Planck Institute for Security and Privacy, Nengkun Yu University of Technology Sydney, Yufei Ding University of California at Santa Barbara, Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan Xie University of California at Santa Barbara Link to publication DOI Pre-print Media Attached
23:40 20m Talk		Satune: Synthesizing Efficient SAT Encoders SPLASH OOPSLA Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine Link to publication DOI Media Attached
00:00 20m Talk		The Anchor Verifier for Blocking and Non-blocking Concurrent Software SPLASH OOPSLA Cormac Flanagan University of California at Santa Cruz, Stephen N. Freund Williams College Link to publication DOI Media Attached

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

00:20 - 01:00	Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I

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

01:00 - 02:20	R-4SPLASH OOPSLA at SPLASH-I Chair(s): Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Gushu Li University of California at Santa Barbara

01:00 20m Talk		Assertion-Based Optimization of Quantum Programs SPLASH OOPSLA Thomas Häner ETH Zurich, Torsten Hoefler ETH Zurich, Matthias Troyer Microsoft Link to publication DOI Media Attached
01:20 20m Talk		Dataflow-Based Pruning for Speeding up Superoptimization SPLASH OOPSLA Manasij Mukherjee University of Utah, Pranav Kant University of Utah, Zhengyang Liu University of Utah, John Regehr University of Utah Link to publication DOI Media Attached
01:40 20m Talk		Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation SPLASH OOPSLA Giulia Meuli EPFL, Mathias Soeken Microsoft, Martin Roetteler Microsoft, Thomas Häner Microsoft Link to publication DOI Media Attached
02:00 20m Talk		Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization SPLASH OOPSLA Anders Møller Aarhus University, Oskar Haarklou Veileborg Aarhus University Link to publication DOI Pre-print Media Attached

02:20 - 03:00	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	R-5SPLASH OOPSLA at SPLASH-I Chair(s): Jan Vitek Northeastern University / Czech Technical University

03:00 20m Talk		Precise Static Modeling of Ethereum “Memory” SPLASH OOPSLA Sifis Lagouvardos University of Athens, Neville Grech University of Malta, Ilias Tsatiris University of Athens, Yannis Smaragdakis University of Athens Link to publication DOI Media Attached
03:20 20m Talk		Perfectly Parallel Fairness Certification of Neural Networks SPLASH OOPSLA Caterina Urban École normale supérieure, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys, Fuyuan Zhang MPI-SWS Link to publication DOI Media Attached
03:40 20m Talk		Taming Callbacks for Smart Contract Modularity SPLASH OOPSLA Elvira Albert Complutense University of Madrid, Shelly Grossman Tel Aviv University, Noam Rinetzky Tel Aviv University, Clara Rodríguez-Núñez Complutense University of Madrid, Albert Rubio Complutense University of Madrid, Mooly Sagiv Tel Aviv University Link to publication DOI Media Attached
04:00 20m Talk		Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution SPLASH OOPSLA Shengjian Guo Baidu Security, Yueqi Chen Pennsylvania State University, Jiyong Yu University of Illinois at Urbana-Champaign, Meng Wu Ant Group, Zhiqiang Zuo Nanjing University, Peng Li Baidu Security, Yueqiang Cheng Baidu Security, Huibo Wang Baidu Security Link to publication DOI Media Attached

04:20 - 05:00	Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	R-6SPLASH OOPSLA at SPLASH-I Chair(s): Dominik Winterer ETH Zurich, Eelco Visser Delft University of Technology

05:00 20m Talk		Adding Interactive Visual Syntax to Textual Code SPLASH OOPSLA Leif Andersen Northeastern University, Michael Ballantyne Northeastern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached
05:20 20m Talk		Deductive Optimization of Relational Data Storage SPLASH OOPSLA Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology Link to publication DOI Media Attached
05:40 20m Talk		Inter-theory Dependency Analysis for SMT String Solvers SPLASH OOPSLA Minh-Thai Trinh Advanced Digital Sciences Center, Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore Link to publication DOI Media Attached
06:00 20m Talk		Macros for Domain-Specific Languages SPLASH OOPSLA Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached

06:20 - 07:00	Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I

06:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

07:00 - 08:20	F-1ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Diomidis Spinellis Athens University of Economics and Business, John Wickerson Imperial College London

07:00 20m Talk		DiffStream: Differential Output Testing for Stream Processing Programs SPLASH OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached
07:20 20m Talk		Pomsets with Preconditions: A Simple Model of Relaxed Memory SPLASH OOPSLA Radha Jagadeesan DePaul University, Alan Jeffrey Mozilla Research, James Riely DePaul University Link to publication DOI Pre-print Media Attached
07:40 20m Talk		StreamQL: A Query Language for Processing Streaming Time Series SPLASH OOPSLA Lingkun Kong Rice University, Konstantinos Mamouras Rice University Link to publication DOI Media Attached
08:00 20m Talk		Foundations of Empirical Memory Consistency Testing SPLASH OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University 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)

09:00 - 10:20	F-2ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Aviral Goel Northeastern University, Reuben Rowe University College London

09:00 20m Talk		A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra SPLASH OOPSLA Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University Link to publication DOI Pre-print Media Attached File Attached
09:20 20m Talk		Resolution as Intersection Subtyping via Modus Ponens SPLASH OOPSLA Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag Link to publication DOI Media Attached
09:40 20m Talk		Guided Linking: Dynamic Linking without the Costs SPLASH OOPSLA Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Media Attached
10:00 20m Talk		Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic SPLASH OOPSLA Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Link to publication DOI Media Attached

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)

11:00 - 12:20	F-3ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Stefan Marr University of Kent, Reuben Rowe University College London

11:00 20m Talk		Contextual Dispatch for Function Specialization SPLASH OOPSLA Olivier Flückiger Northeastern University, Guido Chari Asapp, Ming-Ho Yee Northeastern University, Jan Ječmen Czech Technical University, Jakob Hain Northeastern University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached
11:20 20m Talk		Fixpoints for the Masses: Programming with First-Class Datalog Constraints SPLASH OOPSLA Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo Link to publication DOI Media Attached
11:40 20m Talk		Verifying and Improving Halide’s Term Rewriting System with Program Synthesis SPLASH OOPSLA Julie L. Newcomb University of Washington, Andrew Adams Adobe Research, Steven Johnson Google, Rastislav Bodík University of Washington, Shoaib Kamil Adobe Research Link to publication DOI Media Attached
12:00 20m Talk		Polymorphic Types and Effects with Boolean Unification SPLASH OOPSLA Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University Link to publication DOI Media Attached

12:20 - 13:00	Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h

12:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

13:00 - 14:20	F-4ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Louis Mandel IBM Research, USA, Ruben Martins Carnegie Mellon University

13:00 20m Talk		A Modular Cost Analysis for Probabilistic Programs SPLASH OOPSLA Martin Avanzini Inria, Georg Moser University of Innsbruck, Michael Schaper University of Innsbruck Link to publication DOI Media Attached
13:20 20m Talk		Interactive Synthesis of Temporal Specifications from Examples and Natural Language SPLASH OOPSLA Ivan Gavran MPI-SWS, Eva Darulova MPI-SWS, Rupak Majumdar MPI-SWS Link to publication DOI Media Attached
13:40 20m Talk		Scaling Exact Inference for Discrete Probabilistic Programs SPLASH OOPSLA Steven Holtzen University of California at Los Angeles, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles Link to publication DOI Pre-print Media Attached
14:00 20m Talk		Digging for Fold: Synthesis-Aided API Discovery for Haskell SPLASH OOPSLA Michael B. James University of California at San Diego, Zheng Guo University of California, San Diego, Ziteng Wang University of California at San Diego, Shivani Doshi University of California at San Diego, Hila Peleg University of California at San Diego, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego 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)

15:00 - 16:20	F-5ASPLASH OOPSLA at SPLASH-I +12h Chair(s): Jonathan Aldrich Carnegie Mellon University, David Grove IBM Research

15:00 20m Talk		Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism SPLASH OOPSLA Jonathan Immanuel Brachthäuser EPFL, Philipp Schuster University of Tübingen, Klaus Ostermann University of Tübingen Link to publication DOI Pre-print Media Attached
15:20 20m Talk		Fast Linear Programming through Transprecision Computing on Small and Sparse Data SPLASH OOPSLA Tobias Grosser University of Edinburgh, Theodoros Theodoridis ETH Zurich, Maximilian Falkenstein ETH Zurich, Arjun Pitchanathan IIIT Hyderabad, Michael Kruse Argonne National Laboratory, Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich, Torsten Hoefler ETH Zurich 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	FSPLASH Keynotes at SPLASH-I +12h Chair(s): Stephen Kell University of Kent, Didier Verna EPITA / LRDE

17:00 80m Keynote		Towards Building Ethically-Sound Data-Driven Software SPLASH Keynotes Brittany Johnson George Mason University Link to publication

18:20 - 19:00	Cocktails in RioSPLASH Closing at SPLASH-I +12h

18:20 40m Day closing		Closing Session SPLASH Closing G: Hridesh Rajan Iowa State University, USA

19:00 - 20:20	F-1ASPLASH OOPSLA at SPLASH-I Chair(s): Tongping Liu University of Massachusetts at Amherst, Azalea Raad Imperial College London

19:00 20m Talk		DiffStream: Differential Output Testing for Stream Processing Programs SPLASH OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached
19:20 20m Talk		Pomsets with Preconditions: A Simple Model of Relaxed Memory SPLASH OOPSLA Radha Jagadeesan DePaul University, Alan Jeffrey Mozilla Research, James Riely DePaul University Link to publication DOI Pre-print Media Attached
19:40 20m Talk		StreamQL: A Query Language for Processing Streaming Time Series SPLASH OOPSLA Lingkun Kong Rice University, Konstantinos Mamouras Rice University Link to publication DOI Media Attached
20:00 20m Talk		Foundations of Empirical Memory Consistency Testing SPLASH OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University 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)

21:00 - 22:20	F-2ASPLASH OOPSLA at SPLASH-I Chair(s): Pranav Kant University of Utah, Atsushi Igarashi Kyoto University, Japan

21:00 20m Talk		A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra SPLASH OOPSLA Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University Link to publication DOI Pre-print Media Attached File Attached
21:20 20m Talk		Resolution as Intersection Subtyping via Modus Ponens SPLASH OOPSLA Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag Link to publication DOI Media Attached
21:40 20m Talk		Guided Linking: Dynamic Linking without the Costs SPLASH OOPSLA Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Media Attached
22:00 20m Talk		Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic SPLASH OOPSLA Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Link to publication DOI Media Attached

22:20 - 23:00	Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I

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

23:00 - 00:20	F-3ASPLASH OOPSLA at SPLASH-I Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Ramy Shahin University of Toronto

23:00 20m Talk		Contextual Dispatch for Function Specialization SPLASH OOPSLA Olivier Flückiger Northeastern University, Guido Chari Asapp, Ming-Ho Yee Northeastern University, Jan Ječmen Czech Technical University, Jakob Hain Northeastern University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached
23:20 20m Talk		Fixpoints for the Masses: Programming with First-Class Datalog Constraints SPLASH OOPSLA Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo Link to publication DOI Media Attached
23:40 20m Talk		Verifying and Improving Halide’s Term Rewriting System with Program Synthesis SPLASH OOPSLA Julie L. Newcomb University of Washington, Andrew Adams Adobe Research, Steven Johnson Google, Rastislav Bodík University of Washington, Shoaib Kamil Adobe Research Link to publication DOI Media Attached
00:00 20m Talk		Polymorphic Types and Effects with Boolean Unification SPLASH OOPSLA Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University Link to publication DOI Media Attached

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

00:20 - 01:00	Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I

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

01:00 - 02:20	F-4ASPLASH OOPSLA at SPLASH-I Chair(s): Hidehiko Masuhara Tokyo Institute of Technology

01:00 20m Talk		A Modular Cost Analysis for Probabilistic Programs SPLASH OOPSLA Martin Avanzini Inria, Georg Moser University of Innsbruck, Michael Schaper University of Innsbruck Link to publication DOI Media Attached
01:20 20m Talk		Interactive Synthesis of Temporal Specifications from Examples and Natural Language SPLASH OOPSLA Ivan Gavran MPI-SWS, Eva Darulova MPI-SWS, Rupak Majumdar MPI-SWS Link to publication DOI Media Attached
01:40 20m Talk		Scaling Exact Inference for Discrete Probabilistic Programs SPLASH OOPSLA Steven Holtzen University of California at Los Angeles, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles Link to publication DOI Pre-print Media Attached
02:00 20m Talk		Digging for Fold: Synthesis-Aided API Discovery for Haskell SPLASH OOPSLA Michael B. James University of California at San Diego, Zheng Guo University of California, San Diego, Ziteng Wang University of California at San Diego, Shivani Doshi University of California at San Diego, Hila Peleg University of California at San Diego, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI Media Attached

02:20 - 03:00	Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers SPLASH Meet The Speakers (MTS)

03:00 - 04:20	F-5ASPLASH OOPSLA at SPLASH-I Chair(s): Alex Potanin Victoria University of Wellington

03:00 20m Talk		Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism SPLASH OOPSLA Jonathan Immanuel Brachthäuser EPFL, Philipp Schuster University of Tübingen, Klaus Ostermann University of Tübingen Link to publication DOI Pre-print Media Attached
03:20 20m Talk		Fast Linear Programming through Transprecision Computing on Small and Sparse Data SPLASH OOPSLA Tobias Grosser University of Edinburgh, Theodoros Theodoridis ETH Zurich, Maximilian Falkenstein ETH Zurich, Arjun Pitchanathan IIIT Hyderabad, Michael Kruse Argonne National Laboratory, Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich, Torsten Hoefler ETH Zurich Link to publication DOI Media Attached

04:20 - 05:00	Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	FSPLASH Keynotes at SPLASH-I Chair(s): Stephen Kell University of Kent, Didier Verna EPITA / LRDE

05:00 80m Keynote		Towards Building Ethically-Sound Data-Driven Software SPLASH Keynotes Brittany Johnson George Mason University Link to publication

06:20 - 07:00	Dinner in DelhiSPLASH Closing at SPLASH-I

06:20 40m Day closing		Closing Session SPLASH Closing G: Hridesh Rajan Iowa State University, USA

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


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I	SPLASH Opening Opening Session				SPLASH Keynotes S												SPLASH Posters Breakfast in Chicago								ECOOP Research Papers S-2																SPLASH PLMW Breakfast in Seattle (PLMW AMA)								ECOOP Research Papers S-3																SPLASH Meet The Speakers (MTS) Breakfast in Wellington								ECOOP Research Papers S-4																SPLASH Meet The Speakers (MTS) Cocktails in Paris								ECOOP Research Papers S-5																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								ECOOP Research Papers S-6																SPLASH Meet The Speakers (MTS) Cocktails in Rio								SPLASH Opening Opening Session				SPLASH Keynotes S												SPLASH Posters Cocktails in New York								ECOOP Research Papers S-2																SPLASH Meet The Speakers (MTS) Lunch in Tokyo								ECOOP Research Papers S-3

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I					SPLASH PLMW Breakfast in Paris (PLMW AMA)								ECOOP Research Papers S-4																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								ECOOP Research Papers S-5																SPLASH Meet The Speakers (MTS) Dinner in Beijing								ECOOP Research Papers S-6																SPLASH Meet The Speakers (MTS) Dinner in Delhi								ECOOP Research Papers M-1																SPLASH Meet The Speakers (MTS) Breakfast in Chicago								SPLASH Keynotes M																SPLASH Posters Breakfast in Seattle								ECOOP Research Papers M-3																SPLASH Meet The Speakers (MTS) Breakfast in Wellington								ECOOP Research Papers M-4																SPLASH Meet The Speakers (MTS) Cocktails in Paris								SPLASH OOPSLA M-5																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								SPLASH OOPSLA M-6																SPLASH Meet The Speakers (MTS) Cocktails in Rio								ECOOP Research Papers M-1																SPLASH Meet The Speakers (MTS) Cocktails in New York								SPLASH Keynotes M																SPLASH Posters Lunch in Tokyo								ECOOP Research Papers M-3

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I					SPLASH Meet The Speakers (MTS) Breakfast in Paris								ECOOP Research Papers M-4																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								SPLASH OOPSLA M-5																SPLASH Meet The Speakers (MTS) Dinner in Beijing								SPLASH OOPSLA M-6																SPLASH Meet The Speakers (MTS) Dinner in Delhi								SPLASH Keynotes T																SPLASH Meet The Speakers (MTS) Breakfast in Chicago								SPLASH OOPSLA T-2																SPLASH Meet The Speakers (MTS) Breakfast in Seattle								SPLASH OOPSLA T-3																SPLASH Student Research Competition Breakfast in Wellington								SPLASH OOPSLA T-4																SPLASH Meet The Speakers (MTS) Cocktails in Paris								SPLASH OOPSLA T-5																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								SPLASH OOPSLA T-6A																SPLASH Meet The Speakers (MTS) Cocktails in Rio								SPLASH Keynotes T																SPLASH Meet The Speakers (MTS) Cocktails in New York								SPLASH OOPSLA T-2																SPLASH Meet The Speakers (MTS) Lunch in Tokyo								SPLASH OOPSLA T-3

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I					SPLASH Student Research Competition Breakfast in Paris								SPLASH OOPSLA T-4																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								SPLASH OOPSLA T-5																SPLASH Meet The Speakers (MTS) Dinner in Bejing								SPLASH OOPSLA T-6A																SPLASH Meet The Speakers (MTS) Dinner in Delhi								SPLASH OOPSLA W-1																SPLASH Awards Breakfast in Chicago								SPLASH Keynotes W																SPLASH Meet The Speakers (MTS) Breakfast in Seattle								SPLASH OOPSLA W-3																SPLASH Meet The Speakers (MTS) Breakfast in Wellington								SPLASH OOPSLA W-4																SPLASH Meet The Speakers (MTS) Cocktails in Paris								SPLASH OOPSLA W-5																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								SPLASH OOPSLA W-6																SPLASH Meet The Speakers (MTS) Cocktails in Rio								SPLASH OOPSLA W-1																SPLASH Awards Cocktails in New York								SPLASH Keynotes W																SPLASH Meet The Speakers (MTS) Lunch in Tokyo								SPLASH OOPSLA W-3

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I					SPLASH Meet The Speakers (MTS) Breakfast in Paris								SPLASH OOPSLA W-4																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								SPLASH OOPSLA W-5																SPLASH Meet The Speakers (MTS) Dinner in Beijing								SPLASH OOPSLA W-6																SPLASH Meet The Speakers (MTS) Dinner in Delhi								SPLASH Keynotes R																SPLASH Meet The Speakers (MTS) Breakfast in Chicago								SPLASH OOPSLA R-2																SPLASH Meet The Speakers (MTS) Breakfast in Seattle								SPLASH OOPSLA R-3																SPLASH Meet The Speakers (MTS) Breakfast in Wellington								SPLASH OOPSLA R-4																SPLASH Meet The Speakers (MTS) Cocktails in Paris								SPLASH OOPSLA R-5																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								SPLASH OOPSLA R-6																SPLASH Meet The Speakers (MTS) Cocktails in Rio								SPLASH Keynotes R																SPLASH Meet The Speakers (MTS) Cocktails in New York								SPLASH OOPSLA R-2																SPLASH Meet The Speakers (MTS) Lunch in Tokyo								SPLASH OOPSLA R-3

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-I					SPLASH Meet The Speakers (MTS) Breakfast in Paris								SPLASH OOPSLA R-4																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								SPLASH OOPSLA R-5																SPLASH Meet The Speakers (MTS) Dinner in Beijing								SPLASH OOPSLA R-6																SPLASH Meet The Speakers (MTS) Dinner in Delhi								SPLASH OOPSLA F-1A																SPLASH Meet The Speakers (MTS) Breakfast in Chicago								SPLASH OOPSLA F-2A																SPLASH Meet The Speakers (MTS) Breakfast in Seattle								SPLASH OOPSLA F-3A																SPLASH Meet The Speakers (MTS) Breakfast in Wellington								SPLASH OOPSLA F-4A																SPLASH Meet The Speakers (MTS) Cocktails in Paris								SPLASH OOPSLA F-5A																SPLASH Meet The Speakers (MTS) Breakfast in Seoul								SPLASH Keynotes F																SPLASH Closing Cocktails in Rio								SPLASH OOPSLA F-1A																SPLASH Meet The Speakers (MTS) Cocktails in New York								SPLASH OOPSLA F-2A																SPLASH Meet The Speakers (MTS) Lunch in Tokyo								SPLASH OOPSLA F-3A

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


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30
SPLASH-I					SPLASH Meet The Speakers (MTS) Breakfast in Paris								SPLASH OOPSLA F-4A																SPLASH Meet The Speakers (MTS) Cocktails in Sydney								SPLASH OOPSLA F-5A																SPLASH Meet The Speakers (MTS) Dinner in Beijing								SPLASH Keynotes F																SPLASH Closing Dinner in Delhi

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


Room	7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	SPLASH Opening Opening Session 07:00 - 07:20				SPLASH KeynotesAMAsupported by Facebook Fitzcarraldo — or How to Hack Academia to Build Stuff 07:20 - 08:20												SPLASH Posters Posters Session 1 08:20 - 09:00								ECOOP Research PapersSCICO Journal-First Abstracting gradual references 09:00 - 09:20				ECOOP Research Papers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers 09:20 - 09:40				ECOOP Research Papers Blame for Null 09:40 - 10:00				ECOOP Research Papers Perfect is the Enemy of Good: Best-Effort Program Synthesis 10:00 - 10:20				SPLASH PLMW Ask Me Anything: Amal Ahmed 10:20 - 11:00								ECOOP Research Papers Flow-Sensitive Type-Based Heap Cloning 11:00 - 11:20				ECOOP Research Papers Sound regular corecursion in coFJ 11:20 - 11:40				ECOOP Research Papers Value Partitioning: A Lightweight Approach to Relational Static Analysi ... 11:40 - 12:00				ECOOP Research Papers Row and Bounded Polymorphism via Disjoint Polymorphism 12:00 - 12:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 12:20 - 13:00								ECOOP Research Papers K-LLVM: A Relatively Complete Semantics of LLVM IR 13:00 - 13:20				ECOOP Research Papers A Type-Directed Operational Semantics for a Calculus with a Merge Operator 13:20 - 13:40				ECOOP Research PapersSCICO Journal-First A big step from finite to infinite computations 13:40 - 14:00				ECOOP Research Papers Static Type Analysis by Abstract Interpretation of Python Programs 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								ECOOP Research Papers Model-View-Update-Communicate: Session Types meet the Elm Architecture 15:00 - 15:20				ECOOP Research Papers Putting Randomized Compiler Testing into Production 15:20 - 15:40				ECOOP Research Papers Owicki-Gries Reasoning for C11 RAR 15:40 - 16:00				ECOOP Research Papers Test-Case Reduction via Test-Case Generation: Insights From the Hypothe ... 16:00 - 16:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								ECOOP Research Papers Static Race Detection and Mutex Safety and Liveness for Go Programs 17:00 - 17:20				ECOOP Research Papers Reference immutability for DOT 17:20 - 17:40				ECOOP Research Papers Multiparty Session Programming with Global Protocol Combinators 17:40 - 18:00				ECOOP Research Papers Scala with Explicit Nulls 18:00 - 18:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 18:20 - 19:00								SPLASH Opening Opening Session 19:00 - 19:20				SPLASH KeynotesAMAsupported by Facebook Fitzcarraldo — or How to Hack Academia to Build Stuff 19:20 - 20:20												SPLASH Posters Posters Session 1 20:20 - 21:00								ECOOP Research PapersSCICO Journal-First Abstracting gradual references 21:00 - 21:20				ECOOP Research Papers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers 21:20 - 21:40				ECOOP Research Papers Blame for Null 21:40 - 22:00				ECOOP Research Papers Perfect is the Enemy of Good: Best-Effort Program Synthesis 22:00 - 22:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 22:20 - 23:00								ECOOP Research Papers Flow-Sensitive Type-Based Heap Cloning 23:00 - 23:20				ECOOP Research Papers Sound regular corecursion in coFJ 23:20 - 23:40				ECOOP Research Papers Value Partitioning: A Lightweight Approach to Relational Static Analysi ... 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	ECOOP Research Papers Row and Bounded Polymorphism via Disjoint Polymorphism 00:00 - 00:20				SPLASH PLMW Ask Me Anything: Sriram Rajamani 00:20 - 01:00								ECOOP Research Papers K-LLVM: A Relatively Complete Semantics of LLVM IR 01:00 - 01:20				ECOOP Research Papers A Type-Directed Operational Semantics for a Calculus with a Merge Operator 01:20 - 01:40				ECOOP Research PapersSCICO Journal-First A big step from finite to infinite computations 01:40 - 02:00				ECOOP Research Papers Static Type Analysis by Abstract Interpretation of Python Programs 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								ECOOP Research Papers Model-View-Update-Communicate: Session Types meet the Elm Architecture 03:00 - 03:20				ECOOP Research Papers Putting Randomized Compiler Testing into Production 03:20 - 03:40				ECOOP Research Papers Owicki-Gries Reasoning for C11 RAR 03:40 - 04:00				ECOOP Research Papers Test-Case Reduction via Test-Case Generation: Insights From the Hypothe ... 04:00 - 04:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								ECOOP Research Papers Static Race Detection and Mutex Safety and Liveness for Go Programs 05:00 - 05:20				ECOOP Research Papers Reference immutability for DOT 05:20 - 05:40				ECOOP Research Papers Multiparty Session Programming with Global Protocol Combinators 05:40 - 06:00				ECOOP Research Papers Scala with Explicit Nulls 06:00 - 06:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 06:20 - 07:00								ECOOP Research Papers A Semantics for the Essence of React 07:00 - 07:20				ECOOP Research Papers Reconciling Event Structures with Modern Multiprocessors 07:20 - 07:40				ECOOP Research Papers A Framework for Resource Dependent EDSLs in a Dependently Typed Language 07:40 - 08:00				ECOOP Research PapersSCICO Journal-First Reshape your layouts, not your programs: A safe language extension for ... 08:00 - 08:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 08:20 - 09:00								SPLASH KeynotesAMA Catching More Bugs with Fewer False Alarms 09:00 - 10:20																SPLASH Posters Posters Session 2 10:20 - 11:00								ECOOP Research Papers Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor ... 11:00 - 11:20				ECOOP Research Papers Lifting Sequential Effects to Control Operators 11:20 - 11:40				ECOOP Research Papers The Duality of Subtyping 11:40 - 12:00				ECOOP Research Papers Data Consistency in Transactional Storage Systems: A Centralised Semantics 12:00 - 12:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 12:20 - 13:00								ECOOP Research Papers Designing with Static Capabilities and Effects 13:00 - 13:20				ECOOP Research Papers A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Appl ... 13:20 - 13:40				ECOOP Research Papers Safe, Flexible Aliasing with Deferred Borrows 13:40 - 14:00				ECOOP Research Papers Static Analysis of Shape in TensorFlow Programs 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								SPLASH OOPSLA CAMP: Cost-Aware Multiparty Session Protocols 15:00 - 15:20				SPLASH OOPSLA Counterexample-Guided Correlation Algorithm for Translation Validation 15:20 - 15:40				SPLASH OOPSLA Multiparty Motion Coordination: From Choreographies to Robotics Programs 15:40 - 16:00				SPLASH OOPSLA On the Unusual Effectiveness of Type-Aware Operator Mutations for Testi ... 16:00 - 16:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								SPLASH OOPSLA Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, A ... 17:00 - 17:20				SPLASH OOPSLA Scalable and Serializable Networked Multi-actor Programming 17:20 - 17:40				SPLASH OOPSLA Designing Types for R, Empirically 17:40 - 18:00				SPLASH OOPSLA Geometry Types for Graphics Programming 18:00 - 18:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 18:20 - 19:00								ECOOP Research Papers A Semantics for the Essence of React 19:00 - 19:20				ECOOP Research Papers Reconciling Event Structures with Modern Multiprocessors 19:20 - 19:40				ECOOP Research Papers A Framework for Resource Dependent EDSLs in a Dependently Typed Language 19:40 - 20:00				ECOOP Research PapersSCICO Journal-First Reshape your layouts, not your programs: A safe language extension for ... 20:00 - 20:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 20:20 - 21:00								SPLASH KeynotesAMA Catching More Bugs with Fewer False Alarms 21:00 - 22:20																SPLASH Posters Posters Session 2 22:20 - 23:00								ECOOP Research Papers Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor ... 23:00 - 23:20				ECOOP Research Papers Lifting Sequential Effects to Control Operators 23:20 - 23:40				ECOOP Research Papers The Duality of Subtyping 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	ECOOP Research Papers Data Consistency in Transactional Storage Systems: A Centralised Semantics 00:00 - 00:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 00:20 - 01:00								ECOOP Research Papers Designing with Static Capabilities and Effects 01:00 - 01:20				ECOOP Research Papers A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Appl ... 01:20 - 01:40				ECOOP Research Papers Safe, Flexible Aliasing with Deferred Borrows 01:40 - 02:00				ECOOP Research Papers Static Analysis of Shape in TensorFlow Programs 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								SPLASH OOPSLA CAMP: Cost-Aware Multiparty Session Protocols 03:00 - 03:20				SPLASH OOPSLA Counterexample-Guided Correlation Algorithm for Translation Validation 03:20 - 03:40				SPLASH OOPSLA Multiparty Motion Coordination: From Choreographies to Robotics Programs 03:40 - 04:00				SPLASH OOPSLA On the Unusual Effectiveness of Type-Aware Operator Mutations for Testi ... 04:00 - 04:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								SPLASH OOPSLA Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, A ... 05:00 - 05:20				SPLASH OOPSLA Scalable and Serializable Networked Multi-actor Programming 05:20 - 05:40				SPLASH OOPSLA Designing Types for R, Empirically 05:40 - 06:00				SPLASH OOPSLA Geometry Types for Graphics Programming 06:00 - 06:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 06:20 - 07:00								SPLASH Keynotes Testing Deep Neural Networks 07:00 - 08:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 08:20 - 09:00								SPLASH OOPSLA Formulog: Datalog for SMT-Based Static Analysis 09:00 - 09:20				SPLASH OOPSLA A Large-Scale Longitudinal Study of Flaky Tests 09:20 - 09:40				SPLASH OOPSLA Handling Bidirectional Control Flow 09:40 - 10:00				SPLASH OOPSLA WATCHER: In-Situ Failure Diagnosis 10:00 - 10:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 10:20 - 11:00								SPLASH OOPSLA Koord: A Language for Programming and Verifying Distributed Robotics Ap ... 11:00 - 11:20				SPLASH OOPSLA Learning-Based Controlled Concurrency Testing 11:20 - 11:40				SPLASH OOPSLA LiveDroid: Identifying and Preserving Mobile App State in Volatile Runt ... 11:40 - 12:00				SPLASH OOPSLA Shiftry: RNN Inference in 2KB of RAM 12:00 - 12:20				SPLASH Student Research Competition Student Research Competition 12:20 - 13:00								SPLASH OOPSLA A Structural Model for Contextual Code Changes 13:00 - 13:20				SPLASH OOPSLA A Systematic Approach to Deriving Incremental Type Checkers 13:20 - 13:40				SPLASH OOPSLA Detecting Locations in JavaScript Programs Affected by Breaking Library ... 13:40 - 14:00				SPLASH OOPSLA A Type-and-Effect System for Object Initialization 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								SPLASH OOPSLA Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, ... 15:00 - 15:20				SPLASH OOPSLA Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checke ... 15:20 - 15:40				SPLASH OOPSLA Fuzzing Channel-Based Concurrency Runtimes using Types and Effects 15:40 - 16:00				SPLASH OOPSLA Regex Matching with Counting-Set Automata 16:00 - 16:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								SPLASH OOPSLA Flow2Vec: Value-Flow-Based Precise Code Embedding 17:00 - 17:20				SPLASH OOPSLA FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction ... 17:20 - 17:40				SPLASH OOPSLA Hidden Inheritance: An Inline Caching Design for TypeScript Performance 17:40 - 18:00				SPLASH OOPSLA Gradual Verification of Recursive Heap Data Structures 18:00 - 18:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 18:20 - 19:00								SPLASH Keynotes Testing Deep Neural Networks 19:00 - 20:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 20:20 - 21:00								SPLASH OOPSLA Formulog: Datalog for SMT-Based Static Analysis 21:00 - 21:20				SPLASH OOPSLA A Large-Scale Longitudinal Study of Flaky Tests 21:20 - 21:40				SPLASH OOPSLA Handling Bidirectional Control Flow 21:40 - 22:00				SPLASH OOPSLA WATCHER: In-Situ Failure Diagnosis 22:00 - 22:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 22:20 - 23:00								SPLASH OOPSLA Koord: A Language for Programming and Verifying Distributed Robotics Ap ... 23:00 - 23:20				SPLASH OOPSLA Learning-Based Controlled Concurrency Testing 23:20 - 23:40				SPLASH OOPSLA LiveDroid: Identifying and Preserving Mobile App State in Volatile Runt ... 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	SPLASH OOPSLA Shiftry: RNN Inference in 2KB of RAM 00:00 - 00:20				SPLASH Student Research Competition Student Research Competition 00:20 - 01:00								SPLASH OOPSLA A Structural Model for Contextual Code Changes 01:00 - 01:20				SPLASH OOPSLA A Systematic Approach to Deriving Incremental Type Checkers 01:20 - 01:40				SPLASH OOPSLA Detecting Locations in JavaScript Programs Affected by Breaking Library ... 01:40 - 02:00				SPLASH OOPSLA A Type-and-Effect System for Object Initialization 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								SPLASH OOPSLA Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, ... 03:00 - 03:20				SPLASH OOPSLA Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checke ... 03:20 - 03:40				SPLASH OOPSLA Fuzzing Channel-Based Concurrency Runtimes using Types and Effects 03:40 - 04:00				SPLASH OOPSLA Regex Matching with Counting-Set Automata 04:00 - 04:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								SPLASH OOPSLA Flow2Vec: Value-Flow-Based Precise Code Embedding 05:00 - 05:20				SPLASH OOPSLA FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction ... 05:20 - 05:40				SPLASH OOPSLA Hidden Inheritance: An Inline Caching Design for TypeScript Performance 05:40 - 06:00				SPLASH OOPSLA Gradual Verification of Recursive Heap Data Structures 06:00 - 06:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 06:20 - 07:00								SPLASH OOPSLA Mossad: Defeating Software Plagiarism Detection 07:00 - 07:20				SPLASH OOPSLA Precise Inference of Expressive Units of Measurement Types 07:20 - 07:40				SPLASH OOPSLA Program Equivalence for Assisted Grading of Functional Programs 07:40 - 08:00				SPLASH OOPSLA Revisiting Iso-Recursive Subtyping 08:00 - 08:20				SPLASH Awards Awards Session 08:20 - 09:00								SPLASH Keynotessupported by Futurewei Models and Programs: Better Together 09:00 - 10:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 10:20 - 11:00								SPLASH OOPSLA Build Scripts with Perfect Dependencies 11:00 - 11:20				SPLASH OOPSLA Random Testing for C and C++ Compilers with YARPGen 11:20 - 11:40				SPLASH OOPSLA Dynamic Dispatch of Context-Sensitive Optimizations 11:40 - 12:00				SPLASH OOPSLA Automated Policy Synthesis for System Call Sandboxing 12:00 - 12:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 12:20 - 13:00								SPLASH OOPSLA Adversarial Examples for Models of Code 13:00 - 13:20				SPLASH OOPSLA Finding Bugs in Database Systems via Query Partitioning 13:20 - 13:40				SPLASH OOPSLA Proving Highly-Concurrent Traversals Correct 13:40 - 14:00				SPLASH OOPSLA How Do Programmers Use Unsafe Rust? 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								SPLASH OOPSLA A Model for Detecting Faults in Build Specifications 15:00 - 15:20				SPLASH OOPSLA Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about ... 15:20 - 15:40				SPLASH OOPSLA Structure Interpretation of Text Formats 15:40 - 16:00				SPLASH OOPSLA Statically Verified Refinements for Multiparty Protocols 16:00 - 16:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								SPLASH OOPSLA Programming with a Read-Eval-Synth Loop 17:00 - 17:20				SPLASH OOPSLA Sound Garbage Collection for C using Pointer Provenance 17:20 - 17:40				SPLASH OOPSLA Semiring Optimizations: Dynamic Elision of Expressions with Identity an ... 17:40 - 18:00				SPLASH OOPSLA CompCertELF: Verified Separate Compilation of C Programs into ELF Objec ... 18:00 - 18:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 18:20 - 19:00								SPLASH OOPSLA Mossad: Defeating Software Plagiarism Detection 19:00 - 19:20				SPLASH OOPSLA Precise Inference of Expressive Units of Measurement Types 19:20 - 19:40				SPLASH OOPSLA Program Equivalence for Assisted Grading of Functional Programs 19:40 - 20:00				SPLASH OOPSLA Revisiting Iso-Recursive Subtyping 20:00 - 20:20				SPLASH Awards Awards Session 20:20 - 21:00								SPLASH Keynotessupported by Futurewei Models and Programs: Better Together 21:00 - 22:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 22:20 - 23:00								SPLASH OOPSLA Build Scripts with Perfect Dependencies 23:00 - 23:20				SPLASH OOPSLA Random Testing for C and C++ Compilers with YARPGen 23:20 - 23:40				SPLASH OOPSLA Dynamic Dispatch of Context-Sensitive Optimizations 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	SPLASH OOPSLA Automated Policy Synthesis for System Call Sandboxing 00:00 - 00:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 00:20 - 01:00								SPLASH OOPSLA Adversarial Examples for Models of Code 01:00 - 01:20				SPLASH OOPSLA Finding Bugs in Database Systems via Query Partitioning 01:20 - 01:40				SPLASH OOPSLA Proving Highly-Concurrent Traversals Correct 01:40 - 02:00				SPLASH OOPSLA How Do Programmers Use Unsafe Rust? 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								SPLASH OOPSLA A Model for Detecting Faults in Build Specifications 03:00 - 03:20				SPLASH OOPSLA Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about ... 03:20 - 03:40				SPLASH OOPSLA Structure Interpretation of Text Formats 03:40 - 04:00				SPLASH OOPSLA Statically Verified Refinements for Multiparty Protocols 04:00 - 04:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								SPLASH OOPSLA Programming with a Read-Eval-Synth Loop 05:00 - 05:20				SPLASH OOPSLA Sound Garbage Collection for C using Pointer Provenance 05:20 - 05:40				SPLASH OOPSLA Semiring Optimizations: Dynamic Elision of Expressions with Identity an ... 05:40 - 06:00				SPLASH OOPSLA CompCertELF: Verified Separate Compilation of C Programs into ELF Objec ... 06:00 - 06:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 06:20 - 07:00								SPLASH Keynotessupported by IBM Research Why Digital Agriculture is Fertile Ground for Software Systems Research 07:00 - 08:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 08:20 - 09:00								SPLASH OOPSLA Automatic and Efficient Variability-Aware Lifting of Functional Programs 09:00 - 09:20				SPLASH OOPSLA Do You Have Space for Dessert? A Verified Space Cost Semantics for Cake ... 09:20 - 09:40				SPLASH OOPSLA Verifying Replicated Data Types with Typeclass Refinements in Liquid Ha ... 09:40 - 10:00				SPLASH OOPSLA Towards a Formal Foundation of Intermittent Computing 10:00 - 10:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 10:20 - 11:00								SPLASH OOPSLA Compiling Symbolic Execution with Staging and Algebraic Effects 11:00 - 11:20				SPLASH OOPSLA Projection-Based Runtime Assertions for Testing and Debugging Quantum P ... 11:20 - 11:40				SPLASH OOPSLA Satune: Synthesizing Efficient SAT Encoders 11:40 - 12:00				SPLASH OOPSLA The Anchor Verifier for Blocking and Non-blocking Concurrent Software 12:00 - 12:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 12:20 - 13:00								SPLASH OOPSLA Assertion-Based Optimization of Quantum Programs 13:00 - 13:20				SPLASH OOPSLA Dataflow-Based Pruning for Speeding up Superoptimization 13:20 - 13:40				SPLASH OOPSLA Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estim ... 13:40 - 14:00				SPLASH OOPSLA Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-o ... 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								SPLASH OOPSLA Precise Static Modeling of Ethereum “Memory” 15:00 - 15:20				SPLASH OOPSLA Perfectly Parallel Fairness Certification of Neural Networks 15:20 - 15:40				SPLASH OOPSLA Taming Callbacks for Smart Contract Modularity 15:40 - 16:00				SPLASH OOPSLA Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic ... 16:00 - 16:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								SPLASH OOPSLA Adding Interactive Visual Syntax to Textual Code 17:00 - 17:20				SPLASH OOPSLA Deductive Optimization of Relational Data Storage 17:20 - 17:40				SPLASH OOPSLA Inter-theory Dependency Analysis for SMT String Solvers 17:40 - 18:00				SPLASH OOPSLA Macros for Domain-Specific Languages 18:00 - 18:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 18:20 - 19:00								SPLASH Keynotessupported by IBM Research Why Digital Agriculture is Fertile Ground for Software Systems Research 19:00 - 20:20																SPLASH Meet The Speakers (MTS) Meet The Speakers 20:20 - 21:00								SPLASH OOPSLA Automatic and Efficient Variability-Aware Lifting of Functional Programs 21:00 - 21:20				SPLASH OOPSLA Do You Have Space for Dessert? A Verified Space Cost Semantics for Cake ... 21:20 - 21:40				SPLASH OOPSLA Verifying Replicated Data Types with Typeclass Refinements in Liquid Ha ... 21:40 - 22:00				SPLASH OOPSLA Towards a Formal Foundation of Intermittent Computing 22:00 - 22:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 22:20 - 23:00								SPLASH OOPSLA Compiling Symbolic Execution with Staging and Algebraic Effects 23:00 - 23:20				SPLASH OOPSLA Projection-Based Runtime Assertions for Testing and Debugging Quantum P ... 23:20 - 23:40				SPLASH OOPSLA Satune: Synthesizing Efficient SAT Encoders 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-I	SPLASH OOPSLA The Anchor Verifier for Blocking and Non-blocking Concurrent Software 00:00 - 00:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 00:20 - 01:00								SPLASH OOPSLA Assertion-Based Optimization of Quantum Programs 01:00 - 01:20				SPLASH OOPSLA Dataflow-Based Pruning for Speeding up Superoptimization 01:20 - 01:40				SPLASH OOPSLA Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estim ... 01:40 - 02:00				SPLASH OOPSLA Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-o ... 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								SPLASH OOPSLA Precise Static Modeling of Ethereum “Memory” 03:00 - 03:20				SPLASH OOPSLA Perfectly Parallel Fairness Certification of Neural Networks 03:20 - 03:40				SPLASH OOPSLA Taming Callbacks for Smart Contract Modularity 03:40 - 04:00				SPLASH OOPSLA Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic ... 04:00 - 04:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								SPLASH OOPSLA Adding Interactive Visual Syntax to Textual Code 05:00 - 05:20				SPLASH OOPSLA Deductive Optimization of Relational Data Storage 05:20 - 05:40				SPLASH OOPSLA Inter-theory Dependency Analysis for SMT String Solvers 05:40 - 06:00				SPLASH OOPSLA Macros for Domain-Specific Languages 06:00 - 06:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 06:20 - 07:00								SPLASH OOPSLA DiffStream: Differential Output Testing for Stream Processing Programs 07:00 - 07:20				SPLASH OOPSLA Pomsets with Preconditions: A Simple Model of Relaxed Memory 07:20 - 07:40				SPLASH OOPSLA StreamQL: A Query Language for Processing Streaming Time Series 07:40 - 08:00				SPLASH OOPSLA Foundations of Empirical Memory Consistency Testing 08:00 - 08:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 08:20 - 09:00								SPLASH OOPSLA A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra 09:00 - 09:20				SPLASH OOPSLA Resolution as Intersection Subtyping via Modus Ponens 09:20 - 09:40				SPLASH OOPSLA Guided Linking: Dynamic Linking without the Costs 09:40 - 10:00				SPLASH OOPSLA Towards a Unified Proof Framework for Automated Fixpoint Reasoning usin ... 10:00 - 10:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 10:20 - 11:00								SPLASH OOPSLA Contextual Dispatch for Function Specialization 11:00 - 11:20				SPLASH OOPSLA Fixpoints for the Masses: Programming with First-Class Datalog Constraints 11:20 - 11:40				SPLASH OOPSLA Verifying and Improving Halide’s Term Rewriting System with Program Syn ... 11:40 - 12:00				SPLASH OOPSLA Polymorphic Types and Effects with Boolean Unification 12:00 - 12:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 12:20 - 13:00								SPLASH OOPSLA A Modular Cost Analysis for Probabilistic Programs 13:00 - 13:20				SPLASH OOPSLA Interactive Synthesis of Temporal Specifications from Examples and Natu ... 13:20 - 13:40				SPLASH OOPSLA Scaling Exact Inference for Discrete Probabilistic Programs 13:40 - 14:00				SPLASH OOPSLA Digging for Fold: Synthesis-Aided API Discovery for Haskell 14:00 - 14:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 14:20 - 15:00								SPLASH OOPSLA Effects as Capabilities: Effect Handlers and Lightweight Effect Polymor ... 15:00 - 15:20				SPLASH OOPSLA Fast Linear Programming through Transprecision Computing on Small and S ... 15:20 - 15:40												SPLASH Meet The Speakers (MTS) Meet The Speakers 16:20 - 17:00								SPLASH Keynotes Towards Building Ethically-Sound Data-Driven Software 17:00 - 18:20																SPLASH Closing Closing Session 18:20 - 19:00								SPLASH OOPSLA DiffStream: Differential Output Testing for Stream Processing Programs 19:00 - 19:20				SPLASH OOPSLA Pomsets with Preconditions: A Simple Model of Relaxed Memory 19:20 - 19:40				SPLASH OOPSLA StreamQL: A Query Language for Processing Streaming Time Series 19:40 - 20:00				SPLASH OOPSLA Foundations of Empirical Memory Consistency Testing 20:00 - 20:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 20:20 - 21:00								SPLASH OOPSLA A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra 21:00 - 21:20				SPLASH OOPSLA Resolution as Intersection Subtyping via Modus Ponens 21:20 - 21:40				SPLASH OOPSLA Guided Linking: Dynamic Linking without the Costs 21:40 - 22:00				SPLASH OOPSLA Towards a Unified Proof Framework for Automated Fixpoint Reasoning usin ... 22:00 - 22:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 22:20 - 23:00								SPLASH OOPSLA Contextual Dispatch for Function Specialization 23:00 - 23:20				SPLASH OOPSLA Fixpoints for the Masses: Programming with First-Class Datalog Constraints 23:20 - 23:40				SPLASH OOPSLA Verifying and Improving Halide’s Term Rewriting System with Program Syn ... 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45
SPLASH-I	SPLASH OOPSLA Polymorphic Types and Effects with Boolean Unification 00:00 - 00:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 00:20 - 01:00								SPLASH OOPSLA A Modular Cost Analysis for Probabilistic Programs 01:00 - 01:20				SPLASH OOPSLA Interactive Synthesis of Temporal Specifications from Examples and Natu ... 01:20 - 01:40				SPLASH OOPSLA Scaling Exact Inference for Discrete Probabilistic Programs 01:40 - 02:00				SPLASH OOPSLA Digging for Fold: Synthesis-Aided API Discovery for Haskell 02:00 - 02:20				SPLASH Meet The Speakers (MTS) Meet The Speakers 02:20 - 03:00								SPLASH OOPSLA Effects as Capabilities: Effect Handlers and Lightweight Effect Polymor ... 03:00 - 03:20				SPLASH OOPSLA Fast Linear Programming through Transprecision Computing on Small and S ... 03:20 - 03:40												SPLASH Meet The Speakers (MTS) Meet The Speakers 04:20 - 05:00								SPLASH Keynotes Towards Building Ethically-Sound Data-Driven Software 05:00 - 06:20																SPLASH Closing Closing Session 06:20 - 07:00

Room information: SPLASH-I

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

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

Sat 21 NovDisplayed time zone: Central Time (US & Canada) change

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

SPLASH Opening

SPLASH Keynotes

SPLASH Posters

ECOOP Research Papers

SPLASH PLMW

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

SPLASH Opening

SPLASH Keynotes

SPLASH Posters

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

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

SPLASH PLMW

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

SPLASH Keynotes

SPLASH Posters

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

SPLASH Keynotes

SPLASH Posters

ECOOP Research Papers

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

SPLASH Meet The Speakers (MTS)

ECOOP Research Papers

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH Keynotes

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Student Research Competition

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH Keynotes

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

SPLASH Meet The Speakers (MTS)

SPLASH OOPSLA

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

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

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

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

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

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

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

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