PLDI 2026 Co-Located Events
PLDI 2026 Co-Located Events
Powered by
Conference Publishing Consulting

15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2026), June 15–19, 2026, Boulder, CO, USA

SOAP 2026 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Title Page
Article: pldiws26soapforeword-fm000-p doi:
Welcome from the Chairs
Article: pldiws26soapforeword-fm001-p doi:
SOAP 2026 Organization
Article: pldiws26soapforeword-fm002-p doi:
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