Pranav Garg

According to our database, Pranav Garg authored at least 22 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthesizing code quality rules from examples.

Pranav Garg, Srinivasan H. Sengamedu

Proc. ACM Program. Lang., 2022

Example-based Synthesis of Static Analysis Rules.

Pranav Garg, Srinivasan Sengamedu

CoRR, 2022

2020

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

J. Autom. Reason., 2020

2019

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.

Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan

Proceedings of the Static Analysis - 26th International Symposium, 2019

CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation.

Mohammad Ruhul Amin, Pranav Garg, Baris Coskun

Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, 2019

2018

Horn-ICE learning for synthesizing invariants and contracts.

P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan

Proc. ACM Program. Lang., 2018

Invariant Synthesis for Incomplete Verification Engines.

Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Inferring Formal Properties of Production Key-Value Stores.

Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan

CoRR, 2017

Efficient Incrementalized Runtime Checking of Linear Measures on Lists.

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Learning invariants using decision trees and implication counterexamples.

Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Syntax-Guided Synthesis.

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

Proceedings of the Dependable Software Systems Engineering, 2015

Learning-based inductive invariant synthesis

Pranav Garg

PhD thesis, 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, Christof Löding, P. Madhusudan, Daniel Neider

Formal Methods Syst. Des., 2015

Alchemist: Learning Guarded Affine Functions.

Shambwaditya Saha, Pranav Garg, P. Madhusudan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Natural proofs for asynchronous programs using almost-synchronous reductions.

Ankush Desai, Pranav Garg, P. Madhusudan

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

ICE: A Robust Framework for Learning Invariants.

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.

Pranav Garg, P. Madhusudan, Gennaro Parlato

Proceedings of the Static Analysis - 20th International Symposium, 2013

Natural proofs for structure, data, and separation.

Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Feedback-directed unit test generation for C/C++ using concolic execution.

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the 35th International Conference on Software Engineering, 2013

Learning Universally Quantified Invariants of Linear Data Structures.

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Compositionality Entails Sequentializability.

Pranav Garg, P. Madhusudan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Rebound: scalable checkpointing for coherent shared memory.

Rishi Agarwal, Pranav Garg, Josep Torrellas

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011