Home » Authors » Qingxiao Xu, Ze Sheng, Zhicheng Chen, Arjun Manikandan, Jeff Huang

Qingxiao Xu, Ze Sheng, Zhicheng Chen, Arjun Manikandan, Jeff Huang

Public reference bibliography and cataloged PDF materials authored or published by Qingxiao Xu, Ze Sheng, Zhicheng Chen, Arjun Manikandan, Jeff Huang.

Found 1 document(s) Page 1 of 1

XRust: Detecting Logical Races in Rust Linux Drivers

Year: 2026 • Source: arxiv.org • Listed PDF

Rust is increasingly used in Linux to improve memory safety, but its guarantees do not prevent logical races: individually synchronized operations can still interleave in ways that violate higher-level invariants. Detect...