Seguir
Pranav Garg
Pranav Garg
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
ICE: A robust framework for learning invariants
P Garg, C Löding, P Madhusudan, D Neider
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
2682014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
2402016
Natural proofs for structure, data, and separation
X Qiu, P Garg, A Ştefănescu, P Madhusudan
ACM SIGPLAN Notices 48 (6), 231-242, 2013
1192013
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
672018
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
572013
Learning universally quantified invariants of linear data structures
P Garg, C Löding, P Madhusudan, D Neider
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
522013
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
382014
Rebound: scalable checkpointing for coherent shared memory
R Agarwal, P Garg, J Torrellas
Proceedings of the 38th annual international symposium on Computer …, 2011
372011
Alchemist: Learning guarded affine functions
S Saha, P Garg, P Madhusudan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
182015
Compositionality entails sequentializability
P Garg, P Madhusudan
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
152011
Invariant synthesis for incomplete verification engines
D Neider, P Garg, P Madhusudan, S Saha, D Park
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
142018
Scoring events using noise-contrastive estimation for anomaly detection
P Garg, B Coskun
US Patent 11,593,639, 2023
112023
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
D Neider, S Saha, P Garg, P Madhusudan
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
112019
Syntax-guided synthesis. To Appear in Marktoberdrof NATO proceedings, 2014
R Alur, R Bodik, E Dallal, D Fisman, P Garg, G Juniwal, H Kress-Gazit, ...
112015
Customizable service for recommendations on source code quality
SSH Rao, O Tripp, H Nguyen, A Dhamanaskar, H Hanif, S Sethiya, ...
US Patent 11,392,844, 2022
92022
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
92013
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, 1523-1552, 2020
82020
Synthesizing code quality rules from examples
P Garg, SH Sengamedu
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1757-1787, 2022
72022
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
62019
Quantified data automata on skinny trees: An abstract domain for lists
P Garg, P Madhusudan, G Parlato
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
62013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20