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)


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)
Article Search
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 Search

Debugging, Analysis, and Verification

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 Search
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 Search
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 Search
Verified Perceptron Convergence Theorem
Charlie Murphy, Patrick Gray, and Gordon Stewart
(Princeton University, USA; Ohio University, USA)
Article Search Info

proc time: 0.56