bit-vector verification 1formal methods 1inductive invariant synthesis 1optimization 1solver algorithms 1
From the 1 of 4 linked papers with an AI index.
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2024
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Jianhong Zhao, Yongwang Zhao, Peisen Yao +3
Complex safety-critical systems require multiple models for a comprehensive description, resulting in error-prone development and laborious verification. Bidirectional transformati…