MAPL 2017- Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Full Citation in the ACM Digital Library

SESSION: Languages and Frameworks

A computational model for TensorFlow: an introduction

• Martín Abadi
• Michael Isard
• Derek G. Murray

Dyna: toward a self-optimizing declarative language for machine learning applications

• Tim Vieira
• Matthew Francis-Landau
• Nathaniel Wesley Filardo
• Farzad Khorasani
• Jason Eisner

SESSION: Debugging, Analysis, and Verification

Debugging probabilistic programs

• Chandrakana Nandi
• Dan Grossman
• Adrian Sampson
• Todd Mytkowicz
• Kathryn S. McKinley

Combining the logical and the probabilistic in program analysis

• Xin Zhang
• Xujie Si
• Mayur Naik

Learning a classifier for false positive error reports emitted by static code analysis tools

• Ugur Koc
• Parsa Saadatpanah
• Jeffrey S. Foster
• Adam A. Porter

Verified perceptron convergence theorem

• Charlie Murphy
• Patrick Gray
• Gordon Stewart