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)


@InProceedings{MAPL20p1, author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner}, title = {Generating Correctness Proofs with Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394450.3397466}, year = {2020}, } 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)


@InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } 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)


@InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version

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


@InProceedings{MAPL20p34, author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani}, title = {Learning Quantitative Representation Synthesis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3394450.3397467}, year = {2020}, } Publisher's Version

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


@InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version

proc time: 0.73