2
Publications
118
Citations
2
H-Index
2014
Active since
Affiliations
Varun Tulsian is an author at Indian Institute of Science Bangalore specializing in software verification, software analysis, and computer science.
Top concepts
EngineeringVerificationFormal MethodsSoftware RepairComputer ScienceMachine LearningProgram AnalysisSoftware SystemsSoftware AnalysisAutomated Reasoning
Publications per year
2014–2014
2
2
MintHint: automated synthesis of repair hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade et al. · 2014 · 85 citations
MUX: algorithm selection for software model checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar et al. · 2014 · 33 citations
Rows per page
1–2 of 2