Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 5)

H-INDEX

(FIVE YEARS 1)

Published By ACM

9781450379960

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the challenges in programming mixed-precision deep neural networks

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397468 ◽

2020 ◽

Author(s):

Ruizhe Zhao ◽

Wayne Luk ◽

Chao Xiong ◽

Xinyu Niu ◽

Kuen Hung Tsoi

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Mixed Precision

Download Full-text

Generating correctness proofs with neural networks

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397466 ◽

2020 ◽

Cited By ~ 1

Author(s):

Alex Sanchez-Stern ◽

Yousef Alhessi ◽

Lawrence Saul ◽

Sorin Lerner

Keyword(s):

Neural Networks ◽

Correctness Proofs

Download Full-text

Learning quantitative representation synthesis

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397467 ◽

2020 ◽

Author(s):

Mayur Patil ◽

Farzin Houshmand ◽

Mohsen Lesani

Download Full-text

Learned garbage collection

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397469 ◽

2020 ◽

Author(s):

Lujing Cen ◽

Ryan Marcus ◽

Hongzi Mao ◽

Justin Gottschlich ◽

Mohammad Alizadeh ◽

...

Keyword(s):

Garbage Collection

Download Full-text

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397465 ◽

2020 ◽

Author(s):

Momoko Hattori ◽

Shimpei Sawada ◽

Shinichiro Hamaji ◽

Masahiro Sakai ◽

Shunsuke Shimizu

Keyword(s):

Dynamic Computation ◽

Shape Inference

Download Full-text

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming LanguagesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

On the challenges in programming mixed-precision deep neural networks

Generating correctness proofs with neural networks

Learning quantitative representation synthesis

Learned garbage collection

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Latest Publications