SOAP 2024 Contributors

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

co-located with PLDI 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany ValBench: Benchmarking exact value analysis
B Maxwell BernsteinBernstein, Maxwell Northeastern UniversityUnited States Dr Wenowdis: Specializing dynamic language C extensions using type information
Guillaume BertholonBertholon, Guillaume Inria & Université de Strasbourg, CNRS, ICube, France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
CF Bolz-TereickBolz-Tereick, CF Heinrich-Heine-Universität DüsseldorfGermany Dr Wenowdis: Specializing dynamic language C extensions using type information
Martin BrainBrain, Martin City, University of London Misconceptions About Loops in C
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Program Committee within the SOAP-track
Begatim BytyqiBytyqi, Begatim Inria & Université de Strasbourg, CNRS, ICube, France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
C Patrick ChapmanChapman, Patrick University of California, Davis Interleaving Static Analysis and LLM Prompting
Arthur CharguéraudCharguéraud, Arthur Inria; Université de Strasbourg; CNRS; ICubeFrance Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Giovanna Kobus ConradoConrado, Giovanna Kobus Hong Kong University of Science and TechnologyHong Kong A Better Approximation for Interleaved Dyck Reachability
D Eva DarulovaDarulova, Eva Uppsala UniversitySweden Recent Advances in Floating-point (Static) Analyses
Irina DudinaDudina, Irina University of Edinburgh Static Analysis for CHERI
E Julian ErhardErhard, Julian Technical University of Munich When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
G Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in Program Committee within the SOAP-track
K Thomas KoehlerKoehler, Thomas INRIAFrance Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
M Mahdi MalkawiMalkawi, Mahdi City, University of London Misconceptions About Loops in C
Michaël MarcozziMarcozzi, Michaël CEA, LIST, Université Paris SaclayFrance Committee Member in Program Committee within the SOAP-track
Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt ValBench: Benchmarking exact value analysis
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Session Chair of SOAP I (part of SOAP) Closing and Best Presentation Award Committee Member in Organizing Committee within the SOAP-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Challenges and Opportunities in Program Analysis for JavaScript
N Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the SOAP-track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Session Chair of SOAP II (part of SOAP) Committee Member in Program Committee within the SOAP-track
P Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A Better Approximation for Interleaved Dyck Reachability
R Damien RouhlingRouhling, Damien Inria Nancy Grand-Est; France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Session Chair of SOAP III (part of SOAP) Closing and Best Presentation Award Interleaving Static Analysis and LLM Prompting Committee Member in Organizing Committee within the SOAP-track
S Johanna Franziska SchinabeckSchinabeck, Johanna Franziska Technische Universität München When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Martin SchäfSchäf, Martin Amazon Web ServicesUnited States Committee Member in Program Committee within the SOAP-track
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of SOAP IV (part of SOAP) When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Natarajan ShankarShankar, Natarajan SRI International, USA Committee Member in Program Committee within the SOAP-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Lightweight Resource Leak Verification and Inference
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Static Analysis for CHERI
Quentin StiévenartStiévenart, Quentin Université du Québec à Montréal (UQAM)Canada Committee Member in Program Committee within the SOAP-track
T Tucker TaftTaft, Tucker AdaCore, United StatesUnited States Committee Member in Program Committee within the SOAP-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Interleaving Static Analysis and LLM Prompting
V Vesal VojdaniVojdani, Vesal University of TartuEstonia Committee Member in Program Committee within the SOAP-track
W Wenwen WangWang, Wenwen University of GeorgiaUnited States Committee Member in Program Committee within the SOAP-track