PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 17:00 - 17:05 at Reykjavik - SOAP IV Chair(s): Helmut Seidl

Tue 25 Jun

Displayed time zone: Windhoek change

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