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

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:00 - 12:30: Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00 - 12:30
Talk
MAPL
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research