PLDI 2017 Workshops
38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
Powered by
Conference Publishing Consulting

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)

Frontmatter

Title Page
Message from the Chairs

Languages and Frameworks

A Computational Model for TensorFlow: An Introduction
Martín Abadi, Michael Isard, and Derek G. Murray
(Google Brain, USA)
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)

Debugging, Analysis, and Verification

Debugging Probabilistic Programs
Chandrakana NandiORCID logo, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinleyORCID logo
(University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA)
Combining the Logical and the Probabilistic in Program Analysis
Xin Zhang, Xujie Si, and Mayur Naik ORCID logo
(Georgia Institute of Technology, USA; University of Pennsylvania, USA)
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)
Verified Perceptron Convergence Theorem
Charlie Murphy, Patrick Gray, and Gordon Stewart
(Princeton University, USA; Ohio University, USA)
Info

proc time: 0.78