Program Correctness through Self-Certification. - Namjoshi, Kedar S.; Zuck, Lenore D. (Communications of the ACM, 2025)