0 | -- | 0 | Julia Gabet, Nobuko Yoshida. Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) |
0 | -- | 0 | Hila Peleg, Nadia Polikarpova. Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact) |
0 | -- | 0 | Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter. Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact) |
0 | -- | 0 | Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis. Static Analysis of Shape in TensorFlow Programs (Artifact) |
0 | -- | 0 | Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact) |
0 | -- | 0 | Mohamad Barbar, Yulei Sui, Shiping Chen 0001. Flow-Sensitive Type-Based Heap Cloning (Artifact) |
0 | -- | 0 | Simon Fowler 0001. Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact) |
0 | -- | 0 | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. Multiparty Session Programming with Global Protocol Combinators (Artifact) |
0 | -- | 0 | Xuejing Huang, Bruno C. D. S. Oliveira. A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) |
0 | -- | 0 | Bruno C. D. S. Oliveira, Shaobo Cui, Baber Rehman. The Duality of Subtyping (Artifact) |
0 | -- | 0 | Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede. A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact) |
0 | -- | 0 | Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták. Blame for Null (Artifact) |
0 | -- | 0 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. Static Type Analysis by Abstract Interpretation of Python Programs (Artifact) |
0 | -- | 0 | Alastair F. Donaldson, Hugues Evrard, Paul Thomson. Putting Randomized Compiler Testing into Production (Artifact) |
0 | -- | 0 | Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis. Reconciling Event Structures with Modern Multiprocessors (Artifact) |
0 | -- | 0 | Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim. Owicki-Gries Reasoning for C11 RAR (Artifact) |
0 | -- | 1 | Lisa Nguyen Quang Do, Manuel Rigger. Front Matter, Table of Contents, Preface, Conference Organization |
0 | -- | 0 | Lukas Diekmann, Laurence Tratt. Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact) |
0 | -- | 0 | Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach. Implementation of SHAPES Case Studies (Artifact) |
0 | -- | 0 | Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu. Scala with Explicit Nulls (Artifact) |