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

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

SESSION: Debugging, Analysis, and Verification

Debugging probabilistic programs

Combining the logical and the probabilistic in program analysis

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

Verified perceptron convergence theorem