| 2026 | CC | Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis. | Ramya Kasaraneni, V. Krishna Nandivada |
| 2026 | CC | Practical MHP Analysis for Java. | A. Samuel Moses, V. Krishna Nandivada |
| 2025 | EuroPar | Efficient Task Graph Scheduling for Parallel QR Factorization in SLSQP. | Soumyajit Chatterjee, Rahul Utkoor, Uppu Eshwar, Sathya Peri, V. Krishna Nandivada |
| 2024 | SLE | Reducing Write Barrier Overheads for Orthogonal Persistence. | Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa |
| 2020 | CC | Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity. | Manas Thakur, V. Krishna Nandivada |
| 2020 | ICS | Chunking loops with non-uniform workloads. | Indu K. Prabhu, V. Krishna Nandivada |
| 2020 | PPoPP | On the fly MHP analysis. | Sonali Saha, V. Krishna Nandivada |
| 2019 | CC | Efficiency and expressiveness in UW-OpenMP. | Raghesh Aloor, V. Krishna Nandivada |
| 2019 | CC | Compare less, defer more: scaling value-contexts based whole-program heap analyses. | Manas Thakur, V. Krishna Nandivada |
| 2019 | EuroPar | Graph Coloring Using GPUs. | Meghana Aparna Sistla, V. Krishna Nandivada |
| 2017 | ICS | Optimizing recursive task parallel programs. | Suyash Gupta, Rahul Shrivastava, V. Krishna Nandivada |
| 2017 | ICSE | Refactoring opportunities for replacing type code with state and subclass. | Jyothi Vedurada, V. Krishna Nandivada |
| 2016 | CC | Improved MHP Analysis. | Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada |
| 2015 | ECOOP | Loop Tiling in the Presence of Exceptions. | Abhilash Bhandari, V. Krishna Nandivada |
| 2015 | ICS | Unique Worker model for OpenMP. | Raghesh Aloor, V. Krishna Nandivada |
| 2011 | OOPSLA | A framework for analyzing programs written in proprietary languages. | V. Krishna Nandivada, Mangala Gowri Nanda, Pankaj Dhoolia, Diptikalyan Saha, Anjan Nandy, Anup Ghosh |
| 2010 | OOPSLA | Inferring arbitrary distributions for data and computation. | Soham Sundar Chakraborty, V. Krishna Nandivada |
| 2009 | ICS | Chunking parallel loops in the presence of synchronization. | Jun Shirako, Jisheng M. Zhao, V. Krishna Nandivada, Vivek Sarkar |
| 2009 | PPoPP | Efficient, portable implementation of asynchronous multi-place programs. | Ganesh Bikshandi, Jos G. Castaos, Sreedhar B. Kodali, V. Krishna Nandivada, Igor Peshansky, Vijay A. Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen |
| 2008 | APLAS | Static Detection of Place Locality and Elimination of Runtime Checks. | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
| 2007 | SAS | A Framework for End-to-End Verification and Evaluation of Register Allocators. | V. Krishna Nandivada, Fernando Magno Quinto Pereira, Jens Palsberg |
| 2006 | CC | SARA: Combining Stack Allocation and Register Allocation. | V. Krishna Nandivada, Jens Palsberg |
| 2005 | CGO | Compile-Time Concurrent Marking Write Barrier Removal. | V. Krishna Nandivada, David Detlefs |
| 2005 | RTAS | Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks. | V. Krishna Nandivada, Jens Palsberg |
| 2003 | CASES | Efficient spill code for SDRAM. | V. Krishna Nandivada, Jens Palsberg |