All Stories

  1. 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