Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. - Mohan Cui; Suran Sun; Hui Xu 009; Yangfan Zhou (CoRR, 2023)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust. - Mohan Cui; Suran Sun; Hui Xu 009; Yangfan Zhou (CoRR, 2023)