Closing and Best Presentation Award (SOAP 2024) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Raphaël Monat, Cindy Rubio-González

Track

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 25 Jun 2024 17:00 - 17:05 at Reykjavik - SOAP IV Chair(s): Helmut Seidl

Raphaël Monat

Inria and University of Lille

France

Cindy Rubio-González

University of California at Davis

United States

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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