Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Thesis: Loop fusion in LLVM compiler
Published in Sri Jayachamarajendra College of Engineering, Mysuru, India, 2015
Sridhar Gopinath, Madhura Kaushik, Supreeth MS
Thesis
Thesis: Efficient Whole Program Path Tracing
Published in Indian Institute of Science, Bengaluru, India, 2018
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.