title: "A Verified Thread-Safe Array in Rust" authors: "Sasha Pak, Fabian Muehlboeck, and Alex Potanin" venue: "International Workshop on Aliasing, Capabilities and Ownership (IWACO)" date: 2025-10-14 type: external pdf: https://conf.researchr.org/details/icfp-splash-2025/iwaco-2025-papers/5/A-Verified-Thread-Safe-Array-in-Rust