PLDI 2020 Co-Located Events
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2020)
Powered by
Conference Publishing Consulting

4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2020), June 15, 2020, London, UK

MAPL 2020 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs

Papers

Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin LernerORCID logo
(University of California at San Diego, USA)
Publisher's Version
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
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
Learning Quantitative Representation Synthesis
Mayur Patil, Farzin Houshmand ORCID logo, and Mohsen Lesani ORCID logo
(University of California at Riverside, USA)
Publisher's Version
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich ORCID logo, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
Publisher's Version

proc time: 1.37