MAPL 2020 – Proceedings

4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2020)

Frontmatter

Papers

Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner
(University of California at San Diego, USA)

Publisher's Version Article: pldiws20maplmain-p2-p doi:10.1145/3394450.3397466

Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)

Publisher's Version Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465

On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)

Publisher's Version Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468

Learning Quantitative Representation Synthesis
Mayur Patil, Farzin Houshmand, and Mohsen Lesani
(University of California at Riverside, USA)

Publisher's Version Article: pldiws20maplmain-p5-p doi:10.1145/3394450.3397467

Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)

Publisher's Version Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469

proc time: 0.01