PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / MAPL 2017 (series) /
MAPL 2017 Program
This is the MAPL 2017 program - see the full program for PLDI 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:15 - 09:30 | |||
09:15 15mDay opening | Introduction and Welcome MAPL |
09:30 - 10:30 | |||
09:30 60mTalk | Programming by Examples: PL Meets ML MAPL Sumit Gulwani Microsoft Research |
11:00 - 12:00 | |||
11:00 30mTalk | A Computational Model for TensorFlow (An Introduction) MAPL | ||
11:30 30mTalk | 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 | |||
12:00 30mTalk | 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 | |||
14:00 30mTalk | Combining the Logical and the Probabilistic in Program Analysis MAPL | ||
14:30 30mTalk | 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 30mTalk | Verified Perceptron Convergence Theorem MAPL |
16:00 - 16:45 | |||
16:00 45mOther | Town Hall Discussion MAPL |
16:45 - 17:00 | |||
16:45 15mDay closing | Concluding Remarks MAPL |