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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450350716

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

10.1145/3088525.3088562 ◽

2017 ◽

Author(s):

Tim Vieira ◽

Matthew Francis-Landau ◽

Nathaniel Wesley Filardo ◽

Farzad Khorasani ◽

Jason Eisner

Keyword(s):

Machine Learning ◽

Declarative Language ◽

Machine Learning Applications

Download Full-text

Debugging probabilistic programs

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

10.1145/3088525.3088564 ◽

2017 ◽

Cited By ~ 4

Author(s):

Chandrakana Nandi ◽

Dan Grossman ◽

Adrian Sampson ◽

Todd Mytkowicz ◽

Kathryn S. McKinley

Keyword(s):

Probabilistic Programs

Download Full-text

Combining the logical and the probabilistic in program analysis

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

10.1145/3088525.3088563 ◽

2017 ◽

Cited By ~ 1

Author(s):

Xin Zhang ◽

Xujie Si ◽

Mayur Naik

Keyword(s):

Program Analysis

Download Full-text

Verified perceptron convergence theorem

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

10.1145/3088525.3088673 ◽

2017 ◽

Cited By ~ 3

Author(s):

Charlie Murphy ◽

Patrick Gray ◽

Gordon Stewart

Keyword(s):

Convergence Theorem

Download Full-text

A computational model for TensorFlow: an introduction

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

10.1145/3088525.3088527 ◽

2017 ◽

Cited By ~ 19

Author(s):

Martín Abadi ◽

Michael Isard ◽

Derek G. Murray

Keyword(s):

Computational Model

Download Full-text

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

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

10.1145/3088525.3088675 ◽

2017 ◽

Cited By ~ 16

Author(s):

Ugur Koc ◽

Parsa Saadatpanah ◽

Jeffrey S. Foster ◽

Adam A. Porter

Keyword(s):

False Positive ◽

Positive Error ◽

False Positive Error ◽

Code Analysis ◽

Analysis Tools ◽

Static Code Analysis ◽

Error Reports

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

Debugging probabilistic programs

Combining the logical and the probabilistic in program analysis

Verified perceptron convergence theorem

A computational model for TensorFlow: an introduction

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

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