====================================================================== CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023 ====================================================================== 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 will be held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Sunday 26th November 2023. There is also a student research competition and an associated poster session. ====================================================================== # Participation ====================================================================== Registration information is available at the homepage: https://conf.researchr.org/home/aplas-2023 Early registration deadline: 25 October 2023. Please register soon! ====================================================================== # Keynote Speakers ====================================================================== * Hakjoo Oh, Korea University. * Bow-Yaw Wang, Academia Sinica. A third keynote speaker will be announced soon. ====================================================================== # Accepted Papers ====================================================================== * A Diamond Machine for Strong Evaluation. Beniamino Accattoli (Inria & École Polytechnique), and Pablo Barenbaum (National University of Quilmes (CONICET) & University of Buenos Aires). * Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. Yannick Forster (Inria), Dominik Kirst (Ben-Gurion University), and Niklas Mück (Saarland University). * m-CFA Exhibits Perfect Stack Precision. Kimball Germane (Brigham Young University). * Typed Non-determinism in Functional and Concurrent Calculi. Bas van den Heuvel (University of Groningen), Joseph W. N. Paulus (University of Groningen), Daniele Nantes-Sobrinho (University of Brasília and Imperial College London), and Jorge Perez (University of Groningen) * Argument Reduction of Constrained Horn Clauses Using Equality Constraints. Ryo Ikeda (The University of Tokyo), Ryosuke Sato (The University of Tokyo), and Naoki Kobayashi (The University of Tokyo). * Transport via Partial Galois Connections and Equivalences. Kevin Kappelmann (Technical University of Munich). * Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li (National University Singapore), Quang Loc Le (University College London), Yahui Song (National University of Singapore), and Wei-Ngan Chin (National University of Singapore). * Types and Semantics for Extensible Data Types. Cas van der Rest (Delft University of Technology), and Casper Bach Poulsen (Delft University of Technology). * Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq. Ayumu Saito (Tokyo Institute of Technology), Reynald Affeldt (National Institute of Advanced Industrial, and Science and Technology (AIST)). * TorchProbe: Fuzzing Dynamic Deep Learning Compilers. Qidong Su (University of Toronto / Vector Institute), Chuqin Geng (McGill University), Gennady Pekhimenko (University of Toronto / Vector Institute), and Xujie Si (University of Toronto) * What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study. Ke Sun (Peking University), Sheng Chen (University of Louisiana at Lafayette), Meng Wang (University of Bristol), and Dan Hao(Peking University). * Compilation Semantics for a Programming Language with Versions. Yudai Tanabe (Kyoto University), Luthfan Anshar Lubis (Tokyo Institute of Technology), Tomoyuki Aotani (Sanyo-Onoda City University), and Hidehiko Masuhara (Tokyo Institute of Technology). * A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Sean Watters (University of Strathclyde), Fredrik Nordvall Forsberg (University of Strathclyde), and Clemens Kupke (University of Strathclyde). * Proofs as Terms, Terms as Graphs. Jui-Hsuan Wu (Institut Polytechnique de Paris). * Towards a Framework for Developing Verified Assemblers for the ELF Format. Jinhua Wu (Shanghai Jiao Tong University), Yuting Wang (Shanghai Jiao Tong University), Meng Sun (Shanghai Jiao Tong University), Xiangzhe Xu (Purdue University), and Yichen Song (Shanghai Jiao Tong University). ====================================================================== # NIER Workshop ====================================================================== * λGT: A Functional Language with Graphs as First-Class Data Kazunori Ueda and Jin Sano * Environment-Friendly Monadic Equational Reasoning for OCaml Jacques Garrigue, Reynald Affeldt and Takafumi Saikawa * Counterfactual Explanations for Sequential Models through Computational Complexity Anthony Widjaja Lin * Bottom-Up Construction of Sublist Trees Shin-Cheng Mu * A Neural-Network-Guided Approach to Program Verification and Synthesis Naoki Kobayashi ====================================================================== # POSTERS and STUDENT RESEARCH COMPETITION ENTRIES ====================================================================== * [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language Kento Takyu, Kazunori Ueda * [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development YungYu Zhuang, Wei-Hsin Yen, Yin-Jung Huang * [SRC] Multiple Screen States for Programming with Small Screens Jin Ishikawa * [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework Kazuki Matsuoka * [SRC] Separate Compilation for Compositional Programming via Extensible Records Yaozhu Sun * [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs Yong Qi Foo ====================================================================== # ORGANIZERS ====================================================================== General Chair: Shin-Cheng Mu, Academia Sinica, Taiwan Program Chair: Chung-Kil Hur, Seoul National University, Korea Publicity Chair: Ryosuke Sato, University of Tokyo, Japan SRC and Posters Chair: Hsiang-Shang ‘Josh’ Ko, Academia Sinica, Taiwan Program Committee: * Soham Chakraborty, TU Delft, Netherlands * Yu-Fang Chen, Academia Sinica, Taiwan * Ronghui Gu, Columbia University, USA * Ichiro Hasuo, National Institute of Informatics, Japan * Ralf Jung, ETH Zurich, Switzerland * Ohad Kammar, University of Edinburgh, UK * Jeehoon Kang, KAIST, Korea * Jieung Kim, Inha University, Korea * Robbert Krebbers, Radboud University Nijmegen, Netherlands * Ori Lahav, Tel Aviv University, Israel * Doug Lea, State University of New York at Oswego, USA * Woosuk Lee, Hanyang University, Korea * Hongjin Liang, Nanjing University, China * Nuno P. Lopes, University of Lisbon, Portugal * Chandrakana Nandi, Certora and UW, USA * Liam O'Connor, The University of Edinburgh, UK * Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong * Jihyeok Park, Korea University, Korea * Clément Pit-Claudel, EPFL, Switzerland * Matthieu Sozeau, Inria, France * Kohei Suenaga, Kyoto University, Japan * Tarmo Uustalu, Reykjavik University, Iceland * John Wickerson, Imperial College London, UK * Danfeng Zhang, Penn State University, USA Posters Selection Committee * Jacques Garrigue, Nagoya University, Japan * Jeremy Gibbons, University of Oxford, UK * Chih-Duo Hong, University of Oxford, UK * Oleg Kiselyov, Tohoku University, Japan * Akimasa Morihata, University of Tokyo, Japan * Dominic Orchard, University of Kent, UK and University of Cambridge, UK * Taro Sekiyama, National Institute of Informatics, Japan * Chung-chieh Shan, Indiana University, United States * Youngju Song, MPI-SWS, Germany * Tachio Terauchi, Waseda University, Japan * Chuangjie Xu, Sonar Source, Germany