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