From the 1 of 4 linked papers with an AI index.
4 papers
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…