POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
VenueCurtis Hotel Denver
Room namePaper
Floor2
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
Stateless model checking concurrent and distributed programsTutorials at Paper
09:00
90m
Tutorial
Stateless Model Checking Concurrent and Distributed Programs
Tutorials
P: Michalis Kokologiannakis ETH Zurich, P: Viktor Vafeiadis MPI-SWS
11:00 - 12:30
Stateless model checking concurrent and distributed programsTutorials at Paper
11:00
90m
Tutorial
Stateless Model Checking Concurrent and Distributed Programs
Tutorials
P: Michalis Kokologiannakis ETH Zurich, P: Viktor Vafeiadis MPI-SWS

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change