| |
Arceri, Vincenzo
|
SOAP '23: "Speeding up Static Analysis ..."
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
Article: pldiws23soapmain-id9298-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596141
|
| |
Arzt, Steven |
SOAP '23: "Extensible and Scalable Architecture ..."
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
Article: pldiws23soapmain-id1958-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596146
|
| |
Auer, Lukas |
SOAP '23: "HWASanIO: Detecting C/C++ ..."
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
Article: pldiws23soapmain-id3159-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596139
|
| |
Constantinides, George A.
|
SOAP '23: "Combining E-Graphs with Abstract ..."
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
Article: pldiws23soapmain-id3662-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596144
|
| |
Coward, Samuel |
SOAP '23: "Combining E-Graphs with Abstract ..."
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
Article: pldiws23soapmain-id3662-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596144
|
| |
Dolcetti, Greta
|
SOAP '23: "Speeding up Static Analysis ..."
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
Article: pldiws23soapmain-id9298-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596141
|
| |
Drane, Theo |
SOAP '23: "Combining E-Graphs with Abstract ..."
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
Article: pldiws23soapmain-id3662-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596144
|
| |
Erhard, Julian
|
SOAP '23: "When Long Jumps Fall Short: ..."
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
Article: pldiws23soapmain-id2710-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596140
|
| |
Fasse, Justus
|
SOAP '23: "Completeness Thresholds for ..."
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
Article: pldiws23soapmain-id3573-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596143
|
| |
Hohentanner, Konrad
|
SOAP '23: "HWASanIO: Detecting C/C++ ..."
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
Article: pldiws23soapmain-id3159-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596139
|
| |
Jacobs, Bart
|
SOAP '23: "Completeness Thresholds for ..."
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
Article: pldiws23soapmain-id3573-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596143
|
| |
Kasten, Florian
|
SOAP '23: "HWASanIO: Detecting C/C++ ..."
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
Article: pldiws23soapmain-id3159-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596139
|
| |
Ko, Jaeyong |
SOAP '23: "Crosys: Cross Architectural ..."
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
Article: pldiws23soapmain-id5392-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596147
|
| |
Lee, Jieun
|
SOAP '23: "Crosys: Cross Architectural ..."
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
Article: pldiws23soapmain-id5392-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596147
|
| |
Lee, Sangrok |
SOAP '23: "Crosys: Cross Architectural ..."
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
Article: pldiws23soapmain-id5392-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596147
|
| |
Liblit, Ben |
SOAP '23: "User-Assisted Code Query Optimization ..."
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
Article: pldiws23soapmain-id7532-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596148
|
| |
Lyu, Yingjun |
SOAP '23: "User-Assisted Code Query Optimization ..."
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
Article: pldiws23soapmain-id7532-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596148
|
| |
Miltenberger, Marc
|
SOAP '23: "Extensible and Scalable Architecture ..."
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
Article: pldiws23soapmain-id1958-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596146
|
| |
Mukherjee, Rajdeep |
SOAP '23: "User-Assisted Code Query Optimization ..."
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
Article: pldiws23soapmain-id7532-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596148
|
| |
Negrini, Luca
|
SOAP '23: "Static Analysis of Data Transformations ..."
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
Article: pldiws23soapmain-id808-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596145
|
| |
O’Reilly, Una-May
|
SOAP '23: "RaceInjector: Injecting Races ..."
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
Article: pldiws23soapmain-id7031-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596142
|
| |
Reinhard, Tobias
|
SOAP '23: "Completeness Thresholds for ..."
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
Article: pldiws23soapmain-id3573-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596143
|
| |
Saan, Simmo
|
SOAP '23: "When Long Jumps Fall Short: ..."
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
Article: pldiws23soapmain-id2710-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596140
|
| |
Samak, Malavika |
SOAP '23: "RaceInjector: Injecting Races ..."
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
Article: pldiws23soapmain-id7031-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596142
|
| |
Schwarz, Michael |
SOAP '23: "When Long Jumps Fall Short: ..."
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
Article: pldiws23soapmain-id2710-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596140
|
| |
Seidl, Helmut |
SOAP '23: "When Long Jumps Fall Short: ..."
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
Article: pldiws23soapmain-id2710-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596140
|
| |
Shabadi, Guruprerana |
SOAP '23: "Static Analysis of Data Transformations ..."
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
Article: pldiws23soapmain-id808-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596145
|
| |
Shim, Jaewoo |
SOAP '23: "Crosys: Cross Architectural ..."
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
Article: pldiws23soapmain-id5392-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596147
|
| |
Srikant, Shashank |
SOAP '23: "RaceInjector: Injecting Races ..."
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
Article: pldiws23soapmain-id7031-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596142
|
| |
Tripp, Omer
|
SOAP '23: "User-Assisted Code Query Optimization ..."
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
Article: pldiws23soapmain-id7532-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596148
|
| |
Urban, Caterina
|
SOAP '23: "Static Analysis of Data Transformations ..."
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
Article: pldiws23soapmain-id808-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596145
|
| |
Vojdani, Vesal
|
SOAP '23: "When Long Jumps Fall Short: ..."
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
Article: pldiws23soapmain-id2710-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596140
|
| |
Wang, Michael
|
SOAP '23: "RaceInjector: Injecting Races ..."
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
Article: pldiws23soapmain-id7031-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596142
|
| |
Wang, Yanjun |
SOAP '23: "User-Assisted Code Query Optimization ..."
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
Article: pldiws23soapmain-id7532-p (type: Full Paper (7 pages + references)) doi:10.1145/3589250.3596148
|
| |
Zaffanella, Enea
|
SOAP '23: "Speeding up Static Analysis ..."
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
Article: pldiws23soapmain-id9298-p (type: Full Paper (6 pages + references)) doi:10.1145/3589250.3596141
|