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
30m
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie MurphyPrinceton University, Gordon StewartOhio University