2 papers
cs.SE2026
Generics-Aware Fuzz Target Generation for Rust Libraries via Structured API Analysis
Yiming Chen, Kaiwen Zhang, Guanjun Liu +2
Fuzzing Rust library APIs requires constructing well-typed, compilable call sequences that satisfy ownership rules, generic parameters, and trait bounds; existing tools ignore thes…
cs.SE2025
Deep Learning Based Concurrency Bug Detection and Localization
Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang +4
Concurrency bugs, caused by improper synchronization of shared resources in multi-threaded or distributed systems, are notoriously hard to detect and thus compromise software relia…