I am a doctoral student at IIT Hyderabad, India. My research area is Programming Languages and Compiler Optimizations. Currently I am working on bug detection in concurrent programs using the LLVM compiler infrastructure. My research interest also includes polyhedral compilation, static analysis, program verification, and vectorization.
MTech in Computer Science and Engineering, 2018 IIT Hyderabad
BTech in Electronics and Communication Engineering, 2009 NIT Jalandhar