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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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