PLDI 2023 Co-Located Events
44th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2023)
Powered by
Conference Publishing Consulting

12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023), June 17, 2023, Orlando, FL, USA

SOAP 2023 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Welcome from the Chairs


Combining E-Graphs with Abstract Interpretation
Samuel Coward ORCID logo, George A. Constantinides ORCID logo, and Theo Drane ORCID logo
(Imperial College London, UK; Intel Corporation, UK; Intel Corporation, USA)
Publisher's Version
Static Analysis of Data Transformations in Jupyter Notebooks
Luca Negrini ORCID logo, Guruprerana Shabadi ORCID logo, and Caterina UrbanORCID logo
(Corvallis, Italy; École Polytechnique, France; Institut Polytechnique de Paris, France; Inria Paris, France; ENS, France)
Publisher's Version
Speeding up Static Analysis with the Split Operator
Vincenzo Arceri ORCID logo, Greta Dolcetti ORCID logo, and Enea Zaffanella ORCID logo
(University of Parma, Italy)
Publisher's Version
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Michael Schwarz ORCID logo, Julian Erhard ORCID logo, Vesal Vojdani ORCID logo, Simmo Saan ORCID logo, and Helmut Seidl ORCID logo
(TU Munich, Germany; University of Tartu, Estonia)
Publisher's Version
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Konrad Hohentanner ORCID logo, Florian Kasten ORCID logo, and Lukas Auer ORCID logo
(Fraunhofer AISEC, Germany)
Publisher's Version
Extensible and Scalable Architecture for Hybrid Analysis
Marc Miltenberger ORCID logo and Steven Arzt ORCID logo
(Fraunhofer SIT, Germany; ATHENE, Germany)
Publisher's Version Info
User-Assisted Code Query Optimization
Ben Liblit ORCID logo, Yingjun Lyu ORCID logo, Rajdeep Mukherjee ORCID logo, Omer Tripp ORCID logo, and Yanjun Wang ORCID logo
(Amazon, USA)
Publisher's Version
Completeness Thresholds for Memory Safety of Array Traversing Programs
Tobias ReinhardORCID logo, Justus Fasse ORCID logo, and Bart JacobsORCID logo
(KU Leuven, Belgium)
Publisher's Version
Crosys: Cross Architectural Dynamic Analysis
Sangrok Lee ORCID logo, Jieun Lee ORCID logo, Jaeyong Ko ORCID logo, and Jaewoo Shim ORCID logo
(Affiliated Institute of ETRI, South Korea)
Publisher's Version
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms
Michael Wang ORCID logo, Shashank Srikant ORCID logo, Malavika Samak ORCID logo, and Una-May O’Reilly ORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version

proc time: 2.75