2 citations · 3 across the 9 of their papers we have counts for
Showing 2026 · cs.PLShow all
3 papers · 2 filters
cs.PL2026
Analyzing the Analyzers: Model Counting Meets Abstract Interpretation
Junda Zheng, Peisen Yao
Abstract interpretation offers a principled foundation for static analysis by approximating concrete program semantics via abstract domains. However, quantitatively comparing the p…
cs.PL2026
Shared-Context Batched Satisfiability
Jiening Siow, Hanrui Zuo, Hanyun Jiang +2
Program analyzers often issue batches of SMT queries that share a large symbolic context and differ only in a small predicate. We formalize this recurring pattern as \emph{Shared-C…
cs.PL2026
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Peisen Yao, Zinan Gu, Qingkai Shi
We present Phoenix, a modular pointer analysis framework for C/C++ that unifies multiple alias analysis algorithms behind a single, stable interface. Phoenix addresses the fragment…