| 2021 | A Compilation Method for Dynamic Typing in ML. Atsushi Ohori, Katsuhiro Ueno |
| 2021 | A Dictionary-Passing Translation of Featherweight Go. Martin Sulzmann, Stefan Wehr |
| 2021 | A Typed Programmatic Interface to Contracts on the Blockchain. Thi Thu Ha Doan, Peter Thiemann |
| 2021 | Adaptable Traces for Program Explanations. Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay |
| 2021 | Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. Carmine Abate, Matteo Busi, Stelios Tsampas |
| 2021 | Function Pointer Eliminator for C Programs. Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa |
| 2021 | Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. Agustín Borgna, Simon Perdrix, Benoît Valiron |
| 2021 | Latent Effects for Reusable Language Components. Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu |
| 2021 | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. Wonhyuk Choi, Michel Vazirani, Mark Santolucito |
| 2021 | Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings Hakjoo Oh |
| 2021 | Proving LTL Properties of Bitvector Programs and Decompiled Binaries. Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu |
| 2021 | PyCT: A Python Concolic Tester. Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu |
| 2021 | Scalable and Modular Robustness Analysis of Deep Neural Networks. Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo |
| 2021 | Server-Side Computation of Package Dependencies in Package-Management Systems. Nobuhiro Kasai, Isao Sasano |
| 2021 | Simplifying Alternating Automata for Emptiness Testing. Pavol Vargovcík, Lukás Holík |
| 2021 | Solving Not-Substring Constraint withFlat Abstraction. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada |
| 2021 | The Choice Construct in the Soufflé Language. Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz |