2 papers
cs.AI2026
AIChilles: Automatically Uncovering Hidden Weaknesses in AI-Evolved Systems
Yajie Zhou, Ao Li, Ashwin Silla +2
The computer systems community has recently seen growing interest in AI-driven system evolution, where AI agents iteratively rewrite systems. Frameworks such as AdaEvolve and Engra…
cs.PL2025
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…