SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
VenueSwissotel Chicago
Room nameZurich A
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Sun 17 Oct

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

09:00 - 10:20
Invited talk 1APLAS Keynote Talks at Zurich A +8h
Chair(s): Hakjoo Oh Korea University
09:00
60m
Keynote
Solidifying and Advancing the Software Foundations
APLAS Keynote Talks
Zhendong Su ETH Zurich
10:50 - 12:10
Analysis / Synthesis APLAS Research Papers at Zurich A +8h
Chair(s): Jiasi Shen Massachusetts Institute of Technology
10:50
20m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
APLAS Research Papers
Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore
11:10
20m
Talk
Server-Side Computation of Package Dependencies in Package-Management Systems
APLAS Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
11:30
13m
Talk
PyCT: A Python Concolic Tester
APLAS Research Papers
Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan
11:43
13m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
APLAS Research Papers
Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA
11:56
13m
Talk
Function Pointer Eliminator for C Programs
APLAS Research Papers
Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University
13:50 - 15:10
Compilation / TransformationAPLAS Research Papers at Zurich A +8h
Chair(s): Sam Lindley The University of Edinburgh, UK
13:50
20m
Talk
A Dictionary-Passing Translation of Featherweight Go
APLAS Research Papers
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences
14:10
20m
Talk
A compilation method for dynamic typing in ML
APLAS Research Papers
Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University
14:30
20m
Talk
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
APLAS Research Papers
Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8
14:50
20m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
APLAS Research Papers
Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay
17:00 - 18:20
Invited talk 1APLAS Keynote Talks at Zurich A
Chair(s): Xinyu Wang University of Michigan
17:00
60m
Keynote
Solidifying and Advancing the Software Foundations
APLAS Keynote Talks
Zhendong Su ETH Zurich
18:50 - 20:10
Analysis / Synthesis (mirror)APLAS Research Papers at Zurich A
Chair(s): Kihong Heo KAIST
18:50
20m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
APLAS Research Papers
Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore
19:10
20m
Talk
Server-Side Computation of Package Dependencies in Package-Management Systems
APLAS Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
19:30
13m
Talk
PyCT: A Python Concolic Tester
APLAS Research Papers
Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan
19:43
13m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
APLAS Research Papers
Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA
19:56
13m
Talk
Function Pointer Eliminator for C Programs
APLAS Research Papers
Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University
21:50 - 23:10
Compilation / Transformation (mirror)APLAS Research Papers at Zurich A
Chair(s): Xin Zhang Peking University
21:50
20m
Talk
A Dictionary-Passing Translation of Featherweight Go
APLAS Research Papers
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences
22:10
20m
Talk
A compilation method for dynamic typing in ML
APLAS Research Papers
Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University
22:30
20m
Talk
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
APLAS Research Papers
Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8
22:50
20m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
APLAS Research Papers
Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay

Mon 18 Oct

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

09:00 - 10:20
Invited talk 2APLAS Keynote Talks at Zurich A +8h
Chair(s): Atsushi Igarashi Kyoto University, Japan
09:00
60m
Keynote
A Separation Logic for Probabilistic Independence
APLAS Keynote Talks
Justin Hsu University of Wisconsin-Madison, USA
10:50 - 12:10
Language DesignAPLAS Research Papers at Zurich A +8h
Chair(s): Sergio Mover Ecole Polytechnique
10:50
20m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
APLAS Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
11:10
20m
Talk
Adaptable Traces for Program Explanations
APLAS Research Papers
Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University
11:30
20m
Talk
Latent Effects for Reusable Language Components
APLAS Research Papers
Birthe van den Berg KU Leuven, Casper Bach Poulsen Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK
11:50
20m
Talk
The Choice Construct in the Soufflé Language
APLAS Research Papers
Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney
13:50 - 15:10
Verification / TheoryAPLAS Research Papers at Zurich A +8h
Chair(s): Xiaokang Qiu Purdue University, USA
13:50
20m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
APLAS Research Papers
Pavol Vargovčík Brno University of Technology, Czech Republic, Lukáš Holík Brno University of Technology
14:10
20m
Talk
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
APLAS Research Papers
Cyrus Liu Stevens Institute of Technology, Chengbin Pang Stevens Institute of Technology, Daniel Dietsch University of Freiburg, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology, Georgios Portokalidis Stevens Institute of Technology, Jun Xu Stevens Institute of Technology
14:30
20m
Talk
Solving Not-Substring with Flat Abstraction
APLAS Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Lukáš Holík Brno University of Technology, Denghang Hu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Wei-Lun Tsai Academia Sinica, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Di-De Yen Academia Sinica
14:50
20m
Talk
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
APLAS Research Papers
Tsubasa Shoshi The University of Tokyo, Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University, Japan
17:00 - 18:20
Invited talk 2APLAS Keynote Talks at Zurich A
Chair(s): Xujie Si McGill University, Canada
17:00
60m
Keynote
A Separation Logic for Probabilistic Independence
APLAS Keynote Talks
Justin Hsu University of Wisconsin-Madison, USA
18:50 - 20:10
Language Design (mirror)APLAS Research Papers at Zurich A
Chair(s): Andreea Costea School of Computing, National University Of Singapore
18:50
20m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
APLAS Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
19:10
20m
Talk
Adaptable Traces for Program Explanations
APLAS Research Papers
Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University
19:30
20m
Talk
Latent Effects for Reusable Language Components
APLAS Research Papers
Birthe van den Berg KU Leuven, Casper Bach Poulsen Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK
19:50
20m
Talk
The Choice Construct in the Soufflé Language
APLAS Research Papers
Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney
21:50 - 23:10
Verification / Theory (mirror)APLAS Research Papers at Zurich A
Chair(s): Yue Li Nanjing University
21:50
20m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
APLAS Research Papers
Pavol Vargovčík Brno University of Technology, Czech Republic, Lukáš Holík Brno University of Technology
22:10
20m
Talk
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
APLAS Research Papers
Cyrus Liu Stevens Institute of Technology, Chengbin Pang Stevens Institute of Technology, Daniel Dietsch University of Freiburg, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology, Georgios Portokalidis Stevens Institute of Technology, Jun Xu Stevens Institute of Technology
22:30
20m
Talk
Solving Not-Substring with Flat Abstraction
APLAS Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Lukáš Holík Brno University of Technology, Denghang Hu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Wei-Lun Tsai Academia Sinica, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Di-De Yen Academia Sinica
22:50
20m
Talk
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
APLAS Research Papers
Tsubasa Shoshi The University of Tokyo, Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University, Japan

Tue 19 Oct

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

07:40 - 09:00
Session 4CSAS at Zurich A
07:40
20m
Talk
Fast and Efficient Bit-Level Precision Tuning
SAS
Assalé Adjé Université de Perpignan Via Domitia, Dorra Ben Khalifa Université de Perpignan Via Domitia, Matthieu Martel Université de Perpignan Via Domitia
08:00
20m
Talk
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
SAS
Denis Mazzucato INRIA & École Normale Supérieure, Caterina Urban INRIA & École Normale Supérieure | Université PSL
08:20
20m
Talk
Static analysis of ReLU neural networks with tropical polyhedra
SAS
Eric Goubault Ecole Polytechnique, Sebastien Palumby Ecole Polytechnique, Sylvie Putot École Polytechnique, Louis Rustenholz , Sriram Sankaranarayanan University of Colorado, Boulder
08:40
20m
Talk
Toward Neural-Network-Guided Program Synthesis and Verification
SAS
Naoki Kobayashi University of Tokyo, Japan, Taro Sekiyama National Institute of Informatics, Issei Sato The University of Tokyo, Hiroshi Unno University of Tsukuba
13:50 - 15:10
Session 3CSAS at Zurich A +8h
13:50
20m
Talk
Automatic Synthesis of Data-Flow Analyzers
SAS
Xuezheng Xu UNSW Sydney, Xudong Wang UNSW Sydney, Jingling Xue UNSW Sydney
14:10
20m
Talk
Disjunctive Interval Analysis
SAS
14:30
20m
Talk
Hash Consed Points-To Sets
SAS
Mohamad Barbar University of Technology Sydney, Australia and CSIRO's Data61, Australia, Yulei Sui University of Technology Sydney
14:50
20m
Talk
Selective Context-Sensitivity for k-CFA with CFL-Reachability
SAS
Jingbo Lu UNSW Sydney, Dongjie He UNSW Sydney, Jingling Xue UNSW Sydney
15:40 - 17:00
Session 4CSAS at Zurich A -8h
15:40
20m
Talk
Fast and Efficient Bit-Level Precision Tuning
SAS
Assalé Adjé Université de Perpignan Via Domitia, Dorra Ben Khalifa Université de Perpignan Via Domitia, Matthieu Martel Université de Perpignan Via Domitia
16:00
20m
Talk
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
SAS
Denis Mazzucato INRIA & École Normale Supérieure, Caterina Urban INRIA & École Normale Supérieure | Université PSL
16:20
20m
Talk
Static analysis of ReLU neural networks with tropical polyhedra
SAS
Eric Goubault Ecole Polytechnique, Sebastien Palumby Ecole Polytechnique, Sylvie Putot École Polytechnique, Louis Rustenholz , Sriram Sankaranarayanan University of Colorado, Boulder
16:40
20m
Talk
Toward Neural-Network-Guided Program Synthesis and Verification
SAS
Naoki Kobayashi University of Tokyo, Japan, Taro Sekiyama National Institute of Informatics, Issei Sato The University of Tokyo, Hiroshi Unno University of Tsukuba
21:50 - 23:10
Session 3CSAS at Zurich A
21:50
20m
Talk
Automatic Synthesis of Data-Flow Analyzers
SAS
Xuezheng Xu UNSW Sydney, Xudong Wang UNSW Sydney, Jingling Xue UNSW Sydney
22:10
20m
Talk
Disjunctive Interval Analysis
SAS
22:30
20m
Talk
Hash Consed Points-To Sets
SAS
Mohamad Barbar University of Technology Sydney, Australia and CSIRO's Data61, Australia, Yulei Sui University of Technology Sydney
22:50
20m
Talk
Selective Context-Sensitivity for k-CFA with CFL-Reachability
SAS
Jingbo Lu UNSW Sydney, Dongjie He UNSW Sydney, Jingling Xue UNSW Sydney

Wed 20 Oct

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

07:40 - 09:00
Shared Memory - mirrorOOPSLA at Zurich A
07:40
20m
Talk
Making Weak Memory Models Fair
OOPSLA
Ori Lahav Tel Aviv University, Egor Namakonov JetBrains Research, St Petersburg University, Jonas Oberhauser Huawei Dresden Research Center, Huawei OS Kernel Lab, Anton Podkopaev HSE University, JetBrains Research, Viktor Vafeiadis MPI-SWS
08:00
20m
Talk
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
OOPSLA
Pengbo Yan University of Melbourne, Toby Murray University of Melbourne, Australia
08:20
20m
Talk
The Reads-From Equivalence for the TSO and PSO Memory Models
OOPSLA
Truc Lam Bui Comenius University Bratislava, Krishnendu Chatterjee IST Austria, Austria, Tushar Gautam IIT Bombay, Andreas Pavlogiannis Aarhus University, Viktor Toman IST Austria (Institute of Science and Technology Austria)
08:40
20m
Talk
The Semantics of Shared Memory in Intel CPU/FPGA Systems
OOPSLA
A: Dan Iorga Imperial College London, A: Alastair F. Donaldson Imperial College London, A: Tyler Sorensen Imperial College London, A: John Wickerson Imperial College London
09:00 - 09:01
SPLASH StartOpening at Zurich A
09:00
1m
Day opening
SPLASH Conference at Chicago Starts Now
Opening

09:00 - 09:20
Opening SessionOpening at Zurich A +8h
09:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich A +8h
09:20
60m
Keynote
TBDKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
10:50 - 12:10
Functional ProgrammingOOPSLA at Zurich A +8h
10:50
20m
Talk
Compiling with Continuations, Correctly
OOPSLA
Zoe Paraskevopoulou Northeastern University, USA, Anvay Grover University of Wisconsin–Madison
11:10
20m
Talk
Efficient Compilation of Algebraic Effect Handlers
OOPSLA
Georgios Karachalias Tweag, Filip Koprivec University of Ljubljana, Matija Pretnar University of Ljubljana, Tom Schrijvers KU Leuven
11:30
20m
Talk
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
OOPSLA
Yuyan Bao University of Waterloo, Canada, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
11:50
20m
Talk
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
OOPSLA
Masaomi Yamaguchi Graduate School of Information Sciences, Tohoku University, Kazutaka Matsuda Tohoku University, Japan, Cristina David University of Bristol, Meng Wang University of Bristol, UK
13:50 - 15:10
RustOOPSLA at Zurich A +8h
13:50
26m
Talk
Translating C to Safer Rust
OOPSLA
Mehmet Emre University of California, Santa Barbara, Ryan Schroeder University of California, Santa Barbara, Kyle Dewey California State University, Northridge, Ben Hardekopf UC Santa Barbara
14:16
26m
Talk
Modular Specification and Verification of Closures in Rust
OOPSLA
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Alexander J. Summers University of British Columbia (UBC)
14:43
26m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
OOPSLA
Natalie Popescu Princeton University, Ziyang Xu Princeton University, USA, Sotiris Apostolakis Google, David I. August Princeton University, USA, Amit Levy Princeton University
15:40 - 17:00
Shared MemoryOOPSLA at Zurich A -8h
15:40
20m
Talk
Making Weak Memory Models Fair
OOPSLA
Ori Lahav Tel Aviv University, Egor Namakonov JetBrains Research, St Petersburg University, Jonas Oberhauser Huawei Dresden Research Center, Huawei OS Kernel Lab, Anton Podkopaev HSE University, JetBrains Research, Viktor Vafeiadis MPI-SWS
16:00
20m
Talk
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
OOPSLA
Pengbo Yan University of Melbourne, Toby Murray University of Melbourne, Australia
16:20
20m
Talk
The Reads-From Equivalence for the TSO and PSO Memory Models
OOPSLA
Truc Lam Bui Comenius University Bratislava, Krishnendu Chatterjee IST Austria, Austria, Tushar Gautam IIT Bombay, Andreas Pavlogiannis Aarhus University, Viktor Toman IST Austria (Institute of Science and Technology Austria)
16:40
20m
Talk
The Semantics of Shared Memory in Intel CPU/FPGA Systems
OOPSLA
A: Dan Iorga Imperial College London, A: Alastair F. Donaldson Imperial College London, A: Tyler Sorensen Imperial College London, A: John Wickerson Imperial College London
17:00 - 19:00
17:00
2h
Poster
Implementation of an End-to-End Gradual Verification System
Student Research Competition
Hemant Gouni University of Minnesota, Twin Cities, Conrad Zimmerman Brown University
17:00
2h
Poster
Towards Decidable and Expressive DOT
Student Research Competition
Sophia Roshal Cornell University, Carnegie Mellon University (Institute for Software Research)
17:00
2h
Poster
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs
Student Research Competition
17:00
2h
Poster
Avoiding Monomorphization Bottlenecks with Phase-based Splitting
Student Research Competition
Sophie Kaleba University of Kent
17:00
2h
Poster
A Study of Call Graph Effectiveness for Framework-Based Web Applications
Student Research Competition
Madhurima Chakraborty University of California, Riverside
17:00
2h
Poster
Run-time Data Analysis to Drive Compiler Optimizations
Student Research Competition
Sebastian Kloibhofer Johannes Kepler Universität Linz
17:00
2h
Poster
Edgeworth: Authoring Diagrammatic Math Problems Using Program Mutation
Student Research Competition
Hwei-Shin Harriman Olin College of Engineering
17:00
2h
Poster
Source code authorship attribution using file embeddings
Student Research Competition
Alina Bogdanova Innopolis University
17:00
2h
Poster
Run-Time Data Analysis in Dynamic Runtimes
Student Research Competition
Lukas Makor Johannes Kepler University Linz
17:00
2h
Poster
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Student Research Competition
Wonhyuk Choi Columbia University
17:00 - 17:20
Opening SessionOpening at Zurich A
17:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Keynote
TBDKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
18:50 - 20:10
Functional Programming - MirrorOOPSLA at Zurich A
18:50
20m
Talk
Compiling with Continuations, Correctly
OOPSLA
Zoe Paraskevopoulou Northeastern University, USA, Anvay Grover University of Wisconsin–Madison
19:10
20m
Talk
Efficient Compilation of Algebraic Effect Handlers
OOPSLA
Georgios Karachalias Tweag, Filip Koprivec University of Ljubljana, Matija Pretnar University of Ljubljana, Tom Schrijvers KU Leuven
19:30
20m
Talk
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
OOPSLA
Yuyan Bao University of Waterloo, Canada, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
19:50
20m
Talk
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
OOPSLA
Masaomi Yamaguchi Graduate School of Information Sciences, Tohoku University, Kazutaka Matsuda Tohoku University, Japan, Cristina David University of Bristol, Meng Wang University of Bristol, UK
21:50 - 23:10
Rust - mirrorOOPSLA at Zurich A
21:50
26m
Talk
Translating C to Safer Rust
OOPSLA
Mehmet Emre University of California, Santa Barbara, Ryan Schroeder University of California, Santa Barbara, Kyle Dewey California State University, Northridge, Ben Hardekopf UC Santa Barbara
22:16
26m
Talk
Modular Specification and Verification of Closures in Rust
OOPSLA
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Alexander J. Summers University of British Columbia (UBC)
22:43
26m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
OOPSLA
Natalie Popescu Princeton University, Ziyang Xu Princeton University, USA, Sotiris Apostolakis Google, David I. August Princeton University, USA, Amit Levy Princeton University

Thu 21 Oct

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

07:40 - 09:00
Corpus and User StudiesOOPSLA at Zurich A
09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich A +8h
09:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and University of Oxford
10:50 - 12:10
Specification SynthesisOOPSLA at Zurich A +8h
10:50
20m
Talk
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
OOPSLA
Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University
11:10
20m
Talk
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
OOPSLA
Jialu Zhang Yale University, Ruzica Piskac Yale University, USA, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign
11:30
20m
Talk
Data-Driven Abductive Inference of Library Specifications
OOPSLA
Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
11:50
20m
Talk
Synthesizing Contracts Correct Modulo a Test Generator
OOPSLA
Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University
13:50 - 15:10
TypesOOPSLA at Zurich A +8h
13:50
20m
Talk
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
OOPSLA
Artem Pelenitsyn Northeastern University, Julia Belyakova Northeastern University, Benjamin W Chung Northeastern University, Ross Tate Cornell University, Jan Vitek Northeastern University / Czech Technical University
DOI Pre-print
14:10
20m
Talk
Label Dependent Lambda Calculus and Gradual Typing
OOPSLA
Weili Fu University of Edinburgh, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany
14:30
20m
Talk
Relational Nullable Types with Boolean Unification
OOPSLA
Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University
14:50
20m
Talk
Study of the Subtyping Machine of Nominal Subtyping with Variance
OOPSLA
Ori Roth Technion
Pre-print
15:40 - 17:00
Corpus and User StudiesOOPSLA at Zurich A -8h
15:40
26m
Talk
What we Eval in the Shadows
OOPSLA
Aviral Goel Northeastern University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Christoph Kirsch University of Salzburg, Jan Vitek Northeastern University / Czech Technical University
16:06
26m
Talk
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
OOPSLA
Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Georgios-Petros Drosos Athens University of Economics and Business, Charalambos Ioannis Mitropoulos Technical University of Crete, Dimitris Mitropoulos National and Kapodistrian University of Athens, Diomidis Spinellis Athens University of Economics and Business & TU Delft
16:33
26m
Talk
How Statically-Typed Functional Programmers Write Code
OOPSLA
Justin Lubin University of California, Berkeley, Sarah E. Chasins University of California, Berkeley
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and University of Oxford
18:50 - 20:10
Specification Synthesis - mirrorOOPSLA at Zurich A
18:50
20m
Talk
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
OOPSLA
Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University
19:10
20m
Talk
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
OOPSLA
Jialu Zhang Yale University, Ruzica Piskac Yale University, USA, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign
19:30
20m
Talk
Data-Driven Abductive Inference of Library Specifications
OOPSLA
Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
19:50
20m
Talk
Synthesizing Contracts Correct Modulo a Test Generator
OOPSLA
Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University
21:50 - 23:10
TypesOOPSLA at Zurich A

Fri 22 Oct

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

09:20 - 10:20
Onward! Keynote TalkOnward! Papers at Zurich A +8h
09:20
60m
Keynote
TBDKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
10:50 - 12:10
Synthesis of models, tools and programsOOPSLA at Zurich A +8h
10:50
20m
Talk
Rewrite Rule Inference Using Equality Saturation
OOPSLA
Chandrakana Nandi Certora, inc., Max Willsey University of Washington, USA, Amy Zhu University of Washington, Brett Saiki University of Washington, Yisu Remy Wang University of Washington, Adam Anderson University of Washington, USA, Adriana Schulz University of Washington, Dan Grossman University of Washington, USA, Zachary Tatlock University of Washington, Seattle
11:10
20m
Talk
One Down, 699 to Go: or, synthesising compositional desugarings
OOPSLA
Sándor Bartha University of Edinburgh, James Cheney University of Edinburgh, UK, Vaishak Belle University of Edinburgh
11:30
20m
Talk
Semantic programming by example with pre-trained models
OOPSLA
Gust Verbruggen Department of Computer Science, KU Leuven, Vu Le Microsoft, Sumit Gulwani Microsoft
11:50
20m
Talk
Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
OOPSLA
Kia Rahmani Purdue University, Mohammad Raza Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Daniel Morris Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft
Pre-print
13:50 - 15:10
Type & VerificationOOPSLA at Zurich A +8h
13:50
26m
Talk
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
OOPSLA
Fabian Muehlboeck IST Austria, Ross Tate Cornell University
14:16
26m
Talk
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
OOPSLA
Paul He University of Pennsylvania, Edwin Westbrook Galois, Inc., Brent Carmer Galois, Inc., Chris Phifer Galois, Inc., Valentin Robert Galois, Inc., Karl Smeltzer Galois, Inc., Andrei Stefanescu Galois, Inc., Aaron Tomb Galois, Inc., Adam Wick Galois, Inc., Matthew Yacavone Galois, Inc., Steve Zdancewic University of Pennsylvania
14:43
26m
Talk
Formal Verification of High-Level Synthesis
OOPSLA

15:10 - 17:00
Closing SessionClosing at Zurich A
15:10
1h50m
Day closing
Ice Cream Social
Closing
Hridesh Rajan Iowa State University
17:20 - 18:20
Onward! Keynote TalkOnward! Papers at Zurich A
17:20
60m
Keynote
TBDKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
18:50 - 20:10
Synthesis of models, tools and programs -- mirrorOOPSLA at Zurich A
19:50
20m
Talk
Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
OOPSLA
Kia Rahmani Purdue University, Mohammad Raza Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Daniel Morris Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft
Pre-print
21:50 - 23:10
Type & VerificationOOPSLA at Zurich A

Tue 19 Oct

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

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich A

Wed 20 Oct

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

Thu 21 Oct

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

Sun 17 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich A

Mon 18 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich A

Tue 19 Oct

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

Wed 20 Oct

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

Thu 21 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Zurich A