About Me
I am Assistant Professor in the Department of Computer Science and Engineering at IIT Roorkee.
My research interests include compiler optimizations, program analysis, software security and
machine learning for systems. Prior to this, I worked in Qualcomm and AMD in the similar domain.
Research Interests
- Software Testing and Verification
- Compilers and Program Analysis
- Machine Learning for Systems
- Software security and Reliability
Courses Taught
| Course Code |
Course Name |
Semester |
Batch |
| CSN-352 |
Compiler Design |
Spring 2025 |
UG |
| CSN-362 |
Compiler Design Lab |
Spring 2025 |
UG |
| CSC-305 |
Compiler Design |
Autumn 2025 |
UG |
Professional Service (since 2025)
Program Committee
Conference/Workshop Organizer
Students
Ph.D. Students
- Ruchi Kumari (2025 – Present) — Compiler Testing
- Sankalp Yadav (2025 – Present) — Software Security
M.Tech Students
- Preetam Das (2025 – Present) — Light Weight Memory and thread Sanitizer for embedded systems
B.Tech Students
- Aaditya Aren (2025 – Present) — Automated Bugs Synthesis
- Abhijit Chunuri (2025 – Present) — Fixing concritization in Symbolic Execution
- Boda Yaswanth (2025 – Present) — Fixing concritization in Symbolic Execution
- Divij Rawal (2025 – Present) — Equivalence testing of two program
- Divyansh Jain (2025 – Present) — Automated Bugs Synthesis
- Sara Mann (2025 – Present) — Testcase generation for the patch
Research Funding Agencies
| Agency |
Funding |
Duration |
| ANRF-ECRG |
60 Lakhs Rupees |
3 Years |
| Qualcomm |
$16,000 |
2 Years |