8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2026
UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions
Xizhe Yin, Yaokun Zhang, Yang Feng +1
Rust guarantees memory safety without garbage collection through a strict ownership and borrowing system. However, for low-level systems programming, many widely used libraries rel…
cs.SE2026★ 8 cited
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
Hongyan Gao, Yibiao Yang, Maolin Sun +3
Ensuring the reliability of the Rust compiler is of paramount importance, given increasing adoption of Rust for critical systems development, due to its emphasis on memory and thre…
cs.SE2026
DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
Maolin Sun, Yibiao Yang, Xuanlin Liu +2
Patching severe security flaws in complex software remains a major challenge. While automated tools like fuzzers efficiently discover bugs, fixing deep-rooted low-level faults (e.g…