Geetam Chawla

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.

Publications


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]

Contact

geetamc -at- iisc dot ac dot in