Pranav Garg

31 papers A* 6A 3B 2Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Structural Code Search using Natural Language Queries.
CoRR
Ben Limpanukorn, Yanjun Wang, Zach Patterson, Pranav Garg, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras, Miryung Kim
2025 J jnl
Textual Gradients are a Flawed Metaphor for Automatic Prompt Optimization.
CoRR
Daniel Melcer, Qi Chen, Wen-Hao Chiang, Shweta Garg, Pranav Garg, Christian Bock
2025 J jnl
UTFix: Change Aware Unit Test Repairing using LLM.
CoRR
Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2025 J jnl
UTFix: Change Aware Unit Test Repairing using LLM.
Proc. ACM Program. Lang.
Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2024 J jnl
Approximately Aligned Decoding.
CoRR
Daniel Melcer, Sujan K. Gonugondla, Pramuditha Perera, Haifeng Qian, Wen-Hao Chiang, Yanjun Wang, Nihal Jain, Pranav Garg, Xiaofei Ma, Anoop Deoras
2022 J jnl
Example-based Synthesis of Static Analysis Rules.
CoRR
Pranav Garg, Srinivasan Sengamedu
2022 J jnl
Synthesizing code quality rules from examples.
Proc. ACM Program. Lang.
Pranav Garg, Srinivasan H. Sengamedu
2020 J jnl
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.
J. Autom. Reason.
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
2019 — conf
CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation.
AISec@CCS
Mohammad Ruhul Amin, Pranav Garg, Baris Coskun
2019 B conf
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.
SAS
Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
2018 J jnl
Horn-ICE learning for synthesizing invariants and contracts.
Proc. ACM Program. Lang.
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
2018 — conf
Invariant Synthesis for Incomplete Verification Engines.
TACAS (1)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2017 A conf
Efficient Incrementalized Runtime Checking of Linear Measures on Lists.
ICST
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
2017 J jnl
Horn-ICE Learning for Synthesizing Invariants and Contracts.
CoRR
Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
2017 J jnl
Inferring Formal Properties of Production Key-Value Stores.
CoRR
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
2017 J jnl
Invariant Synthesis for Incomplete Verification Engines.
CoRR
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2016 A* conf
Learning invariants using decision trees and implication counterexamples.
POPL
Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth
2015 — conf
Alchemist: Learning Guarded Affine Functions.
CAV (1)
Shambwaditya Saha, Pranav Garg, P. Madhusudan
2015 — —
Learning-based inductive invariant synthesis
Pranav Garg
2015 J jnl
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.
Formal Methods Syst. Des.
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2014 A* conf
ICE: A Robust Framework for Learning Invariants.
CAV
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2014 A conf
Natural proofs for asynchronous programs using almost-synchronous reductions.
OOPSLA
Ankush Desai, Pranav Garg, P. Madhusudan
2013 A* conf
Feedback-directed unit test generation for C/C++ using concolic execution.
ICSE
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
2013 J jnl
Learning Universally Quantified Invariants of Linear Data Structures
CoRR
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013 A* conf
Learning Universally Quantified Invariants of Linear Data Structures.
CAV
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013 A* conf
Natural proofs for structure, data, and separation.
PLDI
Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan
2013 B conf
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.
SAS
Pranav Garg, P. Madhusudan, Gennaro Parlato
2013 J jnl
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists
CoRR
Pranav Garg, P. Madhusudan, Gennaro Parlato
2011 A conf
Compositionality Entails Sequentializability.
TACAS
Pranav Garg, P. Madhusudan
2011 A* conf
Rebound: scalable checkpointing for coherent shared memory.
ISCA
Rishi Agarwal, Pranav Garg, Josep Torrellas