SOAP 2025 – Proceedings

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

Frontmatter

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

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

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

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

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

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

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

proc time: 2.35