1 citations · 1 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Accelerating C/C++ Pointer Analysis via Compiler-Based Offline Simplifications
Zinan Gu, Peisen Yao, Kui Ren
Pointer analysis is a cornerstone of numerous static analysis applications, including compiler optimizations, slicing, bug detection, and verification. While offline simplification…
cs.PL2026
A Fresh Look at Best Inductive Loop Invariant Synthesis for Bit-Vector Relations
Hanrui Zuo, Peisen Yao, Kui Ren
Synthesizing best inductive invariants (BII) is fundamental to program analysis and verification, yet existing approaches face significant efficiency challenges. We introduce a new…
cs.PL2026
Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization
Weiqi Wang, Peisen Yao, Hanrui Zuo +3
Abstract interpretation provides a principled foundation for constructing sound static analyses through systematic abstraction. A central challenge is synthesizing the best abstrac…