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

Workshop SOAP 2023 – Author Index

Contents - Abstracts - Authors

A C D E F H J K L M N O R S T U V W Z

Arceri, Vincenzo SOAP '23: "Speeding up Static Analysis ..."
Arzt, Steven SOAP '23: "Extensible and Scalable Architecture ..."
Auer, Lukas SOAP '23: "HWASanIO: Detecting C/C++ ..."
Constantinides, George A. SOAP '23: "Combining E-Graphs with Abstract ..."
Coward, Samuel SOAP '23: "Combining E-Graphs with Abstract ..."
Dolcetti, Greta SOAP '23: "Speeding up Static Analysis ..."
Drane, Theo SOAP '23: "Combining E-Graphs with Abstract ..."
Erhard, Julian SOAP '23: "When Long Jumps Fall Short: ..."
Fasse, Justus SOAP '23: "Completeness Thresholds for ..."
Hohentanner, Konrad SOAP '23: "HWASanIO: Detecting C/C++ ..."
Jacobs, Bart SOAP '23: "Completeness Thresholds for ..."
Kasten, Florian SOAP '23: "HWASanIO: Detecting C/C++ ..."
Ko, Jaeyong SOAP '23: "Crosys: Cross Architectural ..."
Lee, Jieun SOAP '23: "Crosys: Cross Architectural ..."
Lee, Sangrok SOAP '23: "Crosys: Cross Architectural ..."
Liblit, Ben SOAP '23: "User-Assisted Code Query Optimization ..."
Lyu, Yingjun SOAP '23: "User-Assisted Code Query Optimization ..."
Miltenberger, Marc SOAP '23: "Extensible and Scalable Architecture ..."
Mukherjee, Rajdeep SOAP '23: "User-Assisted Code Query Optimization ..."
Negrini, Luca SOAP '23: "Static Analysis of Data Transformations ..."
O’Reilly, Una-May SOAP '23: "RaceInjector: Injecting Races ..."
Reinhard, Tobias SOAP '23: "Completeness Thresholds for ..."
Saan, Simmo SOAP '23: "When Long Jumps Fall Short: ..."
Samak, Malavika SOAP '23: "RaceInjector: Injecting Races ..."
Schwarz, Michael SOAP '23: "When Long Jumps Fall Short: ..."
Seidl, Helmut SOAP '23: "When Long Jumps Fall Short: ..."
Shabadi, Guruprerana SOAP '23: "Static Analysis of Data Transformations ..."
Shim, Jaewoo SOAP '23: "Crosys: Cross Architectural ..."
Srikant, Shashank SOAP '23: "RaceInjector: Injecting Races ..."
Tripp, Omer SOAP '23: "User-Assisted Code Query Optimization ..."
Urban, Caterina SOAP '23: "Static Analysis of Data Transformations ..."
Vojdani, Vesal SOAP '23: "When Long Jumps Fall Short: ..."
Wang, Michael SOAP '23: "RaceInjector: Injecting Races ..."
Wang, Yanjun SOAP '23: "User-Assisted Code Query Optimization ..."
Zaffanella, Enea SOAP '23: "Speeding up Static Analysis ..."

35 authors

proc time: 7.87