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

Workshop MAPL 2020 – Author Index

Contents - Abstracts - Authors

A C G H K L M N P S T X Z

Alhessi, Yousef MAPL '20: "Generating Correctness Proofs ..."
Alizadeh, Mohammad MAPL '20: "Learned Garbage Collection ..."
Cen, Lujing MAPL '20: "Learned Garbage Collection ..."
Gottschlich, Justin MAPL '20: "Learned Garbage Collection ..."
Hamaji, Shinichiro MAPL '20: "Semi-static Type, Shape, and ..."
Hattori, Momoko MAPL '20: "Semi-static Type, Shape, and ..."
Houshmand, Farzin MAPL '20: "Learning Quantitative Representation ..."
Kraska, Tim MAPL '20: "Learned Garbage Collection ..."
Lerner, Sorin MAPL '20: "Generating Correctness Proofs ..."
Lesani, Mohsen MAPL '20: "Learning Quantitative Representation ..."
Luk, Wayne MAPL '20: "On the Challenges in Programming ..."
Mao, Hongzi MAPL '20: "Learned Garbage Collection ..."
Marcus, Ryan MAPL '20: "Learned Garbage Collection ..."
Niu, Xinyu MAPL '20: "On the Challenges in Programming ..."
Patil, Mayur MAPL '20: "Learning Quantitative Representation ..."
Sakai, Masahiro MAPL '20: "Semi-static Type, Shape, and ..."
Sanchez-Stern, Alex MAPL '20: "Generating Correctness Proofs ..."
Saul, Lawrence MAPL '20: "Generating Correctness Proofs ..."
Sawada, Shimpei MAPL '20: "Semi-static Type, Shape, and ..."
Shimizu, Shunsuke MAPL '20: "Semi-static Type, Shape, and ..."
Tsoi, Kuen Hung MAPL '20: "On the Challenges in Programming ..."
Xiong, Chao MAPL '20: "On the Challenges in Programming ..."
Zhao, Ruizhe MAPL '20: "On the Challenges in Programming ..."

23 authors

proc time: 3.93