PLDI 2024 Co-Located Events
PLDI 2024 Co-Located Events
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2024), June 25, 2024, Copenhagen, Denmark

SOAP 2024 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs
SOAP 2024 Organization

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: 2.05