Homeostasis: Design and Implementation of a Self-Stabilizing Compiler. - Aman Nougrahiya; V. Krishna Nandivada (ACM Trans. Program. Lang. Syst., 2024)

IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis. - Aman Nougrahiya; V. Krishna Nandivada (Proc. ACM Program. Lang., 2025)