SOAP 2026 – Preliminary Table of Contents

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

Frontmatter

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

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

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

Article Search Article: pldiws26soapmain-p2-p

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)

Article Search Article: pldiws26soapmain-p3-p

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

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

Article Search Artifacts Available Article: pldiws26soapmain-p6-p

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

Article Search Article: pldiws26soapmain-p7-p

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

Article Search Article: pldiws26soapmain-p8-p

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

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

proc time: 8.55