Write a Blog >>
APLAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021

Dates
Rooms
Tracks
Badges
Your 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 1Keynote Talks at Zurich A +8h
09:00
60m
Keynote
Solidifying and Advancing the Software Foundations
Keynote Talks
Zhendong Su ETH Zurich
10:50 - 12:10
Analysis / Synthesis Research Papers at Zurich A +8h
10:50
20m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
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
Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
11:30
13m
Talk
PyCT: A Python Concolic Tester
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
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
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 / TransformationResearch Papers at Zurich A +8h
13:50
20m
Talk
A Dictionary-Passing Translation of Featherweight Go
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
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
Research Papers
Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas KU Leuven
14:50
20m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
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 1Keynote Talks at Zurich A
17:00
60m
Keynote
Solidifying and Advancing the Software Foundations
Keynote Talks
Zhendong Su ETH Zurich
18:50 - 20:10
Analysis / Synthesis (mirror)Research Papers at Zurich A
18:50
20m
Talk
Scalable and Modular Robustness Analysis of Deep Neural Networks
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
Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
19:30
13m
Talk
PyCT: A Python Concolic Tester
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
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
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)Research Papers at Zurich A
21:50
20m
Talk
A Dictionary-Passing Translation of Featherweight Go
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
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
Research Papers
Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas KU Leuven
22:50
20m
Talk
Hybrid quantum-classical circuit simplification with the ZX-calculus
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 2Keynote Talks at Zurich A +8h
09:00
60m
Keynote
A Separation Logic for Probabilistic Independence
Keynote Talks
Justin Hsu University of Wisconsin-Madison, USA
10:50 - 12:10
Language DesignResearch Papers at Zurich A +8h
10:50
20m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
11:10
20m
Talk
Adaptable Traces for Program Explanations
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
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
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 / TheoryResearch Papers at Zurich A +8h
13:50
20m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
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
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
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
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 2Keynote Talks at Zurich A
17:00
60m
Keynote
A Separation Logic for Probabilistic Independence
Keynote Talks
Justin Hsu University of Wisconsin-Madison, USA
18:50 - 20:10
Language Design (mirror)Research Papers at Zurich A
18:50
20m
Talk
A Typed Programmatic Interface to Contracts on the Blockchain
Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
19:10
20m
Talk
Adaptable Traces for Program Explanations
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
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
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)Research Papers at Zurich A
21:50
20m
Talk
Preprocessing of Alternating Automata for Language Emptiness Testing
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
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
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
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