PLDI 2025 Co-Located Events
PLDI 2025 Co-Located Events
Powered by
Conference Publishing Consulting
14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2025), June 16, 2025, Seoul, Republic of Korea

SOAP 2025 – Proceedings

 Contents - Abstracts - Authors

14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2025)

Frontmatter

Title Page
Article: pldiws25soapforeword-fm000-p doi:
Welcome from the Chairs
Article: pldiws25soapforeword-fm002-p doi:

Papers

Beyond Affine Loops: A Geometric Approach to Program Synthesis
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, and Rémi Prébet
(KU Leuven, Belgium; Inria, France)
Publisher's Version Article: pldiws25soapmain-p11-p doi:10.1145/3735544.3735581
Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach
Qingxiao Xu and Jeff Huang
(Texas A&M University, USA)
Publisher's Version Article: pldiws25soapmain-p13-p doi:10.1145/3735544.3735582
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Ákos Hajdu, Roman Lee, Gavin Weng, Nilesh Agrawal, and Jérémy Dubreil
(Meta, UK; Meta, Canada; Meta, USA; Unaffiliated, France)
Publisher's Version Article: pldiws25soapmain-p27-p doi:10.1145/3735544.3735583
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Dorra Ben Khalifa and Matthieu Martel
(ENAC - University of Toulouse, France; University of Peprignan, France; Numalis, France)
Publisher's Version Article: pldiws25soapmain-p66-p doi:10.1145/3735544.3735584
Universal High-Performance CFL-Reachability via Matrix Multiplication
Ilia Muravev and Semyon Grigorev
(Saint-Petersburg State University, Russia)
Publisher's Version Published Artifact Artifacts Available Article: pldiws25soapmain-p84-p doi:10.1145/3735544.3735585
Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
Sedick David Baker Effendi, Xavier Pinho, Andrei Michael Dreyer, and Fabian Yamaguchi
(Stellenbosch University, South Africa; StackGen, USA; Whirly Labs, South Africa)
Publisher's Version Article: pldiws25soapmain-p86-p doi:10.1145/3735544.3735586
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
Kadiray Karakaya, Palaniappan Muthuraman, and Eric Bodden
(Heinz Nixdorf Institute at Paderborn University, Germany; Fraunhofer IEM, Germany)
Publisher's Version Article: pldiws25soapmain-p95-p doi:10.1145/3735544.3735587

proc time: 8.56