| 2022 | A Calculus with Recursive Types, Record Concatenation and Subtyping. Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan |
| 2022 | An Algebraic Theory for Shared-State Concurrency. Yotam Dvir, Ohad Kammar, Ori Lahav |
| 2022 | Applicative Intersection Types. Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie |
| 2022 | Automated Temporal Verification for Algebraic Effects. Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2022 | Characterizing Functions Mappable over GADTs. Patricia Johann, Pierre Cagne |
| 2022 | Decoupling the Ascending and Descending Phases in Abstract Interpretation. Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
| 2022 | Inferring Region Types via an Abstract Notion of Environment Transformation. Ulrich Schöpp, Chuangjie Xu |
| 2022 | Model-Based Fault Classification for Automotive Software. Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff |
| 2022 | Novice Type Error Diagnosis with Natural Language Models. Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si |
| 2022 | Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings Ilya Sergey |
| 2022 | RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware |