APLAS 2022

10 papers

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