Shambwaditya Saha

Cited by

	All	Since 2019
Citations	165	129
h-index	8	8
i10-index	6	5

20162017201820192020202120222023202410 13 11 18 30 16 24 21 19

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Pranav GargAmazonVerified email at amazon.com
Angello AstorgaUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Santhosh PrabhuUniversity of IllinoisVerified email at illinois.edu
Umang MathurPresidential Young Professor at National University of SingaporeVerified email at comp.nus.edu.sg
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Daejun Park
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Erik HembergResearch Scientist, MIT CSAILVerified email at csail.mit.edu
Una-May O'ReillyMIT, CSAIL, Any Scale Learning for All (ALFA) GroupVerified email at csail.mit.edu
Jason CroftForward Networks Inc.Verified email at illinois.edu

Shambwaditya Saha

Software Engineering Institute | CMU

Verified email at sei.cmu.edu - Homepage

Natural Language Processing Deep Learning Program Synthesis Program Verification Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	49	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	30	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	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	14	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	11	2019
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	8	2021
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	8	2020
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	6	2017
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

The system can't perform the operation now. Try again later.

Articles 1–10

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors