APLAS & ATVA 2026 (series) /
APLAS & ATVA 2026 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 1 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 1 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | APLAS NIER - Session 1NIER | ||
09:30 - 10:30 | ATVA Spotlights of Verification - Session 1ATVA Research Papers | ||
11:00 - 12:30 | APLAS NIER - Session 2NIER | ||
11:00 - 12:30 | ATVA Spotlights of Verification - Session 2ATVA Research Papers | ||
14:00 - 15:30 | APLAS NIER - Session 3NIER | ||
14:00 - 15:30 | ATVA Spotlights of Verification - Session 3ATVA Research Papers | ||
16:00 - 17:30 | APLAS NIER - Session 4NIER | ||
16:00 - 17:30 | ATVA Spotlights of Verification - Session 4ATVA Research Papers | ||
Wed 2 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 2 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | Joint APLAS/ATVA KeynoteAPLAS Research Papers / ATVA Research Papers / Keynotes | ||
09:30 60mKeynote | APLAS & ATVA Shared Keynote Keynotes Gilles Barthe MPI-SP; IMDEA Software Institute | ||
11:00 - 12:30 | Formal languages, program transformation, compilationAPLAS Research Papers | ||
11:00 30mTalk | Derivatives of Regular Expressions with Lookarounds APLAS Research Papers | ||
11:30 30mTalk | Reconciling Efficiency and Modularity in Metaprogramming via Shortcut Fusion APLAS Research Papers | ||
12:00 30mTalk | Tensors by Implementation, Records by Nature: Compiler Support for Neural Network Abstractions APLAS Research Papers Lauren Pudney The University of Western Australia, Gusts Gustavs Grīnbergs IT University of Copenhagen, Matthew L. Daggitt University of Western Australia | ||
11:00 - 12:30 | ATVA Session 1ATVA Research Papers | ||
14:00 - 15:30 | FoundationsAPLAS Research Papers | ||
14:00 30mTalk | Axiomatization of Ready Trace Equivalence for Regular Processes APLAS Research Papers Shining Zang Institute of Logic and Cognition, Sun Yat-sen University | ||
14:30 30mTalk | Dinaturals Compose, Up-to Loops APLAS Research Papers Andrea Laretto Tallinn University of Technology, Fosco Loregian Tallinn University of Technology, Niccolò Veltri Tallinn University of Technology | ||
15:00 30mTalk | Statically Typed Purely Functional Definitional Interpreters for Essentials of Programming Languages APLAS Research Papers Kwanghoon Choi Chonnam National University | ||
14:00 - 15:30 | ATVA Session 2ATVA Research Papers | ||
16:00 - 17:30 | |||
16:00 30mTalk | Fuzzy type theory APLAS Research Papers Shreya Arya UPenn, Greta Coraglia MIRAI, Paige Randall North Utrecht University, Juli O’Connor Carnegie Mellon University, Ana Luiza Tenorio Getulio Vargas Foundation, Hans Riess Georgia Institute of Technology | ||
16:30 30mTalk | Static Recognition of Fast-Paths for Effect Handlers APLAS Research Papers | ||
17:00 30mTalk | Unifying Function- and Argument-First Bidirectional Type Systems APLAS Research Papers Takuma Yoshioka Kyoto University, Taro Sekiyama National Institute of Informatics, Atsushi Igarashi Kyoto University | ||
16:00 - 17:30 | ATVA Session 3ATVA Research Papers | ||
Thu 3 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 3 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | APLAS KeynoteAPLAS Research Papers / ATVA Research Papers / Keynotes | ||
09:30 60mKeynote | APLAS Keynote Keynotes Ilya Sergey National University of Singapore | ||
11:00 - 12:30 | SemanticsAPLAS Research Papers | ||
11:00 30mTalk | Isoqueric: A Discipline and Monad for Safe-by-Construction, Query-Answer-Preserving Graph Extension APLAS Research Papers Casper Bach University of Southern Denmark | ||
11:30 30mTalk | Modular Relational Abstract Interpretation of WebAssembly APLAS Research Papers Saïd Zuhair OCamlPro; Université Paris-Saclay - CEA LIST, Léo Andrès , Matthieu Lemerre Université Paris-Saclay - CEA LIST | ||
12:00 30mTalk | Skeletal Semantics for WebAssembly: Structure and Interpretations APLAS Research Papers Sean Kristian Remond Harbo Aalborg University, Hans Hüttel Aalborg University, Thomas P. Jensen INRIA Rennes | ||
11:00 - 12:30 | ATVA Session 4ATVA Research Papers | ||
14:00 - 15:30 | VerificationAPLAS Research Papers | ||
14:00 30mTalk | Beyond Locksets and Thread IDs: Enhanced Static Data Race Detection APLAS Research Papers Daniel Bund Technical University of Munich, Julian Erhard CISPA, Michael Petter Technische Universität München, Michael Schwarz National University of Singapore | ||
14:30 30mTalk | Characterizing and Verifying Active Object Programs with Trace Logic APLAS Research Papers Niklas Heidler Technical University Darmstadt, Software Engineering Group, Reiner Hähnle Technical University of Darmstadt | ||
15:00 30mTalk | Extracting Functional Properties from Verified Imperative Programs APLAS Research Papers Zixun Guo Peking University, Yiyuan Cao Peking University, Di Wang Peking University, Zhenjiang Hu Peking University | ||
14:00 - 15:30 | ATVA Session 5ATVA Research Papers | ||
16:00 - 17:30 | APLAS Session 6APLAS Research Papers | ||
16:00 - 17:30 | ATVA Session 6ATVA Research Papers | ||
Fri 4 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 4 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | ATVA KeynoteAPLAS Research Papers / ATVA Research Papers / Keynotes | ||
11:00 - 12:30 | ATVA Session 7ATVA Research Papers | ||
14:00 - 15:30 | ATVA Session 8ATVA Research Papers | ||
16:00 - 17:30 | ATVA Session 9ATVA Research Papers | ||