Shambwaditya Saha
Titel
Citeras av
Citeras av
År
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
5582013
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
272015
Alchemist: Learning guarded affine functions
S Saha, P Garg, P Madhusudan
International Conference on Computer Aided Verification, 440-446, 2015
142015
Synthesizing piece-wise functions by learning classifiers
D Neider, S Saha, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
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
92018
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
72019
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
32018
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
D Neider, S Saha, P Garg, P Madhusudan
International Static Analysis Symposium, 323-346, 2019
22019
Learning frameworks for program synthesis
S Saha
University of Illinois at Urbana-Champaign, 2019
12019
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
12017
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
12017
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14