Hi! I am currently working as a Research Fellow at Microsoft Research India on a project at the intersection of Programming Languages, Compilers, and Databases.
I completed my Master's by research from CSA, IISc Bangalore in the area of programming languages and software engineering.
I have also worked professionally as a compiler software engineer at Nvidia, Pune for about an year in the PTX compiler team.
Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat.
"Verification of ORM-based Controllers by Summary Inference".
In Proc. 44th International Conference on Software Engineering (ICSE), (Pittsburgh, PA, USA, May 2022).
[PDF]
[ACM]