Verified Perceptron Convergence Theorem (MAPL 2017) - PLDI 2017

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Who

Charlie Murphy, Gordon Stewart

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Charlie Murphy

Princeton University

Gordon Stewart

Ohio University

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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