Powered by

1st ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL 2017), June 18, 2017, Barcelona, Spain

MAPL 2017 – Proceedings

Contents - Abstracts - Authors

1st ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL 2017)

Title Page
Article: pldiws17maplforeword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: pldiws17maplforeword-fm001-p (type: Frontmatter) doi:

A Computational Model for TensorFlow: An Introduction
Martín Abadi, Michael Isard, and Derek G. Murray
(Google Brain, USA)
Article: pldiws17maplmain-maplmainid2-p (type: Full Paper (10 pages)) doi:

Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner
(Johns Hopkins University, USA; Rice University, USA)
Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:

Debugging Probabilistic Programs
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley
(University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA)
Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:

Combining the Logical and the Probabilistic in Program Analysis
Xin Zhang, Xujie Si, and Mayur Naik
(Georgia Institute of Technology, USA; University of Pennsylvania, USA)
Article: pldiws17maplmain-maplmainid8-p (type: Full Paper (10 pages)) doi:

Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter
(University of Maryland at College Park, USA)
Article: pldiws17maplmain-maplmainid6-p (type: Full Paper (10 pages)) doi:

Verified Perceptron Convergence Theorem
Charlie Murphy, Patrick Gray, and Gordon Stewart
(Princeton University, USA; Ohio University, USA)
Article: pldiws17maplmain-maplmainid4-p (type: Full Paper (10 pages)) doi:

proc time: 0.01