Abstract is missing.
- A computational model for TensorFlow: an introductionMartÃn Abadi, Michael Isard, Derek Gordon Murray. 1-7 [doi]
- Dyna: toward a self-optimizing declarative language for machine learning applicationsTim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner. 8-17 [doi]
- Debugging probabilistic programsChandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley. 18-26 [doi]
- Combining the logical and the probabilistic in program analysisXin Zhang, Xujie Si, Mayur Naik. 27-34 [doi]
- Learning a classifier for false positive error reports emitted by static code analysis toolsUgur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter. 35-42 [doi]
- Verified perceptron convergence theoremCharlie Murphy, Patrick Gray, Gordon Stewart. 43-50 [doi]