3
Publications
204
Citations
3
H-Index
2016
Active since
Affiliations
Anirudh Santhiar is an author at Indian Institute of Science Bangalore specializing in engineering, software engineering, and program analysis.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringFormal MethodsSoftware DesignFormal Verification
Publications per year
2016–2019
3
3
Root causing flaky tests in a large-scale industrial setting
Wing Lam, Patrice Godefroid, Suman Nath et al. · 2019 · 129 citations
Semi-supervised verified feedback generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade et al. · 2016 · 63 citations
Static deadlock detection for asynchronous C# programs
Anirudh Santhiar, Aditya Kanade · 2017 · 12 citations
Rows per page
1–3 of 3