Automatically Enforcing Rust Trait Properties. - Twain Byrnes; Yoshiki Takashima; Limin Jia 001 (VMCAI (2), 2024)