Homeostasis: Design and Implementation of a Self-Stabilizing Compiler. - Nougrahiya, Aman; Nandivada, V. Krishna (ACM Transactions on Programming Languages & Systems, 2024)