SOAP 2026 – Preliminary Table of Contents

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

Exploring Locally Bounded Translation Validation
Alborz Jelvani, Richard P. Martin, and Santosh Nagarakatte
(Rutgers University, USA)

Article Search Article: pldiws26soapmain-p8-p doi:10.1145/3814987.3814994

Ravencheck: Effectively-Propositional Reasoning for Rust
Kunha Kim, Nicholas V. Lewchenko, Bor-Yuh Evan Chang, and Gowtham Kaki
(University of Colorado Boulder, USA; Amazon, USA)

Article Search Article: pldiws26soapmain-p5-p doi:10.1145/3814987.3814991

Compile-Time Java Stream Fusion via mapMulti
Yegor Bugayenko, Maxim Trunnikov, and Vladimir Zakharov
(Huawei, China; Innopolis University, Russian Federation)

Article Search Article: pldiws26soapmain-p1-p doi:10.1145/3814987.3814988

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
Rishipal Singh Bhatia
(Google, USA)

Article Search Artifacts Available Article: pldiws26soapmain-p6-p doi:10.1145/3814987.3814992

Scaling Static Code Analysis Adoption at WhatsApp iOS
Ákos Hajdu, Jorge Mendez, Sander van Valkenburg, Artem Kupriianets, Matteo Marescotti, Dulma Churchill, and Sopot Cela
(Meta, UK; Meta, USA; Meta, Canada)

Article Search Article: pldiws26soapmain-p3-p doi:10.1145/3814987.3814990

On the Effectiveness of Modular Testing in EvoSuite
Elizabeth Dinella
(Bryn Mawr College, USA)

Article Search Article: pldiws26soapmain-p2-p doi:10.1145/3814987.3814989

LLM-Integrated Declarative Program Analysis
Sara Baradaran, Amirmohammad Nazari, and Mukund Raghothaman
(University of Southern California, USA)

Article Search Article: pldiws26soapmain-p7-p doi:10.1145/3814987.3814993

Detecting Data Leaks in Multi-user LLM Apps via Automated User-Scoped Taint Analysis
Sanjib Kumar Sen and Bozhen Liu
(Texas A&M University - Corpus Christi, USA)

Article Search Article: pldiws26soapmain-p9-p doi:10.1145/3814987.3814995

proc time: 8.22