3 papers
cs.AI2026
VeriGrey: Greybox Agent Validation
Yuntong Zhang, Sungmin Kang, Ruijie Meng +2
Agentic AI has been a topic of great interest recently. A Large Language Model (LLM) agent involves one or more LLMs in the back-end. In the front end, it conducts autonomous decis…
cs.SE2025
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
Sairam Vaidya, Marcel Böhme, Loris D'Antoni
Modern extensible compiler frameworks-such as MLIR-enable rapid creation of domain-specific language dialects. This flexibility, however, makes correctness harder to ensure as the…
cs.CR2025
A Comparative Study of Fuzzers and Static Analysis Tools for Finding Memory Unsafety in C and C++
Keno Hassler, Philipp Görz, Stephan Lipp
Over 70% of security vulnerabilities in critical software systems today result from memory safety violations. To address this challenge, fuzzing and static analysis are widely used…