Publications & Manuscripts

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

Sridhar Gopinath

Thesis | Poster | URI

Thesis: Loop fusion in LLVM compiler

Published in Sri Jayachamarajendra College of Engineering, Mysuru, India, 2015

Sridhar Gopinath, Madhura Kaushik, Supreeth MS

Thesis