| 2020 | A Counterexample-Guided Debugger for Non-recursive Datalog. Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
| 2020 | A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | A Set-Based Context Model for Program Analysis. Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro |
| 2020 | A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini |
| 2020 | Algebraic and Coalgebraic Perspectives on Interaction Laws. Tarmo Uustalu, Niels F. W. Voorneveld |
| 2020 | An Abstract Machine for Strong Call by Value. Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab |
| 2020 | Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou |
| 2020 | Banyan: Coordination-Free Distributed Transactions over Mergeable Types. Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy |
| 2020 | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara |
| 2020 | Certified Semantics for Relational Programming. Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev |
| 2020 | Declarative Stream Runtime Verification (hLola). Martín Ceresa, Felipe Gorostiaga, César Sánchez |
| 2020 | Formal Verification of Atomicity Requirements for Smart Contracts. Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | Neural Networks, Secure by Construction - An Exploration of Refinement Types. Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall |
| 2020 | P Andrea Rosà, Walter Binder |
| 2020 | Parameterized Synthesis with Safety Properties. Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
| 2020 | Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings Bruno C. d. S. Oliveira |
| 2020 | REFINITY to Model and Prove Program Transformation Rules. Dominic Steinhöfel |
| 2020 | Relational Synthesis for Pattern Matching. Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev |
| 2020 | Stack-Driven Program Generation of WebAssembly. Árpád Perényi, Jan Midtgaard |
| 2020 | Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |