APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan
VenueIIS, Academia Sinica
Room nameRoom 106 & 107, IIS
Floor1
Room number106 & 107
Room InformationNo extra information available
Program

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

Sun 26 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00
NIER Session 1APLAS NIER at Room 106 & 107, IIS
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
13:30
30m
Talk
Counterfactual Explanations for Sequential Models through Computational Complexity
APLAS NIER
Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
14:00
30m
Talk
A Neural-Network-Guided Approach to Program Verification and Synthesis
APLAS NIER
Naoki Kobayashi University of Tokyo
14:30
30m
Talk
A Compositional Theory of Linearizability
APLAS NIER
Zhong Shao Yale University
15:30 - 17:00
NIER Session 2APLAS NIER at Room 106 & 107, IIS
Chair(s): Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
15:30
30m
Talk
Environment-Friendly Monadic Equational Reasoning for OCaml
APLAS NIER
Jacques Garrigue Nagoya University, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Takafumi Saikawa Nagoya University
File Attached
16:00
30m
Talk
λGT: A Functional Language with Graphs as First-Class Data
APLAS NIER
Kazunori Ueda Waseda University, Jin Sano Waseda University
File Attached
16:30
30m
Talk
Bottom-Up Construction of Sublist Trees
APLAS NIER
Shin-Cheng Mu Academia Sinica, Taiwan

Mon 27 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:30 - 09:00
09:00 - 10:00
Keynote 1APLAS 2023 at Room 106 & 107, IIS
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
09:00
60m
Keynote
Data-Driven Static Analysis
APLAS 2023
Hakjoo Oh Korea University
10:30 - 12:00
TypesAPLAS 2023 at Room 106 & 107, IIS
Chair(s): Jacques Garrigue Nagoya University
10:30
30m
Talk
Compilation Semantics for a Programming Language with Versions
APLAS 2023
Yudai Tanabe Kyoto University, Luthfan Anshar Lubis Tokyo Institute of Technology, Tomoyuki Aotani Sanyo-Onoda City University, Hidehiko Masuhara Tokyo Institute of Technology
11:00
30m
Talk
What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
APLAS 2023
Ke Sun Peking University, Sheng Chen University of Louisiana at Lafayette, Meng Wang University of Bristol, Dan Hao Peking University
11:30
30m
Talk
Types and Semantics for Extensible Data Types
APLAS 2023
Cas van der Rest Delft University of Technology, Casper Bach Poulsen Delft University of Technology
13:30 - 15:00
Functional LanguagesAPLAS 2023 at Room 106 & 107, IIS
Chair(s): Jihyeok Park Korea University
13:30
30m
Talk
A Diamond Machine for Strong Evaluation
APLAS 2023
Beniamino Accattoli Inria & Ecole Polytechnique, Pablo Barenbaum Universidad Nacional de Quilmes (CONICET) & Universidad de Buenos Aires
14:00
30m
Talk
Proofs as Terms, Terms as Graphs
APLAS 2023
Jui-Hsuan Wu Institut Polytechnique de Paris
14:30
30m
Talk
Typed Non-determinism in Functional and Concurrent Calculi
APLAS 2023
Bas van den Heuvel University of Groningen, Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen
15:30 - 17:00
Poster Session & ReceptionSRC & Posters at Room 106 & 107, IIS

See the SRC & Posters track page for more information about the entrants/authors and their work.

Food and drink will be served.

Tue 28 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:00
Interactive Theorem ProvingAPLAS 2023 at Room 106 & 107, IIS
Chair(s): Chung-Kil Hur Seoul National University
10:30
30m
Talk
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Listsbest paper
APLAS 2023
Clemens Kupke University of Strathclyde, Fredrik Nordvall Forsberg University of Strathclyde, Sean Watters University of Strathclyde
11:00
30m
Talk
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
APLAS 2023
Yannick Forster Inria, Dominik Kirst Ben-Gurion University, Niklas Mück Saarland University
11:30
30m
Talk
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
APLAS 2023
Ayumu Saito Tokyo Institute of Technology, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan
15:30 - 17:00
VerificationAPLAS 2023 at Room 106 & 107, IIS
Chair(s): Zhong Shao Yale University
15:30
30m
Talk
Towards a Framework for Developing Verified Assemblers for the ELF Format
APLAS 2023
Jinhua Wu Shanghai Jiao Tong University, Yuting Wang Shanghai Jiao Tong University, Meng Sun Shanghai Jiao Tong University, Xiangzhe Xu Purdue University, Yichen Song Shanghai Jiao Tong University
DOI File Attached
16:00
30m
Talk
Transport via Partial Galois Connections and Equivalences
APLAS 2023
Kevin Kappelmann Technical University of Munich
16:30
30m
Talk
Argument Reduction of Constrained Horn Clauses Using Equality Constraints
APLAS 2023
Ryo Ikeda University of Tokyo, Ryosuke Sato University of Tokyo, Naoki Kobayashi University of Tokyo

Wed 29 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00
Keynote 3APLAS 2023 at Room 106 & 107, IIS
Chair(s): Kazunori Ueda Waseda University
09:00
60m
Keynote
Covering the Last Mile in Trustworthy Automated Reasoning with CakeML
APLAS 2023
Yong Kiam Tan Institute for Infocomm Research, A*STAR
10:30 - 12:00
Static Analysis and TestingAPLAS 2023 at Room 106 & 107, IIS
Chair(s): Yu-Fang Chen Academia Sinica
10:30
30m
Talk
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
APLAS 2023
Wenhua Li National University of Singapore, Quang Loc Le University College London, Yahui Song , Wei-Ngan Chin National University of Singapore
11:00
30m
Talk
m-CFA Exhibits Perfect Stack Precision
APLAS 2023
Kimball Germane Brigham Young University
11:30
30m
Talk
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
APLAS 2023
Qidong Su University of Toronto / Vector Institute, Chuqin Geng McGill University, Gennady Pekhimenko University of Toronto / Vector Institute, Xujie Si University of Toronto
12:00 - 12:30
Student Research Competition and Poster Session AwardsSRC & Posters at Room 106 & 107, IIS
Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica

Sun 26 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room10:003011:003012:003013:003014:003015:003016:0030
Room 106 & 107, IIS

Mon 27 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change