• Sign in
  • Sign up
conf.researchr.org / Subodh Sharma
  • ASE 2022 profile
  • ESEC/FSE 2022 profile
  • ICST 2021 profile
  • POPL 2023 profile
  • SPLASH 2021 profile
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

VMCAI 2023 Committee Member in Program Committee within the VMCAI 2023-track
ESEC/FSE 2022 Author of BiRD: Race Detection in Software Binaries under Relaxed Memory Models within the Journal First-track
ASE 2022 Author of Exploiting Epochs and Symmetries in Analysing MPI Programs within the Research Papers-track
SAS 2021 Author of Thread-modular Analysis of Release-Acquire Concurrency within the SAS-track
ICST 2021 Author of Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks within the Research Papers-track

Share
xTue 31 Jan 04:36
using conf.researchr.org (v1.58.0)
Support page
Sign Up