APLAS

Keyphrases

Publications

2023

Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS (2023)
Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi
Argument Reduction of Constrained Horn Clauses Using Equality Constraints. APLAS (2023)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Compilation Semantics for a Programming Language with Versions. APLAS (2023)
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. APLAS (2023)
Beniamino Accattoli, Pablo Barenbaum
A Diamond Machine for Strong Evaluation. APLAS (2023)
Kimball Germane
m-CFA Exhibits Perfect Stack Precision. APLAS (2023)
Jui-Hsuan Wu
Proofs as Terms, Terms as Graphs. APLAS (2023)
Ayumu Saito, Reynald Affeldt
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. APLAS (2023)
Ke Sun, Sheng Chen, Meng Wang, Dan Hao
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. APLAS (2023)
Cas van der Rest, Casper Bach Poulsen
Types and Semantics for Extensible Data Types. APLAS (2023)
Yannick Forster, Dominik Kirst, Niklas Mück
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. APLAS (2023)
Kevin Kappelmann
Transport via Partial Galois Connections and Equivalences. APLAS (2023)
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS (2023)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Typed Non-determinism in Functional and Concurrent Calculi. APLAS (2023)
Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song
Towards a Framework for Developing Verified Assemblers for the ELF Format. APLAS (2023)

volume 14405, 2023

Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings APLAS 14405 (2023)

2022

volume 13658, 2022

Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings APLAS 13658 (2022)

2021

volume 13008, 2021

Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings APLAS 13008 (2021)

2020

volume 12470, 2020

Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings APLAS 12470 (2020)