JSTools 2020
Mon 13 - Fri 17 July 2020 Online Conference
co-located with ECOOP 2020
VenueOnline
Room nameSPLASH-I
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 15 Nov

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

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

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

08:20
40m
Other
Posters Session 1
SPLASH Posters

09:00 - 10:20
S-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
18:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

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

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

20:20
40m
Other
Posters Session 1
SPLASH Posters

21:00 - 22:20
S-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
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
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
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
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)

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)

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

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
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
02:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

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

05:00 - 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
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

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

02:20 - 03:00
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
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 EmbeddingDistinguished Paper
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
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 YARPGenDistinguished Paper
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 SandboxingDistinguished Paper
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
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
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 YARPGenDistinguished Paper
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 SandboxingDistinguished Paper
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
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
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
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
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 ProgramsDistinguished Paper
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)

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
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
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 ProgramsDistinguished Paper
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
00:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

02:20 - 03:00
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
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
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 ProgramsDistinguished Paper
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
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
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 ProgramsDistinguished Paper
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
02:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

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

05:00 - 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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Mon 16 Nov

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Tue 17 Nov

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Wed 18 Nov

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Thu 19 Nov

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Fri 20 Nov

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I