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

Sun 18 Jun

mapl-2017-papers
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers14:00 - 14:30
Talk
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
mapl-2017-papers14:30 - 15:00
Talk
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
mapl-2017-papers15:00 - 15:30
Talk
Charlie MurphyPrinceton University, Gordon StewartOhio University