APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan

News

About the Logo

Introduction

The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII.

APLAS 2023 was held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop was held on Sunday 26th November 2023. There was also a student research competition and an associated poster session.

APLAS is organized by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were held in Auckland (’22), Chicago (’21), Fukuoka (’20), Bali (’19), Wellington (’18), Suzhou (’17), Hanoi (’16), Pohang (’15), Singapore (’14), Melbourne (’13), Kyoto (’12), Kenting (’11), Shanghai (’10), Seoul (’09), Bangalore (’08), Singapore (’07), Sydney (’06), Tsukuba (’05), Taipei (’04) and Beijing (’03) after three informal workshops.

Conference Proceedings

Proceedings of APLAS 2023 is published by Springer as part of Lecture Notes in Computer Science (LNCS), volume 14405.

Springer provides free access to the conference proceedings for APLAS participants until 31 December 2023, through the following link:

Keynotes

Title
Certified Automatic Verification of Industrial Cryptographic Primitive Programs
APLAS 2023
Covering the Last Mile in Trustworthy Automated Reasoning with CakeML
APLAS 2023
Data-Driven Static Analysis
APLAS 2023

Accepted Papers

Title
A Diamond Machine for Strong Evaluation
APLAS 2023
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Listsbest paper
APLAS 2023
Argument Reduction of Constrained Horn Clauses Using Equality Constraints
APLAS 2023
Compilation Semantics for a Programming Language with Versions
APLAS 2023
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
APLAS 2023
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
APLAS 2023
m-CFA Exhibits Perfect Stack Precision
APLAS 2023
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
APLAS 2023
Proofs as Terms, Terms as Graphs
APLAS 2023
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
APLAS 2023
Towards a Framework for Developing Verified Assemblers for the ELF Format
APLAS 2023
DOI File Attached
Transport via Partial Galois Connections and Equivalences
APLAS 2023
Typed Non-determinism in Functional and Concurrent Calculi
APLAS 2023
Types and Semantics for Extensible Data Types
APLAS 2023
What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
APLAS 2023

Call for Submissions

Scope

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:

  • programming paradigms and styles: functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms;
  • methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing;
  • programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation;
  • methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis;
  • concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems;
  • applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.

Submission Information

Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at Springer’s Information for Authors.

The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions.

Papers should be submitted via HotCRP: https://aplas2023.hotcrp.com/.

The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you.

Additional material intended for reviewers but not for publication in the final version – for example, details of proofs – may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them.

Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. Accepted papers must be presented at the conference.

The proceedings will be published as a volume in Springer’s LNCS series. Previous APLAS proceedings can be found on SpringerLink. Authors interested in making their contributions Open Access please refer to Springer’s webpage for additional information.

Distinguished Paper Awards

Around 10% of the accepted papers of APLAS 2023 will be designated as Distinguished Papers, which highlights papers that the Program Committee recommends due to their excellent quality. The awards will be announced on this website, and printed certificates will be issued to the authors in the conference.

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

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:00 - 10:30
Coffee BreakCatering
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
12:00 - 13:30
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: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 Nov

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

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
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
12:00 - 13:30
15:00 - 15:30
Coffee BreakCatering
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:00 - 10:30
Coffee BreakCatering
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
12:30 - 18:00
ExcursionCatering
Questions? Use the APLAS contact form.