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 (34)

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
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich 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 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 Committee Member in Organizing Committee within the SOAP-track
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 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 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 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
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