3
Publications
64
Citations
3
H-Index
2015
Active since
Affiliations
Shambwaditya Saha is an author at University of Illinois Urbana-Champaign specializing in formal verification, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringVerificationData SecuritySoftware Testing
Publications per year
2015–2021
3
3
Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan · 2015 · 32 citations
Learning stateful preconditions modulo a test generator
Angello Astorga, P. Madhusudan, Shambwaditya Saha et al. · 2019 · 22 citations
Synthesizing contracts correct modulo a test generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins et al. · Proceedings of the ACM on Programming Languages · 2021 · 10 citations · Full text
Rows per page
1–3 of 3