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
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 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 | ||