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

Sun 18 Jun

Displayed 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 Zhang Georgia Tech, Xujie Si , Mayur Naik Georgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur Koc University of Maryland, College Park, Parsa Saadatpanah University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Adam Porter University of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie Murphy Princeton University, Gordon Stewart Ohio University