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

9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2020), June 15, 2020, London, UK

Workshop SOAP 2020 – Author Index

Contents - Abstracts - Authors

E G H K M O R S W

Eichberg, Michael SOAP '20: "TACAI: An Intermediate Representation ..."
Grech, Neville SOAP '20: "Explaining Bug Provenance ..."
Helm, Dominik SOAP '20: "TACAI: An Intermediate Representation ..."
Hermann, Ben SOAP '20: "TACAI: An Intermediate Representation ..."
Kübler, Florian SOAP '20: "TACAI: An Intermediate Representation ..."
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 ..."
O'Hearn, Peter W. SOAP '20: "Formal Reasoning and the Hacker ..."
Ouadjaout, Abdelraouf SOAP '20: "Value and Allocation Sensitivity ..."
Reif, Michael SOAP '20: "TACAI: An Intermediate Representation ..."
Scholz, Bernhard SOAP '20: "Explaining Bug Provenance ..."
Shen, Jixiang SOAP '20: "Explaining Bug Provenance ..."
Smaragdakis, Yannis SOAP '20: "Explaining Bug Provenance ..."
Wu, Xi SOAP '20: "Explaining Bug Provenance ..."

15 authors

proc time: 1.47