| 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 | 558 | 2013 |
| NetGen: Synthesizing data-plane configurations for network policies S Saha, S Prabhu, P Madhusudan Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015 | 27 | 2015 |
| Alchemist: Learning guarded affine functions S Saha, P Garg, P Madhusudan International Conference on Computer Aided Verification, 440-446, 2015 | 14 | 2015 |
| Synthesizing piece-wise functions by learning classifiers D Neider, S Saha, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2016 | 13 | 2016 |
| 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 | 9 | 2018 |
| Learning stateful preconditions modulo a test generator A Astorga, P Madhusudan, S Saha, S Wang, T Xie Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 7 | 2019 |
| Compositional synthesis of piece-wise functions by learning classifiers D Neider, S Saha, P Madhusudan ACM Transactions on Computational Logic (TOCL) 19 (2), 1-23, 2018 | 3 | 2018 |
| Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants D Neider, S Saha, P Garg, P Madhusudan International Static Analysis Symposium, 323-346, 2019 | 2 | 2019 |
| Learning frameworks for program synthesis S Saha University of Illinois at Urbana-Champaign, 2019 | 1 | 2019 |
| A Decidable Fragment of Second Order Logic With Applications to Synthesis P Madhusudan, U Mathur, S Saha, M Viswanathan arXiv preprint arXiv:1712.05513, 2017 | 1 | 2017 |
| A Decidable Fragment of Second Order Logic With Applications to Synthesis P Madhusudan, U Mathur, S Saha, M Viswanathan arXiv preprint arXiv:1712.05513, 2017 | 1 | 2017 |
| 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 | | 2020 |
| A Survey Of Automata And Logics Over Infinite Graphs S Saha | | 2011 |
| A Machine Learning Approach to Synthesizing Invariants for Incomplete Verification Engines D Neider, P Madhusudan, S Saha, P Garg, D Park | | |
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
