SOAP 2025 Contributors

Mon 16 Jun 2025 Seoul, South Korea

co-located with PLDI 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Nilesh AgrawalAgrawal, Nilesh MetaUnited States Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
B Sedick David Baker EffendiBaker Effendi, Sedick David Stellenbosch UniversitySouth Africa Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
Erdenebayar BayarmagnaiBayarmagnai, Erdenebayar KU LeuvenBelgium Beyond Affine Loops: A Geometric Approach to Program Synthesis
Dorra Ben KhalifaBen Khalifa, Dorra ENAC - University of ToulouseFrance Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Eric BoddenBodden, Eric Heinz Nixdorf Institute at Paderborn University; Fraunhofer IEMGermany Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
D Elizabeth DinellaDinella, Elizabeth Bryn Mawr CollegeUnited States Committee Member in Program Committee within the SOAP-track
Andrei Michael DreyerDreyer, Andrei Michael Whirly LabsSouth Africa Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
Jérémy DubreilDubreil, Jérémy UnaffiliatedFrance Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
G Semyon GrigorevGrigorev, Semyon Saint-Petersburg State UniversityRussia Universal High-Performance CFL-Reachability via Matrix Multiplication
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Kihong HeoHeo, Kihong KAISTSouth Korea Session Chair of SOAP 4 (part of SOAP) Closing and Best Presentation Award Opening Committee Member in Organizing Committee within the SOAP-track
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia Committee Member in Program Committee within the SOAP-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach
J Minseok JeonJeon, Minseok Korea UniversitySouth Korea Committee Member in Program Committee within the SOAP-track
K Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institute at Paderborn UniversityGermany Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
L Roman LeeLee, Roman MetaCanada Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
HeuiChan LimLim, HeuiChan Davidson CollegeUnited States Committee Member in Program Committee within the SOAP-track
M Matthieu MartelMartel, Matthieu University of Peprignan; NumalisFrance Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Fatemeh MohammadiMohammadi, Fatemeh KU LeuvenBelgium Beyond Affine Loops: A Geometric Approach to Program Synthesis
Ilia MuravevMuravev, Ilia ExplytRussia Universal High-Performance CFL-Reachability via Matrix Multiplication
Palaniappan MuthuramanMuthuraman, Palaniappan Heinz Nixdorf Institute at Paderborn UniversityGermany Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
N Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Session Chair of SOAP 1 (part of SOAP) Closing and Best Presentation Award Opening Committee Member in Organizing Committee within the SOAP-track
P Xavier PinhoPinho, Xavier StackGenUnited States Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
Rémi PrébetPrébet, Rémi InriaFrance Beyond Affine Loops: A Geometric Approach to Program Synthesis
R Mukund RaghothamanRaghothaman, Mukund University of Southern California Session Chair of SOAP 3 (part of SOAP) Committee Member in Program Committee within the SOAP-track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance The MemCAD static analyser: shape, value and collection abstraction and application to OS verification Keynote Speaker in Keynote Speakers within the SOAP-track
S Michael SchwarzSchwarz, Michael TU MunichGermany Session Chair of SOAP 2 (part of SOAP) Committee Member in Program Committee within the SOAP-track
Sunbeom SoSo, Sunbeom GIST (Gwangju Institute of Science and Technology) Committee Member in Program Committee within the SOAP-track
Yulei SuiSui, Yulei University of New South WalesAustralia Static Analysis from Code Graphs to Neural Networks Keynote Speaker in Keynote Speakers within the SOAP-track
T Tian TanTan, Tian Nanjing UniversityChina Committee Member in Program Committee within the SOAP-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Committee Member in Program Committee within the SOAP-track
Ignacio TiraboschiTiraboschi, Ignacio Inria, France / ENS, FranceArgentina Committee Member in Program Committee within the SOAP-track
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Program Committee within the SOAP-track
W Gavin WengWeng, Gavin MetaUnited States Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
X Qingxiao XuXu, Qingxiao Texas A&M UniversityUnited States Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach
Y Fabian YamaguchiYamaguchi, Fabian Whirly LabsSouth Africa Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
Z Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Building X-Ray for enterprise-scale software Keynote Speaker in Keynote Speakers within the SOAP-track