2
Publications
81
Citations
2
H-Index
2019
Active since
Affiliations
Sandeep Dasgupta is an author at University of Illinois Urbana-Champaign specializing in computer engineering, program analysis, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceFormal SemanticsProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2019–2020
2
2
Scalable validation of binary lifters
Sandeep Dasgupta, S. Dinesh, Deepan Venkatesh et al. · 2020 · 26 citations
Rows per page
1–2 of 2