SOAP 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (45)

A Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Session Chair of SOAP: Session 1 - Static Analysis (part of SOAP) Speeding up Static Analysis with the Split Operator Committee Member in Program Committee within the SOAP-track
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Extensible and Scalable Architecture for Hybrid Analysis
Lukas AuerAuer, Lukas Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
B Fraser BrownBrown, Fraser CMU Committee Member in Program Committee within the SOAP-track
C George A. ConstantinidesConstantinides, George A. Imperial College London, UKUnited Kingdom Combining E-Graphs with Abstract Interpretation
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Combining E-Graphs with Abstract Interpretation
D Greta DolcettiDolcetti, Greta University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Speeding up Static Analysis with the Split Operator
Theo DraneDrane, Theo Intel Corporation, USAUnited States Combining E-Graphs with Abstract Interpretation
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Program Committee within the SOAP-track
E Marco EilersEilers, Marco ETH ZurichSwitzerland Committee Member in Program Committee within the SOAP-track
Julian ErhardErhard, Julian Technical University of MunichGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
F Justus FasseFasse, Justus KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Session Chair of SOAP: Session 3 - Scalable Analysis (part of SOAP) Committee Member in Organizing Committee within the SOAP-track Committee Member in Organizing Committee within the SOAP-track
H Liana HadareanHadarean, Liana Amazon Web ServicesUnited States Session Chair of SOAP: Session 4 - Program Verification and Dynamic Analysis (part of SOAP) Committee Member in Organizing Committee within the SOAP-track
William HallahanHallahan, William Binghamton Applications of Symbolic Execution
Konrad HohentannerHohentanner, Konrad Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
J Bart JacobsJacobs, Bart KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Flux: Refinement types for Rust
K Daniel KaestnerKaestner, Daniel AbsIntGermany Committee Member in Program Committee within the SOAP-track
Florian KastenKasten, Florian Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Jaeyong KoKo, Jaeyong The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
L Jieun LeeLee, Jieun The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Sangrok LeeLee, Sangrok The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Ben LiblitLiblit, Ben AmazonUnited States User-Assisted Code Query Optimization
Yingjun LyuLyu, Yingjun AmazonUnited States User-Assisted Code Query Optimization
M Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENEGermany Extensible and Scalable Architecture for Hybrid Analysis
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the SOAP-track
Rajdeep MukherjeeMukherjee, Rajdeep AmazonUnited States User-Assisted Code Query Optimization
N Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
O Una-May O’ReillyO’Reilly, Una-May Massachusetts Institute of TechnologyUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
R Tobias ReinhardReinhard, Tobias KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Malavika SamakSamak, Malavika CSAIL, MITUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Guruprerana ShabadiShabadi, Guruprerana École Polytechnique, Institut Polytechnique de ParisFrance Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
Jaewoo ShimShim, Jaewoo The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Shashank SrikantSrikant, Shashank MITUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
T Tucker TaftTaft, Tucker AdaCore, United StatesUnited States Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)
Omer TrippTripp, Omer AmazonUnited States User-Assisted Code Query Optimization
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
V Vesal VojdaniVojdani, Vesal University of TartuEstonia When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
W Michael WangWang, Michael Massachusetts Institute of TechnologyUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
Yanjun WangWang, Yanjun Amazon Web Services, USAUnited States User-Assisted Code Query Optimization
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Speeding up Static Analysis with the Split Operator