SOAP 2023 – Proceedings

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

Frontmatter

Papers

Combining E-Graphs with Abstract Interpretation
Samuel Coward, George A. Constantinides, and Theo Drane
(Imperial College London, UK; Intel Corporation, UK; Intel Corporation, USA)


@InProceedings{SOAP23p1, author = {Samuel Coward and George A. Constantinides and Theo Drane}, title = {Combining E-Graphs with Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3589250.3596144}, year = {2023}, } Publisher's Version

Static Analysis of Data Transformations in Jupyter Notebooks
Luca Negrini, Guruprerana Shabadi, and Caterina Urban
(Corvallis, Italy; École Polytechnique, France; Institut Polytechnique de Paris, France; Inria Paris, France; ENS, France)


@InProceedings{SOAP23p10, author = {Luca Negrini and Guruprerana Shabadi and Caterina Urban}, title = {Static Analysis of Data Transformations in Jupyter Notebooks}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {10-9}, doi = {10.1145/3589250.3596145}, year = {2023}, } Publisher's Version

Speeding up Static Analysis with the Split Operator
Vincenzo Arceri, Greta Dolcetti, and Enea Zaffanella
(University of Parma, Italy)


@InProceedings{SOAP23p19, author = {Vincenzo Arceri and Greta Dolcetti and Enea Zaffanella}, title = {Speeding up Static Analysis with the Split Operator}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3589250.3596141}, year = {2023}, } Publisher's Version

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, and Helmut Seidl
(TU Munich, Germany; University of Tartu, Estonia)


@InProceedings{SOAP23p28, author = {Michael Schwarz and Julian Erhard and Vesal Vojdani and Simmo Saan and Helmut Seidl}, title = {When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {28-27}, doi = {10.1145/3589250.3596140}, year = {2023}, } Publisher's Version

HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Konrad Hohentanner, Florian Kasten, and Lukas Auer
(Fraunhofer AISEC, Germany)


@InProceedings{SOAP23p37, author = {Konrad Hohentanner and Florian Kasten and Lukas Auer}, title = {HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3589250.3596139}, year = {2023}, } Publisher's Version

Extensible and Scalable Architecture for Hybrid Analysis
Marc Miltenberger and Steven Arzt
(Fraunhofer SIT, Germany; ATHENE, Germany)


@InProceedings{SOAP23p46, author = {Marc Miltenberger and Steven Arzt}, title = {Extensible and Scalable Architecture for Hybrid Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3589250.3596146}, year = {2023}, } Publisher's Version

User-Assisted Code Query Optimization
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, and Yanjun Wang
(Amazon, USA)


@InProceedings{SOAP23p55, author = {Ben Liblit and Yingjun Lyu and Rajdeep Mukherjee and Omer Tripp and Yanjun Wang}, title = {User-Assisted Code Query Optimization}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3589250.3596148}, year = {2023}, } Publisher's Version

Completeness Thresholds for Memory Safety of Array Traversing Programs
Tobias Reinhard, Justus Fasse, and Bart Jacobs
(KU Leuven, Belgium)


@InProceedings{SOAP23p64, author = {Tobias Reinhard and Justus Fasse and Bart Jacobs}, title = {Completeness Thresholds for Memory Safety of Array Traversing Programs}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {64-63}, doi = {10.1145/3589250.3596143}, year = {2023}, } Publisher's Version

Crosys: Cross Architectural Dynamic Analysis
Sangrok Lee, Jieun Lee, Jaeyong Ko, and Jaewoo Shim
(Affiliated Institute of ETRI, South Korea)


@InProceedings{SOAP23p73, author = {Sangrok Lee and Jieun Lee and Jaeyong Ko and Jaewoo Shim}, title = {Crosys: Cross Architectural Dynamic Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3589250.3596147}, year = {2023}, } Publisher's Version

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms
Michael Wang, Shashank Srikant, Malavika Samak, and Una-May O’Reilly
(Massachusetts Institute of Technology, USA)


@InProceedings{SOAP23p82, author = {Michael Wang and Shashank Srikant and Malavika Samak and Una-May O’Reilly}, title = {RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {82-81}, doi = {10.1145/3589250.3596142}, year = {2023}, } Publisher's Version

proc time: 0.68