Write a Blog >>
Sun 18 Jun 2017 12:00 - 12:30 at Vertex WS219 - Debugging, Analysis, and Verification

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:00 - 12:30
Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research