Dai, Y., & Feng, Y. (2025). PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs.
Chicago Style (17th ed.) CitationDai, Yuxuan, and Yang Feng. PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs. 2025.
MLA (9th ed.) CitationDai, Yuxuan, and Yang Feng. PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs. 2025.
Warning: These citations may not always be 100% accurate.