A Pointer-Ownership Model for C Inspired by Rust. - David Svoboda; William Klieber; Lori Flynn; Ruben Martins; Jeffrey Hoskinson (LCTES, 2026)