VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
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 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
60m
Talk
Keynote Talk: Outcome Logic: a foundational framework for concurrent and probabilistic program analysis
VMCAI 2025
Alexandra Silva Cornell University
10:00
30m
Talk
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
:
:
:
: