From the 1 of 5 linked papers with an AI index.
5 papers
PyFlow: An Inter-procedural Static Analysis Framework for Python
Zinan Gu, Haoxiang Yan, Peisen Yao
Static program analysis infers program properties automatically. Yet precise interprocedural analysis remains challenging, and dynamically typed languages amplify the difficulty. P…
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…
A Fresh Look at Best Inductive Loop Invariant Synthesis for Bit-Vector Relations
Hanrui Zuo, Peisen Yao, Kui Ren
The paper proposes a new optimization-based formulation for synthesizing best inductive invariants in bit‑vector programs and introduces two algorithms—a guided linear search and a…
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…
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
Hanyun Jiang, Peisen Yao, Kaiyue Li +3
Code optimization remains a core objective in software development, yet modern compilers struggle to navigate the enormous optimization spaces. While recent research has looked int…