SOAP 2026
as the organisers put it
Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript) have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and mobile applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensuring code quality, and assessing security and compliance. SOAP 2026 aims to bring together the members of the program analysis community to share new developments and shape innovati ...
| title | author | length |
|---|---|---|
| LLM-Integrated Declarative Program Analysis | Sara Baradaran, Amirmohammad Nazari, Mukund Raghothaman | 19m |
SemQL extends CodeQL with an LLM-as-oracle predicate that materializes semantic judgments (e.g., whether a method name starts with a verb, whether a string… | ||
| Exploring Locally Bounded Translation Validation | Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte | 17m |
Extends Alive2 to accept local unroll bounds and formalizes locally bounded program pairs as a lattice, then uses random sampling with a search-and-prune… | ||
| How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler | Yannis Smaragdakis | 01h 10m |
Claims that context-sensitive static analysis produces the best EVM decompiler and backs it with concrete artifacts: an open-source lifter called GigaHorse v3… | ||
| Compiler-assisted Translation Validation | Qirun Zhang | 59m |
LLVM is instrumented to emit translation records (per-instruction actions and instruction manipulation events) and a validator uses those traces plus static… | ||
| On the Effectiveness of Modular Testing in EvoSuite | Elizabeth Dinella | 17m |
EvoSuite’s modular mode forbids non-target setup calls and often produces tiny prefixes, so a fork named EMOTE relaxes that constraint to allow class-level… | ||
| Compile-Time Java Stream Fusion via mapMulti | Yegor Bugayenko, Maxim Trunnikov, Vladimir Zakharov | 19m |
An open-source bytecode-to-bytecode optimizer rewrites adjacents map and filter into a single mapMulti call, using a declarative fee calculus intermediate and… | ||
| Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped Taint Analysis | Sanjib Kumar Sen, Bozhen Liu | 20m |
Finds a real Open WebUI bug that leaks one user's PDF-derived embeddings into another user's session and measures that 42% of popular open-source LLM apps… | ||
| Ravencheck: Effectively-Propositional Reasoning for Rust | Kunha Kim, Nicholas V. Lewchenko, Bor-Yuh Evan Chang, Gowtham Kaki | 19m |
Ravencheck encodes a purely functional subset of Rust into EEPR with relational abstraction and calls SMT solvers (cvc5 or Z3) to get decidable, fast… | ||
| Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection | Rishipal Singh Bhatia | 20m |
A compile-time change implemented in Google Closure Compiler tracks features per script as a per-script feature bitmask and lets each transpiler pass query… | ||
| Closing Remarks | Yu Lee | 01m |
Closing remarks thank all speakers and keynotes for their presentations and for answering questions, note a co‑chair is absent due to visa issues, credit Bozen… | ||
| Scaling Static Code Analysis Adoption at WhatsApp iOS | Akos Hajdu, Jorge Mendez, Sander van Valkenburg, Artem Kupriianets, Matteo Marescotti, Dulma Churchill, Sopot Cela | 22m |
WhatsApp iOS deploys Infer and Clang Static Analyzer across diffs and daily CI, reporting ~800 Infer issues (700 fixed, 86% fix rate) and ~2,400 Clang issues… | ||
| Welcome and Opening Remarks | 01m | |
Conference opening announces the 15th SOAP with a program of three keynotes drawn from academia and industry and eight research presentations, plus live Q&A… | ||
| Compile-Time Java Stream Fusion via mapMulti | Yegor Bugayenko, Maxim Trunnikov, Vladimir Zakharov | 16m |
An open-source bytecode-to-bytecode optimizer fuses adjacent map/filter calls into a single mapMulti invocation by translating class files to XML then to… | ||
| nothing matches | ||