Segui
Shambwaditya Saha
Shambwaditya Saha
Software Engineering Institute | CMU
Email verificata su sei.cmu.edu - Home page
Titolo
Citata da
Citata da
Anno
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
502015
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
312019
Alchemist: Learning guarded affine functions
S Saha, P Garg, P Madhusudan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
182015
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
16*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
152018
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
122019
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
102021
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
102020
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
72017
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
52018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10