Design and Reliability of a User Space Write-Ahead Log in Rust. - Vitor K. F. Pellegatti; Gustavo M. D. Vieira (CoRR, 2025)