Yugesh Kothari

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Multilayer Perceptron

Verification Method

Top Venues

Publications

Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap
Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS. OSDI (2023)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) (2021)