Abstract is missing.
- 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. [doi]
- Reconciling Event Structures with Modern MultiprocessorsEvgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis. [doi]
- Space-Efficient Gradual Typing in Coercion-Passing StyleYuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi. [doi]
- K-LLVM: A Relatively Complete Semantics of LLVM IRLiyi Li, Elsa L. Gunter. [doi]
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScriptBenjamin Barslev Nielsen, Anders Møller. [doi]
- A Semantics for the Essence of ReactMagnus Madsen, Ondrej Lhoták, Frank Tip. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)Colin S. Gordon. [doi]
- Multiparty Session Programming With Global Protocol CombinatorsKeigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. [doi]
- The Duality of SubtypingBruno C. D. S. Oliveira, Shaobo Cui, Baber Rehman. [doi]
- Abstracting Gradual References (SCICO Journal-first)Matías Toro, Éric Tanter. [doi]
- Safe, Flexible Aliasing with Deferred BorrowsChris Fallin. [doi]
- Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)David Maciver, Alastair F. Donaldson. [doi]
- Flow-Sensitive Type-Based Heap CloningMohamad Barbar, Yulei Sui, Shiping Chen 0001. [doi]
- Owicki-Gries Reasoning for C11 RARSadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim. [doi]
- A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede. [doi]
- Data Consistency in Transactional Storage Systems: A Centralised SemanticsShale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner. [doi]
- Perfect Is the Enemy of Good: Best-Effort Program SynthesisHila Peleg, Nadia Polikarpova. [doi]
- Reference Mutability for DOTVlastimil Dort, Ondrej Lhoták. [doi]
- A Type-Directed Operational Semantics For a Calculus with a Merge OperatorXuejing Huang, Bruno C. D. S. Oliveira. [doi]
- Blame for NullAbel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták. [doi]
- A Big Step from Finite to Infinite Computations (SCICO Journal-first)Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca. [doi]
- Don't Panic! Better, Fewer, Syntax Errors for LR ParsersLukas Diekmann, Laurence Tratt. [doi]
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web ApplicationsGabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner. [doi]
- Static Analysis of Shape in TensorFlow ProgramsSifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis. [doi]
- Row and Bounded Polymorphism via Disjoint PolymorphismNingning Xie, Bruno C. D. S. Oliveira, Xuan Bi, Tom Schrijvers. [doi]
- Lifting Sequential Effects to Control OperatorsColin S. Gordon. [doi]
- Static Type Analysis by Abstract Interpretation of Python ProgramsRaphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. [doi]
- Scala with Explicit NullsAbel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu. [doi]
- Sound Regular Corecursion in coFJDavide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca. [doi]
- Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor ModelSam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter. [doi]
- Static Race Detection and Mutex Safety and Liveness for Go ProgramsJulia Gabet, Nobuko Yoshida. [doi]
- Model-View-Update-Communicate: Session Types Meet the Elm ArchitectureSimon Fowler 0001. [doi]
- Putting Randomized Compiler Testing into Production (Experience Report)Alastair F. Donaldson, Hugues Evrard, Paul Thomson. [doi]