2 papers
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.SE2026
DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang +1
Modern software systems heavily rely on various libraries, which require understanding the API semantics in static analysis. However, summarizing API semantics remains challenging…