Powered by
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2020), June 15, 2020,
London, UK
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2020)
Frontmatter
Title Page
Article: pldiws20soapforeword-fm000-p doi:
Keynote
Formal Reasoning and the Hacker Way (Keynote)
Peter W. O'Hearn
(University College London, UK; Facebook, UK)
@InProceedings{SOAP20p1,
author = {Peter W. O'Hearn},
title = {Formal Reasoning and the Hacker Way (Keynote)},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3394451.3401953},
year = {2020},
}
Publisher's Version
Article: pldiws20soapmain-key1-p doi:10.1145/3394451.3401953
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)
@InProceedings{SOAP20p7,
author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini},
title = {TACAI: An Intermediate Representation Based on Abstract Interpretation},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3394451.3397204},
year = {2020},
}
Publisher's Version
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
Value and Allocation Sensitivity in Static Python Analyses
Raphaël Monat,
Abdelraouf Ouadjaout, and
Antoine Miné
(Sorbonne University, France; CNRS, France; LIP6, France)
@InProceedings{SOAP20p13,
author = {Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné},
title = {Value and Allocation Sensitivity in Static Python Analyses},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3394451.3397205},
year = {2020},
}
Publisher's Version
Article: pldiws20soapmain-id1-p doi:10.1145/3394451.3397205
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)
@InProceedings{SOAP20p19,
author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis},
title = {Explaining Bug Provenance with Trace Witnesses},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3394451.3397206},
year = {2020},
}
Publisher's Version
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
proc time: 0.01