Local Reasoning Can Help Prove Correctness. - Teodorescu, Lucian Radu; Parent, Sean (Overload, 2025)