AIM XXXVII
Mon 20 - Sat 25 November 2023 Taipei, Taiwan
co-located with APLAS 2023
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 at Room 106 & 107, IIS
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
09:00
60m
Keynote
Data-Driven Static Analysis
APLAS
Hakjoo Oh Korea University
10:30 - 12:00
TypesAPLAS at Room 106 & 107, IIS
Chair(s): Jacques Garrigue Nagoya University
10:30
30m
Talk
Compilation Semantics for a Programming Language with Versions
APLAS
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
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
Cas van der Rest Delft University of Technology, Casper Bach Poulsen Delft University of Technology
13:30 - 15:00
Functional LanguagesAPLAS at Room 106 & 107, IIS
Chair(s): Jihyeok Park Korea University
13:30
30m
Talk
A Diamond Machine for Strong Evaluation
APLAS
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
Jui-Hsuan Wu Institut Polytechnique de Paris
14:30
30m
Talk
Typed Non-determinism in Functional and Concurrent Calculi
APLAS
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 & ReceptionAPLAS SRC & 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 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
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
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
Ayumu Saito Tokyo Institute of Technology, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan
13:30 - 15:00
Student Research Competition PresentationsAPLAS SRC & Posters at Room 106 & 107, IIS
Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica
13:30
20m
Talk
[SRC] Separate Compilation for Compositional Programming via Extensible Records
APLAS SRC & Posters
Yaozhu Sun University of Hong Kong
File Attached
13:50
20m
Talk
[SRC] Multiple Screen States for Programming with Small Screens
APLAS SRC & Posters
Jin Ishikawa Oita University
File Attached
14:10
20m
Talk
[SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs
APLAS SRC & Posters
Yong Qi Foo National University of Singapore
File Attached
14:30
20m
Talk
[SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework
APLAS SRC & Posters
Kazuki Matsuoka Tokyo Institute of Technology
File Attached
15:30 - 17:00
VerificationAPLAS 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
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
Kevin Kappelmann Technical University of Munich
16:30
30m
Talk
Argument Reduction of Constrained Horn Clauses Using Equality Constraints
APLAS
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 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
Yong Kiam Tan Institute for Infocomm Research, A*STAR
10:30 - 12:00
Static Analysis and TestingAPLAS 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
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
Kimball Germane Brigham Young University
11:30
30m
Talk
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
APLAS
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 AwardsAPLAS SRC & 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