A Type System for Safe Intermittent Computing. - Milijana Surbatovich; Naomi Spargo; Limin Jia 001; Brandon Lucia (Proc. ACM Program. Lang., 2023)

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM. - Nikolaus Huber; Naomi Spargo; Nicolas Osborne; Samuel Hym; Jan Midtgaard (TACAS (3), 2025)