Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software. - Zeming Yu; Linhai Song; Yiying Zhang 005 (CoRR, 2019)

Understanding memory and thread safety practices and issues in real-world Rust programs. - Boqin Qin; Yilun Chen; Zeming Yu; Linhai Song; Yiying Zhang 005 (PLDI, 2020)