Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:15 - 09:30
OpeningMAPL at Vertex WS219
09:15
15m
Day opening
Introduction and Welcome
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs
09:30 - 10:30
KeynoteMAPL at Vertex WS219
09:30
60m
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit Gulwani Microsoft Research
11:00 - 12:00
Languages and FrameworksMAPL at Vertex WS219
11:00
30m
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
Martin Abadi Google, Michael Isard Google, Derek Murray Google
11:30
30m
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University
12:00 - 12:30
Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research
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
16:00 - 16:45
Town Hall DiscussionMAPL at Vertex WS219
16:00
45m
Other
Town Hall Discussion
MAPL

16:45 - 17:00
ClosingMAPL at Vertex WS219
16:45
15m
Day closing
Concluding Remarks
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs