Hi there! Welcome to my website. Here’s a little bit about me.
I am an MS in CS student at UT Austin expected to graduate in May 2021. I am looking for full-time opportunities.
I am excited about program verification and compilers. I am interested in working on improving the performance and reliability of products that have a real-world impact. I have worked on improving the reliability of Apple’s GPU compiler and also Windows 10 device drivers. I have also worked on Microsoft’s EdgeML framework to compile machine learning models to high-performant C code to run on embedded IoT devices.
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Published in Formal Methods in Computer-Aided Design (FMCAD), 2020
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, and Chetan Bansal
[Awarded FMCAD Best Paper award] | Paper | Video | Code
Published in Programming Language Design and Implementation (PLDI), 2019
Published in Indian Institute of Science, Bengaluru, India, 2018