Rebound: scalable checkpointing for coherent shared memory. - Rishi Agarwal; Pranav Garg 001; Josep Torrellas (ISCA, 2011)

Compositionality Entails Sequentializability. - Pranav Garg 001; P. Madhusudan (TACAS, 2011)

Learning Universally Quantified Invariants of Linear Data Structures. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (CAV, 2013)

Feedback-directed unit test generation for C/C++ using concolic execution. - Pranav Garg 001; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (ICSE, 2013)

Natural proofs for structure, data, and separation. - Xiaokang Qiu; Pranav Garg 001; Andrei Stefanescu; Parthasarathy Madhusudan (PLDI, 2013)

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. - Pranav Garg 001; P. Madhusudan; Gennaro Parlato (SAS, 2013)

ICE: A Robust Framework for Learning Invariants. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (CAV, 2014)

Natural proofs for asynchronous programs using almost-synchronous reductions. - Ankush Desai; Pranav Garg 001; P. Madhusudan (OOPSLA, 2014)

Alchemist: Learning Guarded Affine Functions. - Shambwaditya Saha; Pranav Garg 001; P. Madhusudan (CAV (1), 2015)

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (Formal Methods Syst. Des., 2015)

Learning-based inductive invariant synthesis - Pranav Garg 001 (2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Learning invariants using decision trees and implication counterexamples. - Pranav Garg 001; Daniel Neider; P. Madhusudan; Dan Roth (POPL, 2016)

Efficient Incrementalized Runtime Checking of Linear Measures on Lists. - Alex Gyori; Pranav Garg 001; Edgar Pek; P. Madhusudan (ICST, 2017)

Inferring Formal Properties of Production Key-Value Stores. - Edgar Pek; Pranav Garg 001; Muntasir Raihan Rahman; Karl Palmskog; Indranil Gupta; P. Madhusudan (CoRR, 2017)

Invariant Synthesis for Incomplete Verification Engines. - Daniel Neider; Pranav Garg 001; P. Madhusudan; Shambwaditya Saha; Daejun Park 001 (TACAS (1), 2018)

Horn-ICE learning for synthesizing invariants and contracts. - P. Ezudheen; Daniel Neider; Deepak D'Souza; Pranav Garg 001; P. Madhusudan (Proc. ACM Program. Lang., 2018)

CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation. - Mohammad Ruhul Amin; Pranav Garg 001; Baris Coskun (AISec@CCS, 2019)

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. - Daniel Neider; Shambwaditya Saha; Pranav Garg 001; P. Madhusudan (SAS, 2019)

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. - Daniel Neider; P. Madhusudan; Shambwaditya Saha; Pranav Garg 001; Daejun Park 001 (J. Autom. Reason., 2020)

Example-based Synthesis of Static Analysis Rules. - Pranav Garg 001; Srinivasan Sengamedu (CoRR, 2022)

Synthesizing code quality rules from examples. - Pranav Garg 001; Srinivasan H. Sengamedu (Proc. ACM Program. Lang., 2022)

Approximately Aligned Decoding. - Daniel Melcer; Sujan K. Gonugondla; Pramuditha Perera; Haifeng Qian; Wen-Hao Chiang; Yanjun Wang; Nihal Jain; Pranav Garg 001; Xiaofei Ma 001; Anoop Deoras (CoRR, 2024)

UTFix: Change Aware Unit Test Repairing using LLM. - Shanto Rahman; Sachit Kuhar; Berk Çirisci; Pranav Garg 001; Shiqi Wang 002; Xiaofei Ma 001; Anoop Deoras; Baishakhi Ray (Proc. ACM Program. Lang., 2025)

Structural Code Search using Natural Language Queries. - Ben Limpanukorn; Yanjun Wang; Zach Patterson; Pranav Garg 001; Murali Krishna Ramanathan; Xiaofei Ma 001; Anoop Deoras; Miryung Kim (CoRR, 2025)