PLDI 2024 (series) / PODELSKI (series) /
PODELSKI Program
This is the PODELSKI program - see the full program for PLDI 2024 and all affiliated events.
Filter Program
Dates
Tue 25 Jun 2024
Rooms
Helsinki
Tracks
PODELSKI
Badges
Nothing to filter
Your Program
Nothing to filter
Tue 25 JunDisplayed time zone: Windhoek change
Tue 25 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 35mTalk | Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the Work of Andreas Podelski PODELSKI Thomas Ball Microsoft Research | ||
09:35 35mTalk | Find, Use, and Conserve Tools for Formal Methods PODELSKI Dirk Beyer LMU Munich Pre-print | ||
10:40 - 12:20 | |||
10:40 33mTalk | Session Types for People who Love Automata PODELSKI Thomas Wies New York University | ||
11:13 33mTalk | Concurrent ∀∃-Hyperproperties PODELSKI Ernst-Rüdiger Olderog University of Oldenburg | ||
11:46 33mTalk | Optimal Quantum Programs PODELSKI Jens Palsberg University of California, Los Angeles (UCLA) | ||
13:40 - 15:20 | |||
13:40 33mTalk | Model Checking Distributed Software Systems PODELSKI Rupak Majumdar MPI-SWS | ||
14:13 33mTalk | Liveness to Safety for Distributed Systems PODELSKI Lenore Zuck UIC | ||
14:46 33mTalk | On the Power of Temporal Prophecy PODELSKI Jochen Hoenicke Certora | ||
16:00 - 17:40 | |||
16:00 33mTalk | Reasoning About Hilbert’s Choice Operator in SMT PODELSKI Byron Cook Amazon | ||
16:33 33mTalk | Living inside a Theorem Proving Universe PODELSKI Natarajan Shankar SRI International, USA | ||
17:06 33mDay closing | Closing Remarks PODELSKI Andreas Podelski University of Freiburg | ||