SOAP@PLDI

Keyphrases

Publications

2023

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Speeding up Static Analysis with the Split Operator. SOAP@PLDI (2023)
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang
User-Assisted Code Query Optimization. SOAP@PLDI (2023)
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023 SOAP@PLDI (2023)
Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. SOAP@PLDI (2023)
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. SOAP@PLDI (2023)
Konrad Hohentanner, Florian Kasten, Lukas Auer
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. SOAP@PLDI (2023)
Luca Negrini, Guruprerana Shabadi, Caterina Urban
Static Analysis of Data Transformations in Jupyter Notebooks. SOAP@PLDI (2023)
Marc Miltenberger, Steven Arzt
Extensible and Scalable Architecture for Hybrid Analysis. SOAP@PLDI (2023)
Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim
Crosys: Cross Architectural Dynamic Analysis. SOAP@PLDI (2023)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs. SOAP@PLDI (2023)
Samuel Coward, George A. Constantinides, Theo Drane
Combining E-Graphs with Abstract Interpretation. SOAP@PLDI (2023)

2022

2021

2020

2019

2017