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
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
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
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
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
proc time: 0.61