MAPL@PLDI

Publications

2020

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020 MAPL@PLDI (2020)
Mayur Patil, Farzin Houshmand, Mohsen Lesani
Learning quantitative representation synthesis. MAPL@PLDI (2020)
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, Tim Kraska
Learned garbage collection. MAPL@PLDI (2020)
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu
Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. MAPL@PLDI (2020)
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, Kuen Hung Tsoi
On the challenges in programming mixed-precision deep neural networks. MAPL@PLDI (2020)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating correctness proofs with neural networks. MAPL@PLDI (2020)

2019

2018

2017