APLAS 2023

15 papers

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