Abstract is missing.
- Godot: All the Benefits of Implicit and Explicit FuturesKiko Fernandez-Reyes, Dave Clarke 0001, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad. [doi]
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. [doi]
- Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder. [doi]
- MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)Linghui Luo, Julian Dolby, Eric Bodden. [doi]
- Transient Typechecks Are (Almost) FreeRichard Roberts, Stefan Marr, Michael Homer, James Noble 0001. [doi]
- Transferring Obligations Through SynchronizationsJafar Hamin, Bart Jacobs 0002. [doi]
- Deep Static Modeling of invokedynamicGeorge Fourtounis, Yannis Smaragdakis. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini. [doi]
- Garbage-Free Abstract Interpretation Through Abstract Reference CountingNoah Van Es, Quentin Stiévenart, Coen De Roover. [doi]
- Semantic Patches for Java Program Transformation (Experience Report)Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo 0001. [doi]
- Eventually Sound Points-To Analysis with SpecificationsOsbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken. [doi]
- 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. [doi]
- NumLin: Linear Types for Linear AlgebraDhruv C. Makwana, Neelakantan R. Krishnaswami. [doi]
- Static Analysis for Asynchronous JavaScript ProgramsThodoris Sotiropoulos, Benjamin Livshits. [doi]
- DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory AccessMatthias Springer, Hidehiko Masuhara. [doi]
- Fling - A Fluent API GeneratorYossi Gil, Ori Roth. [doi]
- A Typing Discipline for Hardware InterfacesJan de Muijnck-Hughes, Wim Vanderbauwhede. [doi]
- Scopes and Frames Improve Meta-Interpreter SpecializationVlad A. Vergu, Andrew P. Tolmach, Eelco Visser. [doi]
- Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek. [doi]
- Lifestate: Event-Driven Protocols and Callback Control FlowShawn Meier, Sergio Mover, Bor-Yuh Evan Chang. [doi]
- A Program Logic for First-Order Encapsulated WebAssemblyConrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner. [doi]
- On Satisfiability of Nominal Subtyping with VarianceAleksandr Misonizhnik, Dmitry Mordvinov. [doi]
- Minimal Session Types (Pearl)Alen Arslanagic, Jorge A. Pérez, Erik Voogd. [doi]
- Finally, a Polymorphic Linear Algebra Language (Pearl)Amir Shaikhha, Lionel Parreaux. [doi]
- Motion Session Types for Robotic Interactions (Brave New Idea Paper)Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey. [doi]
- Reliable State Machines: A Framework for Programming Reliable Cloud ServicesSuvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy. [doi]
- Multitier ModulesPascal Weisenburger, Guido Salvaneschi. [doi]
- Reasoning About Foreign Function Interfaces Without Modelling the Foreign LanguageAlexi Turcotte, Ellen Arteca, Gregor Richards. [doi]