APLAS 2023 (series) /
APLAS 2023 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
12:30 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | Counterfactual Explanations for Sequential Models through Computational Complexity APLAS NIER Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS | ||
14:00 30mTalk | A Neural-Network-Guided Approach to Program Verification and Synthesis APLAS NIER Naoki Kobayashi University of Tokyo | ||
14:30 30mTalk | 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 30mTalk | 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 30mTalk | λGT: A Functional Language with Graphs as First-Class Data APLAS NIER File Attached | ||
16:30 30mTalk | Bottom-Up Construction of Sublist Trees APLAS NIER Shin-Cheng Mu Academia Sinica, Taiwan | ||
Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
08:30 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Data-Driven Static Analysis APLAS 2023 Hakjoo Oh Korea University | ||
10:00 - 10:30 | Coffee BreakCatering | ||
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | 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 30mTalk | Types and Semantics for Extensible Data Types APLAS 2023 | ||
12:00 - 13:30 | LunchCatering | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | Proofs as Terms, Terms as Graphs APLAS 2023 Jui-Hsuan Wu Institut Polytechnique de Paris | ||
14:30 30mTalk | 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:00 - 15:30 | Coffee BreakCatering | ||
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 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | |||
09:00 60mKeynote | Certified Automatic Verification of Industrial Cryptographic Primitive Programs APLAS 2023 Bow-Yaw Wang Academia Sinica | ||
10:00 - 10:30 | Coffee BreakCatering | ||
10:30 - 12:00 | Interactive Theorem ProvingAPLAS 2023 at Room 106 & 107, IIS Chair(s): Chung-Kil Hur Seoul National University | ||
10:30 30mTalk | 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 30mTalk | Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions APLAS 2023 | ||
11:30 30mTalk | 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 | ||
12:00 - 13:30 | LunchCatering | ||
13:30 - 15:00 | Student Research Competition PresentationsSRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
13:30 20mTalk | [SRC] Separate Compilation for Compositional Programming via Extensible Records SRC & Posters Yaozhu Sun University of Hong Kong File Attached | ||
13:50 20mTalk | [SRC] Multiple Screen States for Programming with Small Screens SRC & Posters Jin Ishikawa Oita University File Attached | ||
14:10 20mTalk | [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs SRC & Posters Yong Qi Foo National University of Singapore File Attached | ||
14:30 20mTalk | [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework SRC & Posters Kazuki Matsuoka Tokyo Institute of Technology File Attached | ||
15:00 - 15:30 | Coffee BreakCatering | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Transport via Partial Galois Connections and Equivalences APLAS 2023 Kevin Kappelmann Technical University of Munich | ||
16:30 30mTalk | 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 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | |||
09:00 60mKeynote | Covering the Last Mile in Trustworthy Automated Reasoning with CakeML APLAS 2023 Yong Kiam Tan Institute for Infocomm Research, A*STAR | ||
10:00 - 10:30 | Coffee BreakCatering | ||
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | m-CFA Exhibits Perfect Stack Precision APLAS 2023 Kimball Germane Brigham Young University | ||
11:30 30mTalk | 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 | ||
12:30 - 18:00 | ExcursionCatering | ||
19:00 - 21:30 | BanquetCatering | ||