SPLASH 2021 (series) / Subodh Sharma
Registered user since Fri 15 May 2020
Name:Subodh Sharma
Country:India
Affiliation:IIT Delhi
Personal website:https://subodhvsharma.github.io
Research interests:Model Checking, Program Analysis, Security
Contributions
| SAS 2021 | Thread-modular Analysis of Release-Acquire Concurrency | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile