| 2020 | Space-Efficient Gradual Typing in Coercion-Passing Style. | Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
| 2020 | Abstracting Gradual References (SCICO Journal-first). | Matas Toro, ric Tanter |
| 2020 | Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). | Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach |
| 2020 | Prusti: deductive verification for Rust (keynote). | Alexander J. Summers |
| 2020 | Salsa: static analysis of serialization features. | Joanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli |
| 2020 | A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. | Gabriela Sampaio, Jos Fragoso Santos, Petar Maksimovic, Philippa Gardner |
| 2020 | A separation logic to verify termination of busy-waiting for abrupt program exit. | Tobias Reinhard, Amin Timany, Bart Jacobs |
| 2020 | Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations. | Stefan Ramson, Jens Lincke, Harumi Watanabe, Robert Hirschfeld |
| 2020 | Perfect Is the Enemy of Good: Best-Effort Program Synthesis. | Hila Peleg, Nadia Polikarpova |
| 2020 | The Duality of Subtyping. | Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman |
| 2020 | Scala with Explicit Nulls. | Abel Nieto, Yaoyu Zhao, Ondrej Lhotk, Angela Chang, Justin Pu |
| 2020 | Blame for Null. | Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhotk |
| 2020 | Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. | Benjamin Barslev Nielsen, Anders Mller |
| 2020 | A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). | Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede |
| 2020 | Static Type Analysis by Abstract Interpretation of Python Programs. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | Reconciling Event Structures with Modern Multiprocessors. | Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis |
| 2020 | A Semantics for the Essence of React. | Magnus Madsen, Ondrej Lhotk, Frank Tip |
| 2020 | Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). | David Maciver, Alastair F. Donaldson |
| 2020 | PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming. | Zihan Liu, Ikuta Tanigawa, Harumi Watanabe, Kenji Hisazumi |
| 2020 | K-LLVM: A Relatively Complete Semantics of LLVM IR. | Liyi Li, Elsa L. Gunter |
| 2020 | Interfaces for Modular Reasoning in Context-Oriented Programming. | Paul Leger, Hidehiko Masuhara, Ismael Figueroa |
| 2020 | Static Analysis of Shape in TensorFlow Programs. | Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis |
| 2020 | ConSysT: tunable, safe consistency meets object-oriented programming. | Mirko Khler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi |
| 2020 | Multiparty Session Programming With Global Protocol Combinators. | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2020 | Towards verified construction of correct and optimised GPU software. | Marieke Huisman, Anton Wijs |