PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 25 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
SOAP ISOAP at Reykjavik
Chair(s): Raphaël Monat Inria and University of Lille
09:00
50m
Keynote
Recent Advances in Floating-point (Static) Analyses
SOAP
Eva Darulova Uppsala University
09:50
20m
Talk
Static Analysis for CHERIRemote
SOAP
Irina Dudina University of Edinburgh, Ian Stark The University of Edinburgh
10:40 - 12:20
SOAP IISOAP at Reykjavik
Chair(s): Luca Negrini Ca’ Foscari University of Venice
10:40
50m
Keynote
Challenges and Opportunities in Program Analysis for JavaScript
SOAP
Anders Møller Aarhus University
11:30
20m
Talk
Dr Wenowdis: Specializing dynamic language C extensions using type information
SOAP
Maxwell Bernstein Northeastern University, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print File Attached
11:50
20m
Talk
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
SOAP IIISOAP at Reykjavik
Chair(s): Cindy Rubio-González University of California at Davis
13:40
50m
Keynote
Lightweight Resource Leak Verification and Inference
SOAP
Manu Sridharan University of California at Riverside
14:30
20m
Talk
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
20m
Talk
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
SOAP IVSOAP at Reykjavik
Chair(s): Helmut Seidl Technische Universität München
16:00
20m
Talk
Misconceptions About Loops in C
SOAP
Martin Brain City, University of London, Mahdi Malkawi City, University of London
16:20
20m
Talk
A Better Approximation for Interleaved Dyck Reachability
SOAP
Giovanna Kobus Conrado Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University
16:40
20m
Talk
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
5m
Talk
Closing and Best Presentation Award
SOAP
Raphaël Monat Inria and University of Lille, Cindy Rubio-González University of California at Davis