| 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 | 277 | 2014 |
| Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016 | 247 | 2016 |
| Natural proofs for structure, data, and separation X Qiu, P Garg, A Ştefănescu, P Madhusudan ACM SIGPLAN Notices 48 (6), 231-242, 2013 | 121 | 2013 |
| 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 | 74 | 2018 |
| 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 | 57 | 2013 |
| 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 | 53 | 2013 |
| 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 | 38 | 2014 |
| Rebound: scalable checkpointing for coherent shared memory R Agarwal, P Garg, J Torrellas Proceedings of the 38th annual international symposium on Computer …, 2011 | 38 | 2011 |
| Alchemist: Learning guarded affine functions S Saha, P Garg, P Madhusudan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 18 | 2015 |
| 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 | 15 | 2018 |
| Compositionality entails sequentializability P Garg, P Madhusudan Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 15 | 2011 |
| 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, ... | 12 | 2015 |
| Scoring events using noise-contrastive estimation for anomaly detection P Garg, B Coskun US Patent 11,593,639, 2023 | 11 | 2023 |
| 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 | 11 | 2019 |
| 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 | 10 | 2022 |
| 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 | 10 | 2020 |
| 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 | 9 | 2013 |
| Artificial intelligence system for network traffic flow based detection of service usage policy violations VS Chaoji, P Garg US Patent 11,424,993, 2022 | 8 | 2022 |
| Synthesizing code quality rules from examples P Garg, SH Sengamedu Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1757-1787, 2022 | 7 | 2022 |
| Quantified data automata on skinny trees: An abstract domain for lists P Garg, P Madhusudan, G Parlato International Static Analysis Symposium, 172-193, 2013 | 6 | 2013 |
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifisert e-postadresse på illinois.edu