Yugesh Kothari

According to our database, Yugesh Kothari authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS.

Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2021

Automated Safety Verification of Programs Invoking Neural Networks.

Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021