Pranav Garg
Title
Cited by
Cited by
Year
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
6022013
ICE: A robust framework for learning invariants
P Garg, C Löding, P Madhusudan, D Neider
International Conference on Computer Aided Verification, 69-87, 2014
1642014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
1502016
Natural proofs for structure, data, and separation
X Qiu, P Garg, A Ştefănescu, P Madhusudan
ACM SIGPLAN Notices 48 (6), 231-242, 2013
1002013
Feedback-directed unit test generation for C/C++ using concolic execution
P Garg, F Ivančić, G Balakrishnan, N Maeda, A Gupta
2013 35th International Conference on Software Engineering (ICSE), 132-141, 2013
492013
Learning universally quantified invariants of linear data structures
P Garg, C Löding, P Madhusudan, D Neider
International Conference on Computer Aided Verification, 813-829, 2013
372013
Rebound: scalable checkpointing for coherent shared memory
R Agarwal, P Garg, J Torrellas
Proceedings of the 38th annual international symposium on Computer …, 2011
342011
Horn-ICE learning for synthesizing invariants and contracts
P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
272018
Natural proofs for asynchronous programs using almost-synchronous reductions
A Desai, P Garg, P Madhusudan
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
272014
Alchemist: Learning guarded affine functions
S Saha, P Garg, P Madhusudan
International Conference on Computer Aided Verification, 440-446, 2015
152015
Compositionality entails sequentializability
P Garg, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2011
142011
Invariant synthesis for incomplete verification engines
D Neider, P Garg, P Madhusudan, S Saha, D Park
International Conference on Tools and Algorithms for the Construction and …, 2018
92018
Feedback-directed random class unit test generation using symbolic execution
P Garg, F Ivancic, G Balakrishnan, N Maeda, A Gupta
US Patent App. 13/646,390, 2013
82013
Quantified data automata on skinny trees: An abstract domain for lists
P Garg, P Madhusudan, G Parlato
International Static Analysis Symposium, 172-193, 2013
62013
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
D Neider, S Saha, P Garg, P Madhusudan
International Static Analysis Symposium, 323-346, 2019
32019
ICE: A robust learning framework for synthesizing invariants
P Garg, C Loding, P Madhusudan, D Neider
32013
CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation
MR Amin, P Garg, B Coskun
Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security …, 2019
22019
Learning-based inductive invariant synthesis
P Garg
University of Illinois at Urbana-Champaign, 2015
22015
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines
D Neider, P Madhusudan, S Saha, P Garg, D Park
Journal of Automated Reasoning 64 (7), 1523-1552, 2020
12020
Efficient Incrementalized Runtime Checking of Linear Measures on Lists
A Gyori, P Garg, E Pek, P Madhusudan
2017 IEEE International Conference on Software Testing, Verification and …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20