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 | 46 | 2015 |
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 | 28 | 2019 |
Alchemist: Learning guarded affine functions S Saha, P Garg, P Madhusudan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 18 | 2015 |
Synthesizing piece-wise functions by learning classifiers D Neider, S Saha, P Madhusudan Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 15* | 2016 |
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 | 13 | 2018 |
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 | 10 | 2019 |
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 | 7 | 2020 |
Synthesizing contracts correct modulo a test generator A Astorga, S Saha, A Dinkins, F Wang, P Madhusudan, T Xie Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 5 | 2021 |
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 | 5 | 2018 |
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 | 5 | 2017 |