Sridhar Gopinath

According to our database, Sridhar Gopinath authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Compiling KB-sized machine learning models to tiny IoT devices.

Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019