PODELSKI Contributors - PODELSKI

Tue 25 Jun 2024 Copenhagen, Denmark

co-located with PLDI 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (14)

B Thomas BallBall, Thomas Microsoft ResearchUnited States Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the Work of Andreas Podelski
Dirk BeyerBeyer, Dirk LMU MunichGermany Find, Use, and Conserve Tools for Formal Methods
C Byron CookCook, Byron AmazonUnited States Reasoning About Hilbert’s Choice Operator in SMT
D Daniel DietschDietsch, Daniel University of FreiburgGermany Co-chair in Program Committee within the PODELSKI-track
H Jochen HoenickeHoenicke, Jochen CertoraGermany On the Power of Temporal Prophecy
M Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Model Checking Distributed Software Systems
O Ernst-Rüdiger OlderogOlderog, Ernst-Rüdiger University of Oldenburg Concurrent ∀∃-Hyperproperties
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Optimal Quantum Programs
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Closing Remarks
R Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Co-chair in Program Committee within the PODELSKI-track
S Martin SchäfSchäf, Martin Amazon Web ServicesUnited States Co-chair in Program Committee within the PODELSKI-track
Natarajan ShankarShankar, Natarajan SRI International, USA Living inside a Theorem Proving Universe
W Thomas WiesWies, Thomas New York UniversityUnited States Session Types for People who Love Automata Co-chair in Program Committee within the PODELSKI-track
Z Lenore ZuckZuck, Lenore UICUnited States Liveness to Safety for Distributed Systems