3 papers
cs.PL2025
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
Mingxiu Wang, Jiawei Wang, Xiao Cheng
Loop invariants are fundamental for reasoning about the correctness of iterative algorithms. However, deriving suitable invariants remains a challenging and often manual task, part…
cs.SE2025
DependEval: Benchmarking LLMs for Repository Dependency Understanding
Junjia Du, Yadi Liu, Hongcheng Guo +4
While large language models (LLMs) have shown considerable promise in code generation, real-world software development demands advanced repository-level reasoning. This includes un…
cs.CR2024
Fixing Security Vulnerabilities with AI in OSS-Fuzz
Yuntong Zhang, Jiawei Wang, Dominic Berzin +5
Critical open source software systems undergo significant validation in the form of lengthy fuzz campaigns. The fuzz campaigns typically conduct a biased random search over the dom…