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

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

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