SOAP 2025 – Preliminary Table of Contents

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)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

Universal High-Performance CFL-Reachability via Matrix Multiplication
Ilia Muravev and Semyon Grigorev
(Saint-Petersburg State University, Russia)

Article Search 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)

Article Search

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)

Article Search

proc time: 2.47