This event will honor Andreas Podelski on the occasion of his 65th birthday. The program will feature talks by Andreas’ collaborators, colleagues, and friends to celebrate his numerous contributions to the field of program analysis and verification. All PLDI 2024 attendees are welcome!
Plenary
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 | ||
18:00 - 20:00 | Welcome Reception (open to attendees of any PLDI-associated event)PLDI Events / Catering at Copenhagen City Hall Note: this reception is open to attendees of any PLDI-associated event, not just the main PLDI conference. | ||
18:00 2hOther | Reception PLDI Events Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital, Jakob Grue Simonsen University of Copenhagen, Milind Kulkarni Purdue University | ||
Important Dates AoE (UTC-12h)
| Tue 25 Jun 2024 Workshop |
