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
Article: pldiws24soapforeword-fm000-p doi:
Welcome from the Chairs
Article: pldiws24soapforeword-fm001-p doi:
SOAP 2024 Organization
Article: pldiws24soapforeword-fm002-p doi:

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 Article: pldiws24soapmain-p26-p doi:10.1145/3652588.3663316
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 Article: pldiws24soapmain-p46-p doi:10.1145/3652588.3663317
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 Article: pldiws24soapmain-p55-p doi:10.1145/3652588.3663318
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 Article: pldiws24soapmain-p68-p doi:10.1145/3652588.3663320
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 Article: pldiws24soapmain-p78-p doi:10.1145/3652588.3663321
ValBench: Benchmarking Exact Value Analysis
Marc Miltenberger and Steven Arzt
(Fraunhofer SIT, Germany; ATHENE, Darmstadt, Germany)
Publisher's Version Published Artifact Artifacts Available Article: pldiws24soapmain-p85-p doi:10.1145/3652588.3663322
Static Analysis for Transitioning to CHERI C/C++
Irina Dudina and Ian Stark
(University of Edinburgh, United Kingdom)
Publisher's Version Article: pldiws24soapmain-p89-p doi:10.1145/3652588.3663323
Misconceptions about Loops in C
Martin Brain and Mahdi Malkawi
(City University of London, United Kingdom)
Publisher's Version Published Artifact Artifacts Available Article: pldiws24soapmain-p100-p doi:10.1145/3652588.3663324

proc time: 0.02