All Stories

  1. IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis

    Article • Proceedings of the ACM on Programming Languages, April 2025, ACM (Association for Computing Machinery)

    Aman Nougrahiya, V. Krishna Nandivada

  2. Ensuring Automated Update of Analysis Results Across Program Transformations During Compilation

    Article • ACM Transactions on Programming Languages and Systems, May 2024, ACM (Association for Computing Machinery)

    Aman Nougrahiya, V. Krishna Nandivada