Homepage
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.
Publications
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
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Published in Programming Language Design and Implementation (PLDI), 2019
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, and Rahul Sharma
Paper | Video abstract | Talk | Slides | Code
Thesis: Efficient Whole Program Path Tracing
Published in Indian Institute of Science, Bengaluru, India, 2018
Thesis: Loop fusion in LLVM compiler
Published in Sri Jayachamarajendra College of Engineering, Mysuru, India, 2015
Sridhar Gopinath, Madhura Kaushik, Supreeth MS
Thesis