Table of Contents

• A Deterministic Memory Allocator for Dynamic Symbolic ExecutionDaniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. [doi]
• Functional Programming for Distributed Systems with XCGiorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli. [doi]
• Stay Safe Under Panic: Affine Rust Programming with Multiparty Session TypesNicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida. [doi]
• Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract)Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi. [doi]
• Elementary Type InferenceJinxu Zhao, Bruno C. D. S. Oliveira. [doi]
• Functional Programming with DatalogAndré Pacak, Sebastian Erdweg. [doi]
• Maniposynth: Bimodal Tangible Functional ProgrammingBrian Hempel, Ravi Chugh. [doi]
• Low-Level Bi-AbductionLukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger. [doi]
• Fair Termination of Multiparty SessionsLuca Ciccone, Francesco Dagnino, Luca Padovani. [doi]
• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença. [doi]
• Automatic Root Cause Quantification for Missing Edges in JavaScript Call GraphsMadhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi. [doi]
• Verified Compilation and Optimization of Floating-Point Programs in CakeMLHeiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox. [doi]
• Vincent: Green Hot Methods in the JVM (Extended Abstract)Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu. [doi]
• Accumulation AnalysisMartin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst. [doi]
• Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract)David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini. [doi]
• What If We Don't Pop the Stack? The Return of 2nd-Class ValuesAnxhelo Xhebraj, Oliver Bracevac, Guannan Wei 0001, Tiark Rompf. [doi]
• Compiling Volatile Correctly in JavaShuyang Liu, John Bender, Jens Palsberg. [doi]
• Defining Corecursive Functions in Coq Using ApproximationsVlad Rusu, David Nowak. [doi]
• PEDroid: Automatically Extracting Patches from Android App UpdatesHehao Li, Yizhuo Wang, YiWei Zhang, Juanru Li, Dawu Gu. [doi]
• Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)Marcelo Navarro, Federico Olmedo. [doi]
• A Self-Dual Distillation of Session TypesJules Jacobs. [doi]
• Direct Foundations for Compositional ProgrammingAndong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. D. S. Oliveira. [doi]
• REST: Integrating Term Rewriting with Program VerificationZachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers. [doi]
• Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer AnalysisDongjie He, Jingbo Lu, Jingling Xue. [doi]
• Synchron - An API and Runtime for Embedded SystemsAbhiroop Sarkar, Bo Joel Svensson, Mary Sheeran. [doi]
• How to Take the Inverse of a TypeDaniel Marshall, Dominic Orchard. [doi]
• NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu 0001, Scott McMillan, John Phillip Ratzloff, Marcin Zalewski. [doi]
• JavaScript Sealed ClassesManuel Serrano. [doi]
• Static Analysis for AWS Best Practices in Python CodeRajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson. [doi]
• Design-By-Contract for Flexible Multiparty Session ProtocolsLorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Ferrite: A Judgmental Embedding of Session Types in RustRuofei Chen, Stephanie Balzer, Bernardo Toninho. [doi]
• Global Type Inference for Featherweight Generic JavaAndreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001. [doi]
• Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackRESTFrançois Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams. [doi]
• Union Types with Disjoint SwitchesBaber Rehman, Xuejing Huang, Ningning Xie, Bruno C. D. S. Oliveira. [doi]
• Concolic Execution for WebAssemblyFilipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão. [doi]