Table of Contents

• RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)Tomás Dacík, Tomás Vojnar. [doi]
• Event Race Detection for Node.js Using Delay InjectionsAndré Takeshi Endo, Anders Møller. [doi]
• Pydrofoil: Accelerating Sail-Based Instruction Set SimulatorsCarl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger 0001. [doi]
• Reusing Highly Optimized IR in Dynamic CompilationAndrej Pecimuth, David Leopoldseder, Petr Tuma 0001. [doi]
• Spegion: Implicit and Non-Lexical Regions with Sized AllocationsJack Hughes 0002, Michael Vollmer 0003, Mark Batty. [doi]
• Practical Type-Based Taint Checking and InferenceNima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi. [doi]
• Type-Safe and Portable Support for Packed Data (Experience Paper)Arthur Jamet, Michael Vollmer 0003. [doi]
• Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source RepositoriesTianyu Chen, Zeyu Wang, Lin Li, Ding Li 0001, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie 0001. [doi]
• Bottom-Up Synthesis of Memory Mutations with Separation LogicKasra Ferdowsi, Hila Peleg. [doi]
• An Effectful Object CalculusFrancesco Dagnino, Paola Giannini, Elena Zucca. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler FrameworkYusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick. [doi]
• Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound TreesGuanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen 0001, Jianjun Zhao 0001, Yulei Sui. [doi]
• Contrasting Deadlock-Free Session ProcessesJuan C. Jaramillo, Jorge A. Pérez 0001. [doi]
• Quantifying Cache Side-Channel Leakage by Refining Set-Based AbstractionsJacqueline L. Mitchell, Chao Wang 0001. [doi]
• Taming and Dissecting Recursions Through Interprocedural Weak Topological OrderingJiawei Yang, Xiao Cheng 0002, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui. [doi]
• Multiparty Asynchronous Session Types: A Mechanised Proof of Subject ReductionDawit Legesse Tirore, Jesper Bengtson, Marco Carbone. [doi]
• Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper)Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, Márcio Ribeiro 0001. [doi]
• The Algebra of PatternsDavid Binder, Lean Ermantraut. [doi]
• A Theory of (Linear-Time) Timed MonitorsMouloud Amara, Giovanni Bernardi 0001, Mohammed Aristide Foughali, Adrian Francalanza. [doi]
• Mono Types - First-Class Containers for DatalogRunqing Xu, David Klopp, Sebastian Erdweg. [doi]
• Fair Termination of Asynchronous Binary SessionsLuca Padovani, Gianluigi Zavattaro. [doi]
• Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for IntercessionAäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix. [doi]
• Compositional Static Value Analysis for Higher-Order Numerical ProgramsMilla Valnet, Raphaël Monat, Antoine Miné. [doi]
• Ensuring Convergence and Invariants Without CoordinationDina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira 0001. [doi]
• WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper)Matthew K. L. Wong, Alastair F. Donaldson. [doi]
• Reusing Caches and Invariants for Efficient and Sound Incremental Static AnalysisMamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles. [doi]
• Incremental Computing by Differential ExecutionPrashant Kumar, André Pacak, Sebastian Erdweg. [doi]
• Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language DesignSiddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi. [doi]
• Contract Usage and Evolution in Android Mobile ApplicationsDavid R. Ferreira, Alexandra Mendes, João F. Ferreira 0001, Carolina Carreira. [doi]
• FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program GenerationAmber Gorzynski, Alastair F. Donaldson. [doi]
• Profile-Guided Field Externalization in an Ahead-Of-Time CompilerSebastian Kloibhofer, Lukas Makor, Peter Hofer, David Leopoldseder, Hanspeter Mössenböck. [doi]
• Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type UnsoundnessPedro Carrott, Sacha-Élie Ayoun, Azalea Raad. [doi]
• PoTo: A Hybrid Andersen's Points-To Analysis for PythonIngkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby. [doi]
• Declarative Dynamic Object ReclassificationRiccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen. [doi]
• Monadic Type-And-Effect SoundnessFrancesco Dagnino, Paola Giannini, Elena Zucca. [doi]
• Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code GenerationSangyeop Yeo, Seung-won Hwang, Yu-Seung Ma. [doi]
• GSOHC: Global Synchronization Optimization in Heterogeneous ComputingSoumik Kumar Basu, Jyothi Vedurada. [doi]
• Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea)Cameron Moy, Ryan Jung, Matthias Felleisen. [doi]
• In-Memory Object Graph StoresAditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J. Rossbach, Milos Gligoric 0001. [doi]
• IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOLMatt Griffin, Brijesh Dongol, Azalea Raad. [doi]
• Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea)Vasileios Klimis. [doi]
• Automatic Goal Clone Detection in RocqAli Ghanbari 0001. [doi]