Statistics
Publications
4
Citations
112
H-Index
4
Active since
2016
Affiliations
Awanish Pandey is an author at Indian Institute of Technology Kanpur specializing in computer science, computing, and formal methods.
Publications per year
2016–2020
4
4
Bug synthesis: challenging bug-finding tools with deep faults
Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt et al. · 2018 · 54 citations
To be precise: regression aware debugging
Rohan Bavishi, Awanish Pandey, Subhajit Roy · 2016 · 17 citations
Interactive debugging of concurrent programs under relaxed memory models
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey et al. · 2020 · 15 citations
1–4 of 4