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

41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2020), June 15–20, 2020, London, UK

Workshop PLDI 2020 Co-Located Events – Author Index

Contents - Abstracts - Authors

A B C D E G H J K L M N O P R S T W X Y Z

Ainsworth, Sam ISMM '20: "Prefetching in Functional ..."
Alhessi, Yousef MAPL '20: "Generating Correctness Proofs ..."
Alizadeh, Mohammad MAPL '20: "Learned Garbage Collection ..."
Appel, Andrew W. ISMM '20: "Verified Sequential Malloc/Free ..."
Bansal, Aman ISMM '20: "Garbage Collection using a ..."
Beadle, H. Alan ISMM '20: "Understanding and Optimizing ..."
Cai, Wentao ISMM '20: "Understanding and Optimizing ..."
Cen, Lujing MAPL '20: "Learned Garbage Collection ..."
Das, Anup ISMM '20: "Improving Phase Change Memory ..." ISMM '20: "Exploiting Inter- and Intra-Memory ..."
Dietz, Laura ISMM '20: "Alligator Collector: A Latency-Optimized ..."
Eichberg, Michael SOAP '20: "TACAI: An Intermediate Representation ..."
Gamari, Ben ISMM '20: "Alligator Collector: A Latency-Optimized ..."
Goel, Saksham ISMM '20: "Garbage Collection using a ..."
Gottschlich, Justin MAPL '20: "Learned Garbage Collection ..."
Grech, Neville SOAP '20: "Explaining Bug Provenance ..."
Hamaji, Shinichiro MAPL '20: "Semi-static Type, Shape, and ..."
Hattori, Momoko MAPL '20: "Semi-static Type, Shape, and ..."
Hedayati, Mohammad ISMM '20: "Understanding and Optimizing ..."
Helm, Dominik SOAP '20: "TACAI: An Intermediate Representation ..."
Hermann, Ben SOAP '20: "TACAI: An Intermediate Representation ..."
Houshmand, Farzin MAPL '20: "Learning Quantitative Representation ..."
Jones, Timothy M. ISMM '20: "Prefetching in Functional ..."
Kandasamy, Nagarajan ISMM '20: "Improving Phase Change Memory ..." ISMM '20: "Exploiting Inter- and Intra-Memory ..."
Kjellqvist, Chris ISMM '20: "Understanding and Optimizing ..."
Kraska, Tim MAPL '20: "Learned Garbage Collection ..."
Kübler, Florian SOAP '20: "TACAI: An Intermediate Representation ..."
Kumar, Prasanna ISMM '20: "Garbage Collection using a ..."
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 ..."
Mezini, Mira SOAP '20: "TACAI: An Intermediate Representation ..."
Miné, Antoine SOAP '20: "Value and Allocation Sensitivity ..."
Monat, Raphaël SOAP '20: "Value and Allocation Sensitivity ..."
Mutlu, Onur ISMM '20: "Improving Phase Change Memory ..."
Naumann, David A. ISMM '20: "Verified Sequential Malloc/Free ..."
Niu, Xinyu MAPL '20: "On the Challenges in Programming ..."
Nyblom, Hanna ISMM '20: "ThinGC: Complete Isolation ..."
Österlund, Erik ISMM '20: "ThinGC: Complete Isolation ..."
O'Hearn, Peter W. SOAP '20: "Formal Reasoning and the Hacker ..."
Ouadjaout, Abdelraouf SOAP '20: "Value and Allocation Sensitivity ..."
Patil, Mayur MAPL '20: "Learning Quantitative Representation ..."
Reif, Michael SOAP '20: "TACAI: An Intermediate Representation ..."
Sakai, Masahiro MAPL '20: "Semi-static Type, Shape, and ..."
Sanchez-Stern, Alex MAPL '20: "Generating Correctness Proofs ..."
Sanyal, Amitabha ISMM '20: "Garbage Collection using a ..."
Saul, Lawrence MAPL '20: "Generating Correctness Proofs ..."
Sawada, Shimpei MAPL '20: "Semi-static Type, Shape, and ..."
Scholz, Bernhard SOAP '20: "Explaining Bug Provenance ..."
Scott, Michael L. ISMM '20: "Understanding and Optimizing ..."
Shah, Preey ISMM '20: "Garbage Collection using a ..."
Shen, Jixiang SOAP '20: "Explaining Bug Provenance ..."
Shimizu, Shunsuke MAPL '20: "Semi-static Type, Shape, and ..."
Smaragdakis, Yannis SOAP '20: "Explaining Bug Provenance ..."
Song, Shihao ISMM '20: "Improving Phase Change Memory ..." ISMM '20: "Exploiting Inter- and Intra-Memory ..."
Tsoi, Kuen Hung MAPL '20: "On the Challenges in Programming ..."
Wen, Haosen ISMM '20: "Understanding and Optimizing ..."
Wilhelmsson, Jesper ISMM '20: "ThinGC: Complete Isolation ..."
Wrigstad, Tobias ISMM '20: "ThinGC: Complete Isolation ..."
Wu, Xi SOAP '20: "Explaining Bug Provenance ..."
Xiong, Chao MAPL '20: "On the Challenges in Programming ..."
Yang, Albert Mingkun ISMM '20: "ThinGC: Complete Isolation ..."
Zhao, Ruizhe MAPL '20: "On the Challenges in Programming ..."

64 authors

proc time: 4.52