1.3k citations · 2.1k across the 28 of their papers we have counts for
4 papers · 1 filter
Locus: Agentic Predicate Synthesis for Directed Fuzzing
Jie Zhu, Chihao Shen, Ziyang Li +3
Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, an…
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li, Hang Zhang, Kexin Pei +1
Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff. In large codebases like the Linux kernel, tradition…
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
Jun Yang, Cheng-Chi Wang, Bogdan Alexandru Stoica +1
Large Language Models (LLMs) have been increasingly used to optimize code efficiency. Evaluating their effectiveness and further suggesting optimization opportunities often rely on…
EditLord: Learning Code Transformation Rules for Code Editing
Weichen Li, Albert Jan, Baishakhi Ray +3
Code editing is a foundational task in software development, where its effectiveness depends on whether it introduces desired code property changes without changing the original co…