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

SOAP 2020 – Preliminary Table of Contents

Contents - Abstracts - Authors

9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2020)

Frontmatter

Title Page
Message from the Chairs

Keynote

Formal Reasoning and the Hacker Way (Keynote)
Peter W. O'Hearn
(University College London, UK; Facebook, UK)
Publisher's Version Article Search

Papers

TACAI: An Intermediate Representation Based on Abstract Interpretation
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany; University of Paderborn, Germany)
Publisher's Version Preprint
Value and Allocation Sensitivity in Static Python Analyses
Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné
(Sorbonne University, France; CNRS, France; LIP6, France)
Publisher's Version Preprint
Explaining Bug Provenance with Trace Witnesses
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis
(University of Sydney, Australia; University of Athens, Greece)
Publisher's Version Article Search

proc time: 1.33