SOAP 2024 – Proceedings

13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2024)

Frontmatter

Papers

Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information
Maxwell Bernstein and Carl Friedrich Bolz-Tereick
(Northeastern University, USA; Heinrich-Heine-Universität Düsseldorf, Germany)

Publisher's Version

Interleaving Static Analysis and LLM Prompting
Patrick J. Chapman, Cindy Rubio-González, and Aditya V. Thakur
(University of California at Davis, Davis, USA)

Publisher's Version

A Better Approximation for Interleaved Dyck Reachability
Giovanna Kobus Conrado and Andreas Pavlogiannis
(Hong Kong University of Science and Technology, Hong Kong; Aarhus University, Denmark)

Publisher's Version

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Guillaume Bertholon, Arthur Charguéraud, Thomas Kœhler, Begatim Bytyqi, and Damien Rouhling
(Inria, France; Université de Strasbourg - CNRS, France)

Publisher's Version

When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, and Helmut Seidl
(LMU Munich, Germany; TU Munich, Germany)

Publisher's Version

ValBench: Benchmarking Exact Value Analysis
Marc Miltenberger and Steven Arzt
(Fraunhofer SIT, Germany; ATHENE, Darmstadt, Germany)

Publisher's Version Published Artifact Artifacts Available

Static Analysis for Transitioning to CHERI C/C++
Irina Dudina and Ian Stark
(University of Edinburgh, United Kingdom)

Publisher's Version

Misconceptions about Loops in C
Martin Brain and Mahdi Malkawi
(City University of London, United Kingdom)

Publisher's Version Published Artifact Artifacts Available

proc time: 1.41