| 2019 | Static Analysis for Asynchronous JavaScript Programs. | Thodoris Sotiropoulos, Benjamin Livshits |
| 2019 | Finally, a Polymorphic Linear Algebra Language (Pearl). | Amir Shaikhha, Lionel Parreaux |
| 2019 | JayHorn: a Java model checker. | Philipp Rmmer |
| 2019 | Transient Typechecks Are (Almost) Free. | Richard Roberts, Stefan Marr, Michael Homer, James Noble |
| 2019 | Implementing Babylonian/S by Putting Examples Into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming. | Patrick Rein, Jens Lincke, Stefan Ramson, Toni Mattis, Fabio Niephaus, Robert Hirschfeld |
| 2019 | Specifying I/O using abstract nested hoare triples in separation logic. | Willem Penninckx, Amin Timany, Bart Jacobs |
| 2019 | Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). | Danil A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser |
| 2019 | Building trustworthy software with CakeML. | Scott Owens |
| 2019 | Reliable State Machines: A Framework for Programming Reliable Cloud Services. | Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy |
| 2019 | A Typing Discipline for Hardware Interfaces. | Jan de Muijnck-Hughes, Wim Vanderbauwhede |
| 2019 | On Satisfiability of Nominal Subtyping with Variance. | Aleksandr Misonizhnik, Dmitry Mordvinov |
| 2019 | Lifestate: Event-Driven Protocols and Callback Control Flow. | Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang |
| 2019 | NumLin: Linear Types for Linear Algebra. | Dhruv C. Makwana, Neelakantan R. Krishnaswami |
| 2019 | Motion Session Types for Robotic Interactions (Brave New Idea Paper). | Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
| 2019 | MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). | Linghui Luo, Julian Dolby, Eric Bodden |
| 2019 | Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). | Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers |
| 2019 | Translating classes to first-order logic: an example. | Fangzhen Lin |
| 2019 | Analysis of MiniJava programs via translation to ML. | Martin Mariusz Lester |
| 2019 | Semantic Patches for Java Program Transformation (Experience Report). | Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo |
| 2019 | TinyCORP: A Calculus for Context-Oriented Reactive Programming. | Tetsuo Kamina, Tomoyuki Aotani |
| 2019 | Distributed Context Petri Nets. | Jose Daniel Fandio de la Hoz, Juan Sebastin Sosa, Nicols Cardozo |
| 2019 | Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code. | Johannes Henning, David Stangl, Fabio Niephaus, Bastian Kruck, Robert Hirschfeld |
| 2019 | Transferring Obligations Through Synchronizations. | Jafar Hamin, Bart Jacobs |
| 2019 | Fling - A Fluent API Generator. | Yossi Gil, Ori Roth |
| 2019 | Deep Static Modeling of invokedynamic. | George Fourtounis, Yannis Smaragdakis |