Write a Blog >>
APLAS 2021
Sun 17 - Fri 22 October 2021
Chicago, Illinois, United States
co-located with
SPLASH 2021
Toggle navigation
Attending
Venue: Swissotel Chicago
Program
APLAS Program
Your Program
Sun 17 Oct
Mon 18 Oct
Tue 19 Oct
Wed 20 Oct
Thu 21 Oct
Fri 22 Oct
Tracks
APLAS 2021
Keynote Talks
Research Papers
Organization
APLAS 2021 Committees
Track Committees
Organising Committee
Program Committee
Contributors
People Index
Search
Series
Series
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
SPLASH 2021
(
series
) /
APLAS 2021
(
series
) /
Swissotel Chicago
/
Room information: Zurich D
Venue
Swissotel Chicago
Room name
Zurich D
Room Information
https://youtu.be/MsnYgMxs7zI
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Central Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Central Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 17 Oct
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 10:20
Invited talk 1
Keynote Talks
at
Zurich D
+8h
Chair(s):
Hakjoo Oh
Korea University
09:00
60m
Keynote
Solidifying and Advancing the Software Foundations
Virtual
Keynote Talks
Zhendong Su
ETH Zurich
10:50 - 12:10
Analysis / Synthesis
Research Papers
at
Zurich D
+8h
Chair(s):
Jiasi Shen
Massachusetts Institute of Technology
10:50
15m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
Virtual
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:05
15m
Talk
Server-Side Computation of Package Dependencies in Package-Management Systems
Virtual
Research Papers
Nobuhiro Kasai
Shibaura Institute of Technology
,
Isao Sasano
Shibaura Institute of Technology
11:20
10m
Talk
PyCT: A Python Concolic Tester
Virtual
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:30
10m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Virtual
Research Papers
Wonhyuk Choi
Columbia University
,
Michel Vazirani
Columbia University
,
Mark Santolucito
Barnard College, Columbia University, USA
11:40
10m
Talk
Function Pointer Eliminator for C Programs
Virtual
Research Papers
Daisuke Kimura
Toho University
,
Mahmudul Faisal Al Ameen
University of Tokyo
,
Makoto Tatsuta
National Institute of Informatics
,
Koji Nakazawa
Nagoya University
11:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
13:50 - 15:10
Compilation / Transformation
Research Papers
at
Zurich D
+8h
Chair(s):
Sam Lindley
The University of Edinburgh, UK
13:50
15m
Talk
A Dictionary-Passing Translation of Featherweight Go
Virtual
Research Papers
Martin Sulzmann
Karlsruhe University of Applied Sciences, Germany
,
Stefan Wehr
Offenburg University of Applied Sciences
14:05
15m
Talk
A compilation method for dynamic typing in ML
Virtual
Research Papers
Atsushi Ohori
Tohoku University, Japan
,
Katsuhiro Ueno
Tohoku University
14:20
15m
Talk
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Virtual
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:35
15m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
Virtual
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
14:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
17:00 - 18:20
Invited talk 1
Keynote Talks
at
Zurich D
Chair(s):
Xinyu Wang
University of Michigan
17:00
60m
Keynote
Solidifying and Advancing the Software Foundations
Virtual
Keynote Talks
Zhendong Su
ETH Zurich
18:50 - 20:10
Analysis / Synthesis (mirror)
Research Papers
at
Zurich D
Chair(s):
Kihong Heo
KAIST
18:50
15m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
Virtual
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:05
15m
Talk
Server-Side Computation of Package Dependencies in Package-Management Systems
Virtual
Research Papers
Nobuhiro Kasai
Shibaura Institute of Technology
,
Isao Sasano
Shibaura Institute of Technology
19:20
10m
Talk
PyCT: A Python Concolic Tester
Virtual
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:30
10m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Virtual
Research Papers
Wonhyuk Choi
Columbia University
,
Michel Vazirani
Columbia University
,
Mark Santolucito
Barnard College, Columbia University, USA
19:40
10m
Talk
Function Pointer Eliminator for C Programs
Virtual
Research Papers
Daisuke Kimura
Toho University
,
Mahmudul Faisal Al Ameen
University of Tokyo
,
Makoto Tatsuta
National Institute of Informatics
,
Koji Nakazawa
Nagoya University
19:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
21:50 - 23:10
Compilation / Transformation (mirror)
Research Papers
at
Zurich D
Chair(s):
Xin Zhang
Peking University
21:50
15m
Talk
A Dictionary-Passing Translation of Featherweight Go
Virtual
Research Papers
Martin Sulzmann
Karlsruhe University of Applied Sciences, Germany
,
Stefan Wehr
Offenburg University of Applied Sciences
22:05
15m
Talk
A compilation method for dynamic typing in ML
Virtual
Research Papers
Atsushi Ohori
Tohoku University, Japan
,
Katsuhiro Ueno
Tohoku University
22:20
15m
Talk
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Virtual
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:35
15m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
Virtual
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
22:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
Mon 18 Oct
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 10:20
Invited talk 2
Keynote Talks
at
Zurich D
+8h
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
09:00
60m
Keynote
A Separation Logic for Probabilistic Independence
Virtual
Keynote Talks
Justin Hsu
University of Wisconsin-Madison, USA
10:50 - 12:10
Language Design
Research Papers
at
Zurich D
+8h
Chair(s):
Sergio Mover
Ecole Polytechnique
10:50
15m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
Virtual
Research Papers
Thi Thu Ha Doan
University of Freiburg
,
Peter Thiemann
University of Freiburg, Germany
11:05
15m
Talk
Adaptable Traces for Program Explanations
Virtual
Research Papers
Divya Bajaj
Oregon State University
,
Martin Erwig
Oregon State University
,
Danila Fedorin
Oregon State University
,
Kai Gay
Oregon State University
11:20
15m
Talk
Latent Effects for Reusable Language Components
Virtual
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:35
15m
Talk
The Choice Construct in the Soufflé Language
Virtual
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
11:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
13:50 - 15:10
Verification / Theory
Research Papers
at
Zurich D
+8h
Chair(s):
Xiaokang Qiu
Purdue University, USA
13:50
15m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
Virtual
Research Papers
Pavol Vargovčík
Brno University of Technology, Czech Republic
,
Lukáš Holík
Brno University of Technology
14:05
15m
Talk
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Virtual
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:20
15m
Talk
Solving Not-Substring with Flat Abstraction
Virtual
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:35
15m
Talk
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Virtual
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
14:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
17:00 - 18:20
Invited talk 2
Keynote Talks
at
Zurich D
Chair(s):
Xujie Si
McGill University, Canada
17:00
60m
Keynote
A Separation Logic for Probabilistic Independence
Virtual
Keynote Talks
Justin Hsu
University of Wisconsin-Madison, USA
18:50 - 20:10
Language Design (mirror)
Research Papers
at
Zurich D
Chair(s):
Andreea Costea
School of Computing, National University Of Singapore
18:50
15m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
Virtual
Research Papers
Thi Thu Ha Doan
University of Freiburg
,
Peter Thiemann
University of Freiburg, Germany
19:05
15m
Talk
Adaptable Traces for Program Explanations
Virtual
Research Papers
Divya Bajaj
Oregon State University
,
Martin Erwig
Oregon State University
,
Danila Fedorin
Oregon State University
,
Kai Gay
Oregon State University
19:20
15m
Talk
Latent Effects for Reusable Language Components
Virtual
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:35
15m
Talk
The Choice Construct in the Soufflé Language
Virtual
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
19:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
21:50 - 23:10
Verification / Theory (mirror)
Research Papers
at
Zurich D
Chair(s):
Yue Li
Nanjing University
21:50
15m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
Virtual
Research Papers
Pavol Vargovčík
Brno University of Technology, Czech Republic
,
Lukáš Holík
Brno University of Technology
22:05
15m
Talk
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Virtual
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:20
15m
Talk
Solving Not-Substring with Flat Abstraction
Virtual
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:35
15m
Talk
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Virtual
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
22:50
20m
Live Q&A
Q&A and discussion
Virtual
Research Papers
Tue 19 Oct
Displayed time zone:
Central Time (US & Canada)
change
07:40 - 09:00
Session 4C
SAS
at
Zurich D
Chair(s):
Jerome Feret
INRIA Paris
07:40
15m
Talk
Fast and Efficient Bit-Level Precision Tuning
Virtual
SAS
Assalé Adjé
Université de Perpignan Via Domitia
,
Dorra Ben Khalifa
Université de Perpignan Via Domitia
,
Matthieu Martel
Université de Perpignan Via Domitia
07:55
15m
Talk
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Virtual
SAS
Denis Mazzucato
INRIA & École Normale Supérieure
,
Caterina Urban
École normale supérieure
08:10
15m
Talk
Static analysis of ReLU neural networks with tropical polyhedra
Virtual
SAS
Eric Goubault
Ecole Polytechnique
,
Sebastien Palumby
Ecole Polytechnique
,
Sylvie Putot
École Polytechnique
,
Louis Rustenholz
École Polytechnique
,
Sriram Sankaranarayanan
University of Colorado, Boulder
08:25
15m
Talk
Toward Neural-Network-Guided Program Synthesis and Verification
Virtual
SAS
Naoki Kobayashi
University of Tokyo, Japan
,
Taro Sekiyama
National Institute of Informatics
,
Issei Sato
The University of Tokyo
,
Hiroshi Unno
University of Tsukuba
08:40
20m
Live Q&A
Session 4C Discussion, Questions and Answers
Virtual
SAS
10:50 - 12:10
Session 2C
SAS
at
Zurich D
Chair(s):
Cezara Drăgoi
Inria / ENS / Informal Systems
10:50
80m
Talk
Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts
Invited Talk
Virtual
SAS
Mooly Sagiv
Tel Aviv University
13:50 - 15:10
Session 3C
SAS
at
Zurich D
+8h
Chair(s):
David Pichardie
Facebook Paris
13:50
15m
Talk
Automatic Synthesis of Data-Flow Analyzers
Virtual
SAS
Xuezheng Xu
UNSW Sydney
,
Xudong Wang
UNSW Sydney
,
Jingling Xue
UNSW Sydney
14:05
15m
Talk
Disjunctive Interval Analysis
Virtual
SAS
Graeme Gange
,
Jorge A. Navas
SRI International
,
Peter Schachte
,
Harald Sondergaard
,
Peter J. Stuckey
Monash University
14:20
15m
Talk
Hash Consed Points-To Sets
Virtual
SAS
Mohamad Barbar
University of Technology Sydney; CSIRO’s Data61
,
Yulei Sui
University of New South Wales, Sydney
14:35
15m
Talk
Selective Context-Sensitivity for k-CFA with CFL-Reachability
Virtual
SAS
Jingbo Lu
UNSW Sydney
,
Dongjie He
UNSW Sydney
,
Jingling Xue
UNSW Sydney
14:50
20m
Live Q&A
Session 3C Discussion, Questions and Answers
SAS
15:40 - 17:00
Session 4C
SAS
at
Zurich D
-8h
Chair(s):
Suvam Mukherjee
Microsoft Research
15:40
15m
Talk
Fast and Efficient Bit-Level Precision Tuning
Virtual
SAS
Assalé Adjé
Université de Perpignan Via Domitia
,
Dorra Ben Khalifa
Université de Perpignan Via Domitia
,
Matthieu Martel
Université de Perpignan Via Domitia
15:55
15m
Talk
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Virtual
SAS
Denis Mazzucato
INRIA & École Normale Supérieure
,
Caterina Urban
École normale supérieure
16:10
15m
Talk
Static analysis of ReLU neural networks with tropical polyhedra
Virtual
SAS
Eric Goubault
Ecole Polytechnique
,
Sebastien Palumby
Ecole Polytechnique
,
Sylvie Putot
École Polytechnique
,
Louis Rustenholz
École Polytechnique
,
Sriram Sankaranarayanan
University of Colorado, Boulder
16:25
15m
Talk
Toward Neural-Network-Guided Program Synthesis and Verification
Virtual
SAS
Naoki Kobayashi
University of Tokyo, Japan
,
Taro Sekiyama
National Institute of Informatics
,
Issei Sato
The University of Tokyo
,
Hiroshi Unno
University of Tsukuba
16:40
20m
Live Q&A
Session 4C Discussion, Questions and Answers
Virtual
SAS
21:50 - 23:10
Session 3C
SAS
at
Zurich D
Chair(s):
Kedar Namjoshi
Nokia Bell Labs
21:50
15m
Talk
Automatic Synthesis of Data-Flow Analyzers
Virtual
SAS
Xuezheng Xu
UNSW Sydney
,
Xudong Wang
UNSW Sydney
,
Jingling Xue
UNSW Sydney
22:05
15m
Talk
Disjunctive Interval Analysis
Virtual
SAS
Graeme Gange
,
Jorge A. Navas
SRI International
,
Peter Schachte
,
Harald Sondergaard
,
Peter J. Stuckey
Monash University
22:20
15m
Talk
Hash Consed Points-To Sets
Virtual
SAS
Mohamad Barbar
University of Technology Sydney; CSIRO’s Data61
,
Yulei Sui
University of New South Wales, Sydney
22:35
15m
Talk
Selective Context-Sensitivity for k-CFA with CFL-Reachability
Virtual
SAS
Jingbo Lu
UNSW Sydney
,
Dongjie He
UNSW Sydney
,
Jingling Xue
UNSW Sydney
22:50
20m
Live Q&A
Session 3C Discussion, Questions and Answers
SAS
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
07:40 - 09:00
Shared Memory - mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Sebastian Burckhardt
Microsoft Research
07:40
15m
Talk
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Virtual
SPLASH OOPSLA
Dan Iorga
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
DOI
07:55
15m
Talk
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
Virtual
SPLASH OOPSLA
Pengbo Yan
University of Melbourne
,
Toby Murray
University of Melbourne
DOI
08:10
15m
Talk
The Reads-From Equivalence for the TSO and PSO Memory Models
Virtual
SPLASH OOPSLA
Truc Lam Bui
Comenius University Bratislava
,
Krishnendu Chatterjee
IST Austria
,
Tushar Gautam
IIT Bombay
,
Andreas Pavlogiannis
Aarhus University
,
Viktor Toman
IST Austria
DOI
08:25
15m
Talk
Making Weak Memory Models Fair
Virtual
SPLASH OOPSLA
Ori Lahav
Tel Aviv University
,
Egor Namakonov
St. Petersburg University; JetBrains Research
,
Jonas Oberhauser
Huawei
,
Anton Podkopaev
HSE University; JetBrains Research
,
Viktor Vafeiadis
MPI-SWS
DOI
08:40
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
09:00 - 09:01
SPLASH Start
SPLASH Opening
at
Zurich D
09:00
1m
Day opening
SPLASH Conference at Chicago Starts Now
In-Person
SPLASH Opening
09:00 - 09:20
Opening Session
SPLASH Opening
at
Zurich D
+8h
09:00
20m
Day opening
Opening Session
In-Person
SPLASH Opening
Hridesh Rajan
Iowa State University
09:20 - 10:20
SPLASH Keynote
SPLASH Keynotes
at
Zurich D
+8h
09:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific Discovery
Keynote
SPLASH Keynotes
K:
Rick Stevens
Argonne National Laboratory
10:20 - 10:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
+8h
10:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing Platform
Virtual
Onward! Papers
SPLASH Posters
Favyen Bastani
Massachusetts Institute of Technology
,
Songtao He
Massachusetts Institute of Technology
,
Ziwen Jiang
Massachusetts Institute of Technology
,
Osbert Bastani
University of Pennsylvania
,
Sam Madden
Massachusetts Institute of Technology
10:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Virtual
Onward! Papers
SPLASH Posters
Kiko Fernandez-Reyes
Uppsala University
,
Isaac Oscar Gariano
Victoria University of Wellington
,
James Noble
Victoria University of Wellington
,
Erin Greenwood-Thessman
Victoria University of Wellington
,
Michael Homer
Victoria University of Wellington
,
Tobias Wrigstad
Uppsala University, Sweden
10:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Virtual
OOPSLA
SPLASH Posters
Wolf Honore
Yale University
,
Jieung Kim
Yale University
,
Ji-Yong Shin
Northeastern University
,
Zhong Shao
Yale University
10:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Virtual
OOPSLA
SPLASH Posters
Dan Iorga
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
10:20
30m
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
In-Person and Virtual
OOPSLA
SPLASH Posters
Yuyan Bao
University of Waterloo
,
Guannan Wei
Purdue University
,
Oliver Bračevac
Purdue University
,
Yuxuan Jiang
Purdue University
,
Qiyang He
Purdue University
,
Tiark Rompf
Purdue University
10:20
30m
Poster
Towards Self-Adaptable Languages
Virtual
Onward! Papers
SPLASH Posters
Gwendal Jouneaux
University of Rennes; Inria; IRISA
,
Olivier Barais
University of Rennes; Inria; IRISA
,
Benoit Combemale
University of Rennes; Inria; IRISA
,
Gunter Mussbacher
McGill University
10:50 - 12:10
Functional Programming
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Nada Amin
Harvard University
10:50
15m
Talk
Compiling with Continuations, Correctly
Virtual
SPLASH OOPSLA
Zoe Paraskevopoulou
Northeastern University
,
Anvay Grover
University of Wisconsin-Madison
DOI
11:05
15m
Talk
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Virtual
SPLASH OOPSLA
Masaomi Yamaguchi
Tohoku University
,
Kazutaka Matsuda
Tohoku University
,
Cristina David
University of Bristol
,
Meng Wang
University of Bristol
DOI
11:20
15m
Talk
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Virtual
SPLASH OOPSLA
Yuyan Bao
University of Waterloo
,
Guannan Wei
Purdue University
,
Oliver Bračevac
Purdue University
,
Yuxuan Jiang
Purdue University
,
Qiyang He
Purdue University
,
Tiark Rompf
Purdue University
DOI
11:35
15m
Talk
Efficient Compilation of Algebraic Effect Handlers
Virtual
SPLASH OOPSLA
Georgios Karachalias
Tweag
,
Filip Koprivec
University of Ljubljana; Institute of Mathematics
,
Matija Pretnar
University of Ljubljana; Institute of Mathematics
,
Tom Schrijvers
KU Leuven
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
13:50 - 15:10
Rust
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Nadia Polikarpova
University of California at San Diego
13:50
15m
Talk
Translating C to Safer Rust
Virtual
SPLASH OOPSLA
Mehmet Emre
University of California at Santa Barbara
,
Ryan Schroeder
University of California at Santa Barbara
,
Kyle Dewey
California State University at Northridge
,
Ben Hardekopf
University of California at Santa Barbara
DOI
14:05
15m
Talk
Modular Specification and Verification of Closures in Rust
Virtual
SPLASH OOPSLA
Fabian Wolff
,
Aurel Bílý
ETH Zurich
,
Christoph Matheja
ETH Zurich
,
Peter Müller
ETH Zurich
,
Alexander J. Summers
University of British Columbia
DOI
14:20
15m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Virtual
SPLASH OOPSLA
Natalie Popescu
Princeton University
,
Ziyang Xu
Princeton University
,
Sotiris Apostolakis
Google
,
David I. August
Princeton University
,
Amit Levy
Princeton University
DOI
14:35
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
15:40 - 17:00
Shared Memory
SPLASH OOPSLA
at
Zurich D
-8h
Chair(s):
Doug Lea
State University of New York (SUNY) Oswego
15:40
15m
Talk
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Virtual
SPLASH OOPSLA
Dan Iorga
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
DOI
15:55
15m
Talk
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
Virtual
SPLASH OOPSLA
Pengbo Yan
University of Melbourne
,
Toby Murray
University of Melbourne
DOI
16:10
15m
Talk
The Reads-From Equivalence for the TSO and PSO Memory Models
Virtual
SPLASH OOPSLA
Truc Lam Bui
Comenius University Bratislava
,
Krishnendu Chatterjee
IST Austria
,
Tushar Gautam
IIT Bombay
,
Andreas Pavlogiannis
Aarhus University
,
Viktor Toman
IST Austria
DOI
16:25
15m
Talk
Making Weak Memory Models Fair
Virtual
SPLASH OOPSLA
Ori Lahav
Tel Aviv University
,
Egor Namakonov
St. Petersburg University; JetBrains Research
,
Jonas Oberhauser
Huawei
,
Anton Podkopaev
HSE University; JetBrains Research
,
Viktor Vafeiadis
MPI-SWS
DOI
16:40
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
17:00 - 17:20
Opening Session
SPLASH Opening
at
Zurich D
17:00
20m
Day opening
Opening Session
In-Person
SPLASH Opening
Hridesh Rajan
Iowa State University
17:20 - 18:20
SPLASH Keynote
SPLASH Keynotes
at
Zurich D
17:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific Discovery
Keynote
SPLASH Keynotes
K:
Rick Stevens
Argonne National Laboratory
18:20 - 18:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
18:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing Platform
Virtual
Onward! Papers
SPLASH Posters
Favyen Bastani
Massachusetts Institute of Technology
,
Songtao He
Massachusetts Institute of Technology
,
Ziwen Jiang
Massachusetts Institute of Technology
,
Osbert Bastani
University of Pennsylvania
,
Sam Madden
Massachusetts Institute of Technology
18:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Virtual
OOPSLA
SPLASH Posters
Dan Iorga
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
18:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Virtual
Onward! Papers
SPLASH Posters
Kiko Fernandez-Reyes
Uppsala University
,
Isaac Oscar Gariano
Victoria University of Wellington
,
James Noble
Victoria University of Wellington
,
Erin Greenwood-Thessman
Victoria University of Wellington
,
Michael Homer
Victoria University of Wellington
,
Tobias Wrigstad
Uppsala University, Sweden
18:20
30m
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
In-Person and Virtual
OOPSLA
SPLASH Posters
Yuyan Bao
University of Waterloo
,
Guannan Wei
Purdue University
,
Oliver Bračevac
Purdue University
,
Yuxuan Jiang
Purdue University
,
Qiyang He
Purdue University
,
Tiark Rompf
Purdue University
18:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Virtual
OOPSLA
SPLASH Posters
Wolf Honore
Yale University
,
Jieung Kim
Yale University
,
Ji-Yong Shin
Northeastern University
,
Zhong Shao
Yale University
18:20
30m
Poster
Towards Self-Adaptable Languages
Virtual
Onward! Papers
SPLASH Posters
Gwendal Jouneaux
University of Rennes; Inria; IRISA
,
Olivier Barais
University of Rennes; Inria; IRISA
,
Benoit Combemale
University of Rennes; Inria; IRISA
,
Gunter Mussbacher
McGill University
18:50 - 20:10
Functional Programming - Mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
18:50
15m
Talk
Compiling with Continuations, Correctly
Virtual
SPLASH OOPSLA
Zoe Paraskevopoulou
Northeastern University
,
Anvay Grover
University of Wisconsin-Madison
DOI
19:05
15m
Talk
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Virtual
SPLASH OOPSLA
Masaomi Yamaguchi
Tohoku University
,
Kazutaka Matsuda
Tohoku University
,
Cristina David
University of Bristol
,
Meng Wang
University of Bristol
DOI
19:20
15m
Talk
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Virtual
SPLASH OOPSLA
Yuyan Bao
University of Waterloo
,
Guannan Wei
Purdue University
,
Oliver Bračevac
Purdue University
,
Yuxuan Jiang
Purdue University
,
Qiyang He
Purdue University
,
Tiark Rompf
Purdue University
DOI
19:35
15m
Talk
Efficient Compilation of Algebraic Effect Handlers
Virtual
SPLASH OOPSLA
Georgios Karachalias
Tweag
,
Filip Koprivec
University of Ljubljana; Institute of Mathematics
,
Matija Pretnar
University of Ljubljana; Institute of Mathematics
,
Tom Schrijvers
KU Leuven
DOI
19:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
21:50 - 23:10
Rust - mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Toby Murray
University of Melbourne
21:50
15m
Talk
Translating C to Safer Rust
Virtual
SPLASH OOPSLA
Mehmet Emre
University of California at Santa Barbara
,
Ryan Schroeder
University of California at Santa Barbara
,
Kyle Dewey
California State University at Northridge
,
Ben Hardekopf
University of California at Santa Barbara
DOI
22:05
15m
Talk
Modular Specification and Verification of Closures in Rust
Virtual
SPLASH OOPSLA
Fabian Wolff
,
Aurel Bílý
ETH Zurich
,
Christoph Matheja
ETH Zurich
,
Peter Müller
ETH Zurich
,
Alexander J. Summers
University of British Columbia
DOI
22:20
15m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Virtual
SPLASH OOPSLA
Natalie Popescu
Princeton University
,
Ziyang Xu
Princeton University
,
Sotiris Apostolakis
Google
,
David I. August
Princeton University
,
Amit Levy
Princeton University
DOI
22:35
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
Thu 21 Oct
Displayed time zone:
Central Time (US & Canada)
change
07:40 - 09:00
Corpus and User Studies - mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Julian Dolby
IBM Research, USA
07:40
15m
Talk
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Virtual
SPLASH OOPSLA
Stefanos Chaliasos
Athens University of Economics and Business
,
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
University of Athens
,
Diomidis Spinellis
Athens University of Economics and Business; Delft University of Technology
DOI
07:55
15m
Talk
How Statically-Typed Functional Programmers Write Code
Virtual
SPLASH OOPSLA
Justin Lubin
University of California at Berkeley
,
Sarah E. Chasins
University of California at Berkeley
DOI
08:10
15m
Talk
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Virtual
SPLASH OOPSLA
Aviral Goel
Northeastern University
,
Pierre Donat-Bouillud
Czech Technical University
,
Filip Křikava
Czech Technical University
,
Christoph Kirsch
University of Salzburg; Czech Technical University
,
Jan Vitek
Northeastern University; Czech Technical University
DOI
08:25
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
09:20 - 10:20
SPLASH Keynote
SPLASH Keynotes
at
Zurich D
+8h
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
09:20
60m
Talk
Integrated Scientific Modeling and Lab Automation
Keynote
SPLASH Keynotes
K:
Luca Cardelli
University of Oxford
10:20 - 10:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
+8h
10:20
30m
Poster
Coarsening Optimization for Differentiable Programming
Virtual
OOPSLA
SPLASH Posters
Xipeng Shen
North Carolina State University; Facebook
,
Guoqiang Zhang
North Carolina State University; Facebook
,
Irene Dea
Facebook
,
Samantha Andow
Facebook
,
Emilio Arroyo-Fang
Facebook
,
Neal Gafter
Facebook
,
Johann George
Facebook
,
Melissa Grueter
Facebook
,
Erik Meijer
Facebook
,
Olin Shivers
Northeastern University, USA
,
Steffi Stumpos
Facebook
,
Alanna Tempest
Facebook
,
Christy Warden
Facebook
,
Shannon Yang
Facebook
10:20
30m
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
In-Person and Virtual
OOPSLA
SPLASH Posters
Eric Atkinson
Massachusetts Institute of Technology
,
Guillaume Baudart
IBM Research, USA
,
Louis Mandel
IBM Research
,
Charles Yuan
Massachusetts Institute of Technology
,
Michael Carbin
Massachusetts Institute of Technology
10:20
30m
Poster
Compilation of Sparse Array Programming Models
In-Person and Virtual
OOPSLA
SPLASH Posters
Rawn Henry
Massachusetts Institute of Technology
,
Olivia Hsu
Stanford University
,
Rohan Yadav
Stanford University
,
Stephen Chou
Massachusetts Institute of Technology
,
Kunle Olukotun
Stanford University
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Fredrik Kjolstad
Stanford University
10:20
30m
Poster
Study of the Subtyping Machine of Nominal Subtyping with Variance
Virtual
Demo
OOPSLA
SPLASH Posters
Ori Roth
Technion
10:50 - 12:10
Specification Synthesis
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Zoe Paraskevopoulou
Northeastern University
10:50
15m
Talk
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Virtual
SPLASH OOPSLA
Didier Ishimwe
University of Nebraska-Lincoln
,
KimHao Nguyen
University of Nebraska-Lincoln
,
ThanhVu Nguyen
George Mason University
DOI
11:05
15m
Talk
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
In-Person
SPLASH OOPSLA
Jialu Zhang
Yale University
,
Ruzica Piskac
Yale University
,
Ennan Zhai
Alibaba Group
,
Tianyin Xu
University of Illinois at Urbana-Champaign
DOI
11:20
15m
Talk
Data-Driven Abductive Inference of Library Specifications
In-Person
SPLASH OOPSLA
Zhe Zhou
Purdue University
,
Robert Dickerson
Purdue University
,
Benjamin Delaware
Purdue University
,
Suresh Jagannathan
Purdue University
DOI
11:35
15m
Talk
Synthesizing Contracts Correct Modulo a Test Generator
In-Person
SPLASH 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
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
13:50 - 15:10
Types
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Christos Dimoulas
PLT @ Northwestern University
13:50
15m
Talk
Study of the Subtyping Machine of Nominal Subtyping with Variance
Virtual
SPLASH OOPSLA
Ori Roth
Technion
DOI
Pre-print
Media Attached
14:05
15m
Talk
Label Dependent Lambda Calculus and Gradual Typing
Virtual
SPLASH OOPSLA
Weili Fu
University of Edinburgh
,
Fabian Krause
University of Freiburg
,
Peter Thiemann
University of Freiburg, Germany
DOI
14:20
15m
Talk
Relational Nullable Types with Boolean Unification
Virtual
SPLASH OOPSLA
Magnus Madsen
Aarhus University
,
Jaco van de Pol
Aarhus University
DOI
14:35
15m
Talk
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
In-Person
SPLASH OOPSLA
Artem Pelenitsyn
Northeastern University
,
Julia Belyakova
Northeastern University
,
Benjamin Chung
Northeastern University
,
Ross Tate
Cornell University
,
Jan Vitek
Northeastern University; Czech Technical University
DOI
Pre-print
Media Attached
14:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
15:40 - 17:00
Corpus and User Studies
SPLASH OOPSLA
at
Zurich D
-8h
Chair(s):
Iulian Neamtiu
New Jersey Institute of Technology
15:40
15m
Talk
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Virtual
SPLASH OOPSLA
Stefanos Chaliasos
Athens University of Economics and Business
,
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
University of Athens
,
Diomidis Spinellis
Athens University of Economics and Business; Delft University of Technology
DOI
15:55
15m
Talk
How Statically-Typed Functional Programmers Write Code
Virtual
SPLASH OOPSLA
Justin Lubin
University of California at Berkeley
,
Sarah E. Chasins
University of California at Berkeley
DOI
16:10
15m
Talk
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Virtual
SPLASH OOPSLA
Aviral Goel
Northeastern University
,
Pierre Donat-Bouillud
Czech Technical University
,
Filip Křikava
Czech Technical University
,
Christoph Kirsch
University of Salzburg; Czech Technical University
,
Jan Vitek
Northeastern University; Czech Technical University
DOI
16:25
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
17:20 - 18:20
SPLASH Keynote
SPLASH Keynotes
at
Zurich D
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
17:20
60m
Talk
Integrated Scientific Modeling and Lab Automation
Keynote
SPLASH Keynotes
K:
Luca Cardelli
University of Oxford
18:20 - 18:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
18:20
30m
Poster
Study of the Subtyping Machine of Nominal Subtyping with Variance
Virtual
Demo
OOPSLA
SPLASH Posters
Ori Roth
Technion
18:20
30m
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
In-Person and Virtual
OOPSLA
SPLASH Posters
Eric Atkinson
Massachusetts Institute of Technology
,
Guillaume Baudart
IBM Research, USA
,
Louis Mandel
IBM Research
,
Charles Yuan
Massachusetts Institute of Technology
,
Michael Carbin
Massachusetts Institute of Technology
18:20
30m
Poster
Compilation of Sparse Array Programming Models
In-Person and Virtual
OOPSLA
SPLASH Posters
Rawn Henry
Massachusetts Institute of Technology
,
Olivia Hsu
Stanford University
,
Rohan Yadav
Stanford University
,
Stephen Chou
Massachusetts Institute of Technology
,
Kunle Olukotun
Stanford University
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Fredrik Kjolstad
Stanford University
18:20
30m
Poster
Coarsening Optimization for Differentiable Programming
Virtual
OOPSLA
SPLASH Posters
Xipeng Shen
North Carolina State University; Facebook
,
Guoqiang Zhang
North Carolina State University; Facebook
,
Irene Dea
Facebook
,
Samantha Andow
Facebook
,
Emilio Arroyo-Fang
Facebook
,
Neal Gafter
Facebook
,
Johann George
Facebook
,
Melissa Grueter
Facebook
,
Erik Meijer
Facebook
,
Olin Shivers
Northeastern University, USA
,
Steffi Stumpos
Facebook
,
Alanna Tempest
Facebook
,
Christy Warden
Facebook
,
Shannon Yang
Facebook
18:50 - 20:10
Specification Synthesis - mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Toby Murray
University of Melbourne
18:50
15m
Talk
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Virtual
SPLASH OOPSLA
Didier Ishimwe
University of Nebraska-Lincoln
,
KimHao Nguyen
University of Nebraska-Lincoln
,
ThanhVu Nguyen
George Mason University
DOI
19:05
15m
Talk
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
In-Person
SPLASH OOPSLA
Jialu Zhang
Yale University
,
Ruzica Piskac
Yale University
,
Ennan Zhai
Alibaba Group
,
Tianyin Xu
University of Illinois at Urbana-Champaign
DOI
19:20
15m
Talk
Data-Driven Abductive Inference of Library Specifications
In-Person
SPLASH OOPSLA
Zhe Zhou
Purdue University
,
Robert Dickerson
Purdue University
,
Benjamin Delaware
Purdue University
,
Suresh Jagannathan
Purdue University
DOI
19:35
15m
Talk
Synthesizing Contracts Correct Modulo a Test Generator
In-Person
SPLASH 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
DOI
19:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
21:50 - 23:10
Types - mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Wei-Ngan Chin
National University of Singapore
21:50
15m
Talk
Study of the Subtyping Machine of Nominal Subtyping with Variance
Virtual
SPLASH OOPSLA
Ori Roth
Technion
DOI
Pre-print
Media Attached
22:05
15m
Talk
Label Dependent Lambda Calculus and Gradual Typing
Virtual
SPLASH OOPSLA
Weili Fu
University of Edinburgh
,
Fabian Krause
University of Freiburg
,
Peter Thiemann
University of Freiburg, Germany
DOI
22:20
15m
Talk
Relational Nullable Types with Boolean Unification
Virtual
SPLASH OOPSLA
Magnus Madsen
Aarhus University
,
Jaco van de Pol
Aarhus University
DOI
22:35
15m
Talk
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
In-Person
SPLASH OOPSLA
Artem Pelenitsyn
Northeastern University
,
Julia Belyakova
Northeastern University
,
Benjamin Chung
Northeastern University
,
Ross Tate
Cornell University
,
Jan Vitek
Northeastern University; Czech Technical University
DOI
Pre-print
Media Attached
22:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
Fri 22 Oct
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 09:05
SPLASH 2022 Introduction
SPLASH Opening
at
Zurich D
+8h
09:00
5m
Other
Introduction to SPLASH 2022
SPLASH Opening
Alex Potanin
Victoria University of Wellington
09:05 - 09:20
Awards
SPLASH Awards
at
Zurich D
+8h
Chair(s):
Işıl Dillig
University of Texas at Austin
,
Sophia Drossopoulou
Facebook and Imperial College London
09:05
15m
Awards
SPLASH Awards
SPLASH Awards
09:20 - 10:20
Onward! Keynote Talk
SPLASH Onward! Papers
at
Zurich D
+8h
Chair(s):
Wolfgang De Meuter
Vrije Universiteit Brussel
09:20
60m
Keynote
Designing Safe Programmed Molecular Systems
Virtual
Keynote
SPLASH Onward! Papers
K:
Robyn Lutz
Iowa State University
10:20 - 10:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
+8h
10:20
30m
Poster
Formal Verification of High-Level Synthesis
Virtual
Demo
OOPSLA
SPLASH Posters
Yann Herklotz
Imperial College London
,
James D. Pollard
Imperial College London
,
Nadesh Ramanathan
Imperial College London
,
John Wickerson
Imperial College London
10:20
30m
Poster
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Virtual
Demo
OOPSLA
SPLASH Posters
Florian Lanzinger
KIT
,
Alexander Weigl
KIT
,
Mattias Ulbrich
KIT
,
Werner Dietl
University of Waterloo
10:50 - 12:10
Synthesis of models, tools and programs
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
10:50
15m
Talk
Rewrite Rule Inference Using Equality Saturation
Virtual
SPLASH OOPSLA
Chandrakana Nandi
Certora, inc.
,
Max Willsey
University of Washington
,
Amy Zhu
University of Washington
,
Yisu Remy Wang
University of Washington
,
Brett Saiki
University of Washington
,
Adam Anderson
University of Washington
,
Adriana Schulz
University of Washington
,
Dan Grossman
University of Washington
,
Zachary Tatlock
University of Washington
DOI
11:05
15m
Talk
Semantic Programming by Example with Pre-trained Models
Virtual
SPLASH OOPSLA
Gust Verbruggen
KU Leuven
,
Vu Le
Microsoft
,
Sumit Gulwani
Microsoft
DOI
11:20
15m
Talk
One Down, 699 to Go: or, Synthesising Compositional Desugarings
Virtual
SPLASH OOPSLA
Sándor Bartha
University of Edinburgh
,
James Cheney
University of Edinburgh; Alan Turing Institute
,
Vaishak Belle
University of Edinburgh; Alan Turing Institute
DOI
11:35
15m
Talk
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
In-Person
SPLASH 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
DOI
Pre-print
11:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
13:50 - 15:10
Types & Verification
SPLASH OOPSLA
at
Zurich D
+8h
Chair(s):
Leonidas Lampropoulos
University of Maryland, College Park
13:50
15m
Talk
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Virtual
SPLASH OOPSLA
Florian Lanzinger
KIT
,
Alexander Weigl
KIT
,
Mattias Ulbrich
KIT
,
Werner Dietl
University of Waterloo
DOI
14:05
15m
Talk
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Virtual
SPLASH OOPSLA
Paul He
University of Pennsylvania
,
Edwin Westbrook
Galois
,
Brent Carmer
Galois
,
Chris Phifer
Galois
,
Valentin Robert
Galois
,
Karl Smeltzer
Galois
,
Andrei Ştefănescu
Galois
,
Aaron Tomb
Galois
,
Adam Wick
Galois
,
Matthew Yacavone
Galois
,
Steve Zdancewic
University of Pennsylvania
DOI
14:20
15m
Talk
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
In-Person
SPLASH OOPSLA
Fabian Muehlboeck
IST Austria
,
Ross Tate
Cornell University
DOI
14:35
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
15:10 - 17:00
Closing Session
SPLASH Closing
at
Zurich D
15:10
1h50m
Day closing
Ice Cream Social
SPLASH Closing
Hridesh Rajan
Iowa State University
17:00 - 17:05
SPLASH 2022 Introduction
SPLASH Opening
at
Zurich D
17:00
5m
Other
Introduction to SPLASH 2022
SPLASH Opening
Alex Potanin
Victoria University of Wellington
17:05 - 17:20
Awards
SPLASH Awards
at
Zurich D
17:05
15m
Awards
SPLASH Awards
SPLASH Awards
17:20 - 18:20
Onward! Keynote Talk
SPLASH Onward! Papers
at
Zurich D
Chair(s):
Elisa Baniassad
University of British Columbia
17:20
60m
Keynote
Designing Safe Programmed Molecular Systems
Virtual
Keynote
SPLASH Onward! Papers
K:
Robyn Lutz
Iowa State University
18:20 - 18:50
Posters Virtual Session
SPLASH Posters
at
Zurich D
18:20
30m
Poster
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Virtual
Demo
OOPSLA
SPLASH Posters
Florian Lanzinger
KIT
,
Alexander Weigl
KIT
,
Mattias Ulbrich
KIT
,
Werner Dietl
University of Waterloo
18:20
30m
Poster
Formal Verification of High-Level Synthesis
Virtual
Demo
OOPSLA
SPLASH Posters
Yann Herklotz
Imperial College London
,
James D. Pollard
Imperial College London
,
Nadesh Ramanathan
Imperial College London
,
John Wickerson
Imperial College London
18:50 - 20:10
Synthesis of models, tools and programs -- mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Alex Potanin
Victoria University of Wellington
18:50
15m
Talk
Rewrite Rule Inference Using Equality Saturation
Virtual
SPLASH OOPSLA
Chandrakana Nandi
Certora, inc.
,
Max Willsey
University of Washington
,
Amy Zhu
University of Washington
,
Yisu Remy Wang
University of Washington
,
Brett Saiki
University of Washington
,
Adam Anderson
University of Washington
,
Adriana Schulz
University of Washington
,
Dan Grossman
University of Washington
,
Zachary Tatlock
University of Washington
DOI
19:05
15m
Talk
Semantic Programming by Example with Pre-trained Models
Virtual
SPLASH OOPSLA
Gust Verbruggen
KU Leuven
,
Vu Le
Microsoft
,
Sumit Gulwani
Microsoft
DOI
19:20
15m
Talk
One Down, 699 to Go: or, Synthesising Compositional Desugarings
Virtual
SPLASH OOPSLA
Sándor Bartha
University of Edinburgh
,
James Cheney
University of Edinburgh; Alan Turing Institute
,
Vaishak Belle
University of Edinburgh; Alan Turing Institute
DOI
19:35
15m
Talk
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
In-Person
SPLASH 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
DOI
Pre-print
19:50
20m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
21:50 - 23:10
Types & Verification -- mirror
SPLASH OOPSLA
at
Zurich D
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
21:50
15m
Talk
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Virtual
SPLASH OOPSLA
Florian Lanzinger
KIT
,
Alexander Weigl
KIT
,
Mattias Ulbrich
KIT
,
Werner Dietl
University of Waterloo
DOI
22:05
15m
Talk
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Virtual
SPLASH OOPSLA
Paul He
University of Pennsylvania
,
Edwin Westbrook
Galois
,
Brent Carmer
Galois
,
Chris Phifer
Galois
,
Valentin Robert
Galois
,
Karl Smeltzer
Galois
,
Andrei Ştefănescu
Galois
,
Aaron Tomb
Galois
,
Adam Wick
Galois
,
Matthew Yacavone
Galois
,
Steve Zdancewic
University of Pennsylvania
DOI
22:20
15m
Talk
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
In-Person
SPLASH OOPSLA
Fabian Muehlboeck
IST Austria
,
Ross Tate
Cornell University
DOI
22:35
35m
Live Q&A
Discussion, Questions and Answers
SPLASH OOPSLA
Sun 17 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
Research Papers
Keynote Talks
Invited talk 1
Research Papers
Analysis / Synthesis
Research Papers
Compilation / Transformation
Research Papers
Keynote Talks
Invited talk 1
Research Papers
Analysis / Synthesis (mirror)
Research Papers
Compilation / Transformation (mirror)
Mon 18 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
Research Papers
Keynote Talks
Invited talk 2
Research Papers
Language Design
Research Papers
Verification / Theory
Research Papers
Keynote Talks
Invited talk 2
Research Papers
Language Design (mirror)
Research Papers
Verification / Theory (mirror)
Tue 19 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
SAS
Session 4C
SAS
SAS
Session 2C
SAS
Session 3C
SAS
Session 4C
SAS
SAS
Session 3C
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
SPLASH OOPSLA
Shared Memory - mirror
SPLASH Opening
SPLASH Start
SPLASH Opening
Opening Session
09:00 - 09:20
SPLASH Keynotes
SPLASH Keynote
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Functional Programming
SPLASH OOPSLA
Rust
SPLASH OOPSLA
Shared Memory
SPLASH Opening
Opening Session
SPLASH Keynotes
SPLASH Keynote
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Functional Programming - Mirror
SPLASH OOPSLA
Rust - mirror
Thu 21 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
SPLASH OOPSLA
Corpus and User Studies - mirror
SPLASH Awards
SPLASH Keynotes
SPLASH Keynote
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Specification Synthesis
SPLASH OOPSLA
Types
SPLASH OOPSLA
Corpus and User Studies
SPLASH SIGPLAN Business
SPLASH Awards
17:00 - 17:20
SPLASH Keynotes
SPLASH Keynote
17:20 - 18:20
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Specification Synthesis - mirror
SPLASH OOPSLA
Types - mirror
Fri 22 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Zurich D
SPLASH Opening
SPLASH 2022 Introduction
SPLASH Awards
Awards
SPLASH Onward! Papers
Onward! Keynote Talk
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Synthesis of models, tools and programs
SPLASH OOPSLA
Types & Verification
SPLASH Closing
Closing Session
SPLASH Opening
SPLASH 2022 Introduction
SPLASH Awards
Awards
SPLASH Onward! Papers
Onward! Keynote Talk
SPLASH Posters
Posters Virtual Session
SPLASH OOPSLA
Synthesis of models, tools and programs -- mirror
SPLASH OOPSLA
Types & Verification -- mirror
Sun 17 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
APLAS Keynote Talks
Virtual
Solidifying and Advancing the Software Foundations
09:00 - 10:00
APLAS Research Papers
Virtual
Scalable and Modular Robustness Analysis of Deep Neural Networks
10:50 - 11:05
APLAS Research Papers
Virtual
Server-Side Computation of Package Dependencies in Package-Management S ...
11:05 - 11:20
APLAS Research Papers
Virtual
PyCT: A Python Concolic Tester
11:20 - 11:30
APLAS Research Papers
Virtual
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic ...
11:30 - 11:40
APLAS Research Papers
Virtual
Function Pointer Eliminator for C Programs
11:40 - 11:50
APLAS Research Papers
Virtual
Q&A and discussion
11:50 - 12:10
APLAS Research Papers
Virtual
A Dictionary-Passing Translation of Featherweight Go
13:50 - 14:05
APLAS Research Papers
Virtual
A compilation method for dynamic typing in ML
14:05 - 14:20
APLAS Research Papers
Virtual
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abs ...
14:20 - 14:35
APLAS Research Papers
Virtual
Hybrid quantum-classical circuit simplification with the ZX-calculus
14:35 - 14:50
APLAS Research Papers
Virtual
Q&A and discussion
14:50 - 15:10
APLAS Keynote Talks
Virtual
Solidifying and Advancing the Software Foundations
17:00 - 18:00
APLAS Research Papers
Virtual
Scalable and Modular Robustness Analysis of Deep Neural Networks
18:50 - 19:05
APLAS Research Papers
Virtual
Server-Side Computation of Package Dependencies in Package-Management S ...
19:05 - 19:20
APLAS Research Papers
Virtual
PyCT: A Python Concolic Tester
19:20 - 19:30
APLAS Research Papers
Virtual
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic ...
19:30 - 19:40
APLAS Research Papers
Virtual
Function Pointer Eliminator for C Programs
19:40 - 19:50
APLAS Research Papers
Virtual
Q&A and discussion
19:50 - 20:10
APLAS Research Papers
Virtual
A Dictionary-Passing Translation of Featherweight Go
21:50 - 22:05
APLAS Research Papers
Virtual
A compilation method for dynamic typing in ML
22:05 - 22:20
APLAS Research Papers
Virtual
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abs ...
22:20 - 22:35
APLAS Research Papers
Virtual
Hybrid quantum-classical circuit simplification with the ZX-calculus
22:35 - 22:50
APLAS Research Papers
Virtual
Q&A and discussion
22:50 - 23:10
Mon 18 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
APLAS Keynote Talks
Virtual
A Separation Logic for Probabilistic Independence
09:00 - 10:00
APLAS Research Papers
Virtual
A Typed Programmatic Interface to Contracts on the Blockchain
10:50 - 11:05
APLAS Research Papers
Virtual
Adaptable Traces for Program Explanations
11:05 - 11:20
APLAS Research Papers
Virtual
Latent Effects for Reusable Language Components
11:20 - 11:35
APLAS Research Papers
Virtual
The Choice Construct in the Soufflé Language
11:35 - 11:50
APLAS Research Papers
Virtual
Q&A and discussion
11:50 - 12:10
APLAS Research Papers
Virtual
Preprocessing of Alternating Automata for Language Emptiness Testing
13:50 - 14:05
APLAS Research Papers
Virtual
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
14:05 - 14:20
APLAS Research Papers
Virtual
Solving Not-Substring with Flat Abstraction
14:20 - 14:35
APLAS Research Papers
Virtual
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential ...
14:35 - 14:50
APLAS Research Papers
Virtual
Q&A and discussion
14:50 - 15:10
APLAS Keynote Talks
Virtual
A Separation Logic for Probabilistic Independence
17:00 - 18:00
APLAS Research Papers
Virtual
A Typed Programmatic Interface to Contracts on the Blockchain
18:50 - 19:05
APLAS Research Papers
Virtual
Adaptable Traces for Program Explanations
19:05 - 19:20
APLAS Research Papers
Virtual
Latent Effects for Reusable Language Components
19:20 - 19:35
APLAS Research Papers
Virtual
The Choice Construct in the Soufflé Language
19:35 - 19:50
APLAS Research Papers
Virtual
Q&A and discussion
19:50 - 20:10
APLAS Research Papers
Virtual
Preprocessing of Alternating Automata for Language Emptiness Testing
21:50 - 22:05
APLAS Research Papers
Virtual
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
22:05 - 22:20
APLAS Research Papers
Virtual
Solving Not-Substring with Flat Abstraction
22:20 - 22:35
APLAS Research Papers
Virtual
Termination Analysis for the $\pi$-Calculus by Reduction to Sequential ...
22:35 - 22:50
APLAS Research Papers
Virtual
Q&A and discussion
22:50 - 23:10
Tue 19 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
SAS
Virtual
Fast and Efficient Bit-Level Precision Tuning
07:40 - 07:55
SAS
Virtual
Reduced Products of Abstract Domains for Fairness Certification of Neur ...
07:55 - 08:10
SAS
Virtual
Static analysis of ReLU neural networks with tropical polyhedra
08:10 - 08:25
SAS
Virtual
Toward Neural-Network-Guided Program Synthesis and Verification
08:25 - 08:40
SAS
Virtual
Session 4C Discussion, Questions and Answers
08:40 - 09:00
SAS
Invited Talk
Virtual
Pointer Analysis of Bytecode Programs for Effective Formal Verification ...
10:50 - 12:10
SAS
Virtual
Automatic Synthesis of Data-Flow Analyzers
13:50 - 14:05
SAS
Virtual
Disjunctive Interval Analysis
14:05 - 14:20
SAS
Virtual
Hash Consed Points-To Sets
14:20 - 14:35
SAS
Virtual
Selective Context-Sensitivity for k-CFA with CFL-Reachability
14:35 - 14:50
SAS
Session 3C Discussion, Questions and Answers
14:50 - 15:10
SAS
Virtual
Fast and Efficient Bit-Level Precision Tuning
15:40 - 15:55
SAS
Virtual
Reduced Products of Abstract Domains for Fairness Certification of Neur ...
15:55 - 16:10
SAS
Virtual
Static analysis of ReLU neural networks with tropical polyhedra
16:10 - 16:25
SAS
Virtual
Toward Neural-Network-Guided Program Synthesis and Verification
16:25 - 16:40
SAS
Virtual
Session 4C Discussion, Questions and Answers
16:40 - 17:00
SAS
Virtual
Automatic Synthesis of Data-Flow Analyzers
21:50 - 22:05
SAS
Virtual
Disjunctive Interval Analysis
22:05 - 22:20
SAS
Virtual
Hash Consed Points-To Sets
22:20 - 22:35
SAS
Virtual
Selective Context-Sensitivity for k-CFA with CFL-Reachability
22:35 - 22:50
SAS
Session 3C Discussion, Questions and Answers
22:50 - 23:10
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
SPLASH OOPSLA
Virtual
The Semantics of Shared Memory in Intel CPU/FPGA Systems
07:40 - 07:55
SPLASH OOPSLA
Virtual
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
07:55 - 08:10
SPLASH OOPSLA
Virtual
The Reads-From Equivalence for the TSO and PSO Memory Models
08:10 - 08:25
SPLASH OOPSLA
Virtual
Making Weak Memory Models Fair
08:25 - 08:40
SPLASH OOPSLA
Discussion, Questions and Answers
08:40 - 09:00
SPLASH Opening
In-Person
SPLASH Conference at Chicago Starts Now
09:00 - 09:01
In-Person
Opening Session
09:00 - 09:20
SPLASH Keynotes
Keynote
Exascale and then what?: HPC and AI for Scientific Discovery
09:20 - 10:20
SPLASH Posters
Virtual
Onward! Papers
SkyQuery: An Aerial Drone Video Sensing Platform
10:20 - 10:50
Virtual
Onward! Papers
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-F ...
10:20 - 10:50
Virtual
OOPSLA
Much ADO about Failures: A Fault-Aware Model for Compositional Verifica ...
10:20 - 10:50
Virtual
OOPSLA
The Semantics of Shared Memory in Intel CPU/FPGA Systems
10:20 - 10:50
In-Person and Virtual
OOPSLA
Reachability Types: Tracking Aliasing and Separation in Higher-Order Fu ...
10:20 - 10:50
Virtual
Onward! Papers
Towards Self-Adaptable Languages
10:20 - 10:50
SPLASH OOPSLA
Virtual
Compiling with Continuations, Correctly
10:50 - 11:05
SPLASH OOPSLA
Virtual
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
11:05 - 11:20
SPLASH OOPSLA
Virtual
Reachability Types: Tracking Aliasing and Separation in Higher-Order Fu ...
11:20 - 11:35
SPLASH OOPSLA
Virtual
Efficient Compilation of Algebraic Effect Handlers
11:35 - 11:50
SPLASH OOPSLA
Discussion, Questions and Answers
11:50 - 12:10
SPLASH OOPSLA
Virtual
Translating C to Safer Rust
13:50 - 14:05
SPLASH OOPSLA
Virtual
Modular Specification and Verification of Closures in Rust
14:05 - 14:20
SPLASH OOPSLA
Virtual
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
14:20 - 14:35
SPLASH OOPSLA
Discussion, Questions and Answers
14:35 - 15:10
SPLASH OOPSLA
Virtual
The Semantics of Shared Memory in Intel CPU/FPGA Systems
15:40 - 15:55
SPLASH OOPSLA
Virtual
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
15:55 - 16:10
SPLASH OOPSLA
Virtual
The Reads-From Equivalence for the TSO and PSO Memory Models
16:10 - 16:25
SPLASH OOPSLA
Virtual
Making Weak Memory Models Fair
16:25 - 16:40
SPLASH OOPSLA
Discussion, Questions and Answers
16:40 - 17:00
SPLASH Opening
In-Person
Opening Session
17:00 - 17:20
SPLASH Keynotes
Keynote
Exascale and then what?: HPC and AI for Scientific Discovery
17:20 - 18:20
SPLASH Posters
Virtual
Onward! Papers
SkyQuery: An Aerial Drone Video Sensing Platform
18:20 - 18:50
Virtual
OOPSLA
The Semantics of Shared Memory in Intel CPU/FPGA Systems
18:20 - 18:50
Virtual
Onward! Papers
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-F ...
18:20 - 18:50
In-Person and Virtual
OOPSLA
Reachability Types: Tracking Aliasing and Separation in Higher-Order Fu ...
18:20 - 18:50
Virtual
OOPSLA
Much ADO about Failures: A Fault-Aware Model for Compositional Verifica ...
18:20 - 18:50
Virtual
Onward! Papers
Towards Self-Adaptable Languages
18:20 - 18:50
SPLASH OOPSLA
Virtual
Compiling with Continuations, Correctly
18:50 - 19:05
SPLASH OOPSLA
Virtual
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
19:05 - 19:20
SPLASH OOPSLA
Virtual
Reachability Types: Tracking Aliasing and Separation in Higher-Order Fu ...
19:20 - 19:35
SPLASH OOPSLA
Virtual
Efficient Compilation of Algebraic Effect Handlers
19:35 - 19:50
SPLASH OOPSLA
Discussion, Questions and Answers
19:50 - 20:10
SPLASH OOPSLA
Virtual
Translating C to Safer Rust
21:50 - 22:05
SPLASH OOPSLA
Virtual
Modular Specification and Verification of Closures in Rust
22:05 - 22:20
SPLASH OOPSLA
Virtual
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
22:20 - 22:35
SPLASH OOPSLA
Discussion, Questions and Answers
22:35 - 23:10
Thu 21 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
SPLASH OOPSLA
Virtual
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM ...
07:40 - 07:55
SPLASH OOPSLA
Virtual
How Statically-Typed Functional Programmers Write Code
07:55 - 08:10
SPLASH OOPSLA
Virtual
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
08:10 - 08:25
SPLASH OOPSLA
Discussion, Questions and Answers
08:25 - 09:00
SPLASH Keynotes
Keynote
Integrated Scientific Modeling and Lab Automation
09:20 - 10:20
SPLASH Posters
Virtual
OOPSLA
Coarsening Optimization for Differentiable Programming
10:20 - 10:50
In-Person and Virtual
OOPSLA
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
10:20 - 10:50
In-Person and Virtual
OOPSLA
Compilation of Sparse Array Programming Models
10:20 - 10:50
Virtual
Demo
OOPSLA
Study of the Subtyping Machine of Nominal Subtyping with Variance
10:20 - 10:50
SPLASH OOPSLA
Virtual
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recur ...
10:50 - 11:05
SPLASH OOPSLA
In-Person
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
11:05 - 11:20
SPLASH OOPSLA
In-Person
Data-Driven Abductive Inference of Library Specifications
11:20 - 11:35
SPLASH OOPSLA
In-Person
Synthesizing Contracts Correct Modulo a Test Generator
11:35 - 11:50
SPLASH OOPSLA
Discussion, Questions and Answers
11:50 - 12:10
SPLASH OOPSLA
Virtual
Study of the Subtyping Machine of Nominal Subtyping with Variance
13:50 - 14:05
SPLASH OOPSLA
Virtual
Label Dependent Lambda Calculus and Gradual Typing
14:05 - 14:20
SPLASH OOPSLA
Virtual
Relational Nullable Types with Boolean Unification
14:20 - 14:35
SPLASH OOPSLA
In-Person
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compil ...
14:35 - 14:50
SPLASH OOPSLA
Discussion, Questions and Answers
14:50 - 15:10
SPLASH OOPSLA
Virtual
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM ...
15:40 - 15:55
SPLASH OOPSLA
Virtual
How Statically-Typed Functional Programmers Write Code
15:55 - 16:10
SPLASH OOPSLA
Virtual
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
16:10 - 16:25
SPLASH OOPSLA
Discussion, Questions and Answers
16:25 - 17:00
SPLASH Keynotes
Keynote
Integrated Scientific Modeling and Lab Automation
17:20 - 18:20
SPLASH Posters
Virtual
Demo
OOPSLA
Study of the Subtyping Machine of Nominal Subtyping with Variance
18:20 - 18:50
In-Person and Virtual
OOPSLA
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
18:20 - 18:50
In-Person and Virtual
OOPSLA
Compilation of Sparse Array Programming Models
18:20 - 18:50
Virtual
OOPSLA
Coarsening Optimization for Differentiable Programming
18:20 - 18:50
SPLASH OOPSLA
Virtual
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recur ...
18:50 - 19:05
SPLASH OOPSLA
In-Person
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
19:05 - 19:20
SPLASH OOPSLA
In-Person
Data-Driven Abductive Inference of Library Specifications
19:20 - 19:35
SPLASH OOPSLA
In-Person
Synthesizing Contracts Correct Modulo a Test Generator
19:35 - 19:50
SPLASH OOPSLA
Discussion, Questions and Answers
19:50 - 20:10
SPLASH OOPSLA
Virtual
Study of the Subtyping Machine of Nominal Subtyping with Variance
21:50 - 22:05
SPLASH OOPSLA
Virtual
Label Dependent Lambda Calculus and Gradual Typing
22:05 - 22:20
SPLASH OOPSLA
Virtual
Relational Nullable Types with Boolean Unification
22:20 - 22:35
SPLASH OOPSLA
In-Person
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compil ...
22:35 - 22:50
SPLASH OOPSLA
Discussion, Questions and Answers
22:50 - 23:10
Fri 22 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Zurich D
SPLASH Opening
Introduction to SPLASH 2022
09:00 - 09:05
SPLASH Awards
SPLASH Awards
09:05 - 09:20
SPLASH Onward! Papers
Virtual
Keynote
Designing Safe Programmed Molecular Systems
09:20 - 10:20
SPLASH Posters
Virtual
Demo
OOPSLA
Formal Verification of High-Level Synthesis
10:20 - 10:50
Virtual
Demo
OOPSLA
Scalability and Precision by Combining Expressive Type Systems and Dedu ...
10:20 - 10:50
SPLASH OOPSLA
Virtual
Rewrite Rule Inference Using Equality Saturation
10:50 - 11:05
SPLASH OOPSLA
Virtual
Semantic Programming by Example with Pre-trained Models
11:05 - 11:20
SPLASH OOPSLA
Virtual
One Down, 699 to Go: or, Synthesising Compositional Desugarings
11:20 - 11:35
SPLASH OOPSLA
In-Person
Multi-modal Program Inference: A Marriage of Pre-trained Language Model ...
11:35 - 11:50
SPLASH OOPSLA
Discussion, Questions and Answers
11:50 - 12:10
SPLASH OOPSLA
Virtual
Scalability and Precision by Combining Expressive Type Systems and Dedu ...
13:50 - 14:05
SPLASH OOPSLA
Virtual
A Type System for Extracting Functional Specifications from Memory-Safe ...
14:05 - 14:20
SPLASH OOPSLA
In-Person
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
14:20 - 14:35
SPLASH OOPSLA
Discussion, Questions and Answers
14:35 - 15:10
SPLASH Closing
Ice Cream Social
15:10 - 17:00
SPLASH Opening
Introduction to SPLASH 2022
17:00 - 17:05
SPLASH Awards
SPLASH Awards
17:05 - 17:20
SPLASH Onward! Papers
Virtual
Keynote
Designing Safe Programmed Molecular Systems
17:20 - 18:20
SPLASH Posters
Virtual
Demo
OOPSLA
Scalability and Precision by Combining Expressive Type Systems and Dedu ...
18:20 - 18:50
Virtual
Demo
OOPSLA
Formal Verification of High-Level Synthesis
18:20 - 18:50
SPLASH OOPSLA
Virtual
Rewrite Rule Inference Using Equality Saturation
18:50 - 19:05
SPLASH OOPSLA
Virtual
Semantic Programming by Example with Pre-trained Models
19:05 - 19:20
SPLASH OOPSLA
Virtual
One Down, 699 to Go: or, Synthesising Compositional Desugarings
19:20 - 19:35
SPLASH OOPSLA
In-Person
Multi-modal Program Inference: A Marriage of Pre-trained Language Model ...
19:35 - 19:50
SPLASH OOPSLA
Discussion, Questions and Answers
19:50 - 20:10
SPLASH OOPSLA
Virtual
Scalability and Precision by Combining Expressive Type Systems and Dedu ...
21:50 - 22:05
SPLASH OOPSLA
Virtual
A Type System for Extracting Functional Specifications from Memory-Safe ...
22:05 - 22:20
SPLASH OOPSLA
In-Person
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
22:20 - 22:35
SPLASH OOPSLA
Discussion, Questions and Answers
22:35 - 23:10
x
Thu 21 Nov 09:56