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

Sun 18 Jun

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