POPL 2025 (series) / VMCAI 2025 (series) / 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025) /
Keynote Talk: Outcome Logic: a foundational framework for concurrent and probabilistic program analysis
Tue 21 Jan 2025 09:00 - 10:00 at Hopscotch - Keynote Talk (Tuesday) and Learning Chair(s): Ashutosh Trivedi
Programs increasingly rely on randomization in applications such as cryptography and machine learning. Analyzing randomized programs has been a fruitful research direction, but there is a gap when programs also exploit nondeterminism or, more generally, when they exhibit concurrent behavior. In this talk, we will present a framework based on Outcome Logic to develop program logics to reason about mixtures of effects in programs, including nondeterminism, concurrency, and randomization. We will show how one can integrate concurrent and probabilistic separation logics principles into Outcome Logic to introduce new compositional reasoning principles.
Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change
Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | Keynote Talk (Tuesday) and LearningVMCAI 2025 at Hopscotch Chair(s): Ashutosh Trivedi University of Colorado Boulder | ||
09:00 60mTalk | Keynote Talk: Outcome Logic: a foundational framework for concurrent and probabilistic program analysis VMCAI 2025 Alexandra Silva Cornell University | ||
10:00 30mTalk | 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025 Muqsit Azeem Technical University of Munich, Debraj Chakraborty Masaryk University, Sudeep Kanav LMU Munich, Jan Kretinsky Masaryk University, Czech Republic, Mohammadsadegh Mohagheghi Masaryk University, Stefanie Mohr Technical University of Munich, Maximilian Weininger Institute of Science and Technology Austria |