0 | -- | 0 | Hehao Li, Yizhuo Wang, YiWei Zhang, Juanru Li, Dawu Gu. PEDroid: Automatically Extracting Patches from Android App Updates (Artifact) |
0 | -- | 0 | Daniel Marshall, Dominic Orchard. How to Take the Inverse of a Type (Artifact) |
0 | -- | 0 | Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox. Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact) |
0 | -- | 0 | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) |
0 | -- | 0 | Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei 0001, Tiark Rompf. What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact) |
0 | -- | 0 | Dongjie He, Jingbo Lu, Jingling Xue. Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact) |
0 | -- | 0 | Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi. Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact) |
0 | -- | 0 | Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) |
0 | -- | 0 | Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger. Low-Level Bi-Abduction (Artifact) |
0 | -- | 0 | Vlad Rusu, David Nowak. Defining Corecursive Functions in Coq Using Approximations (Artifact) |
0 | -- | 0 | Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001. Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact) |
0 | -- | 0 | Jinxu Zhao, Bruno C. D. S. Oliveira. Elementary Type Inference (Artifact) |
0 | -- | 0 | Shuyang Liu, John Bender, Jens Palsberg. Compiling Volatile Correctly in Java (Artifact) |
0 | -- | 0 | Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers. REST: Integrating Term Rewriting with Program Verification (Artifact) |
0 | -- | 0 | Abhiroop Sarkar, Bo Joel Svensson. Synchron - An API and Runtime for Embedded Systems (Artifact) |
0 | -- | 0 | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst. Accumulation Analysis (Artifact) |
0 | -- | 0 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli. Functional Programming for Distributed Systems with XC (Artifact) |
0 | -- | 0 | Jules Jacobs. A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact) |
0 | -- | 0 | Ruofei Chen, Stephanie Balzer, Bernardo Toninho. Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact) |
0 | -- | 0 | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact) |
0 | -- | 0 | Filipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão. Concolic Execution for WebAssembly (Artifact) |
0 | -- | 0 | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) |
0 | -- | 1 | Alessandra Gorla, Stefan Winter 0001. Front Matter, Table of Contents, Preface, Conference Organization |
0 | -- | 0 | Manuel Serrano. JavaScript Sealed Classes (Artifact) |
0 | -- | 0 | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. D. S. Oliveira. Union Types with Disjoint Switches (Artifact) |
0 | -- | 0 | Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. D. S. Oliveira. Direct Foundations for Compositional Programming (Artifact) |
0 | -- | 0 | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini. Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) |