PLDI 2024 (series) / SOAP 2024 (series) /
SOAP 2024 Program
This is the SOAP 2024 program - see the full program for PLDI 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 25 JunDisplayed time zone: Windhoek change
Tue 25 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 50mKeynote | Recent Advances in Floating-point (Static) Analyses SOAP Eva Darulova Uppsala University | ||
09:50 20mTalk | Static Analysis for CHERIRemote SOAP |
10:40 - 12:20 | |||
10:40 50mKeynote | Challenges and Opportunities in Program Analysis for JavaScript SOAP Anders Møller Aarhus University | ||
11:30 20mTalk | Dr Wenowdis: Specializing dynamic language C extensions using type information SOAP Pre-print File Attached | ||
11:50 20mTalk | Interleaving Static Analysis and LLM Prompting SOAP Patrick Chapman University of California, Davis, Cindy Rubio-González University of California at Davis, Aditya V. Thakur University of California at Davis |
13:40 - 15:20 | |||
13:40 50mKeynote | Lightweight Resource Leak Verification and Inference SOAP Manu Sridharan University of California at Riverside | ||
14:30 20mTalk | Interactive Source-to-Source Optimizations Validated using Static Resource Analysis SOAP Guillaume Bertholon Inria & Université de Strasbourg, CNRS, ICube, France, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Thomas Koehler INRIA, Begatim Bytyqi Inria & Université de Strasbourg, CNRS, ICube, France, Damien Rouhling Inria Nancy Grand-Est; France | ||
14:50 20mTalk | When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly SOAP Julian Erhard Technical University of Munich, Johanna Franziska Schinabeck Technische Universität München, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München |
16:00 - 17:40 | |||
16:00 20mTalk | Misconceptions About Loops in C SOAP | ||
16:20 20mTalk | A Better Approximation for Interleaved Dyck Reachability SOAP Giovanna Kobus Conrado Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University | ||
16:40 20mTalk | ValBench: Benchmarking exact value analysis SOAP Marc Miltenberger Fraunhofer SIT | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Steven Arzt Fraunhofer SIT; ATHENE | ||
17:00 5mTalk | Closing and Best Presentation Award SOAP |