Vidvan Image

Prof Subodh Sharma

vidwan id: 85803
Male

Associate Professor, Department of Computer Science and Engineering
Indian Institute of Technology Delhi

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 38
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 967
h-index 12

CrossRef

CrossRef Icon
Citations 90
h-index 6
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Formal Methods, Program Analysis, Concurrent Systems

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Delhi
  • Indian Institute of Technology, New Delhi
No Data Found

There is currently nothing to display here.

Associate Professor Jul 2022 – Present
Indian Institute of Technology Delhi | Department of Computer Science and Engineering
Assistant Professor Apr 2018 – Jun 2022
Indian Institute of Technology Delhi | Department of Computer Science and Engineering

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (800+)

View All
Bhupendra Singh

Prof Bhupendra Singh Butola

Associate Professor

Bhim

Prof Bhim Singh

SERB National Science Chair and Emeritus Professor

Arudra Venkata

Prof Arudra Venkata Burra

Assistant Professor

Santra

Prof Santra Bodhaditya

Assistant Professor

Bijay P.

Prof Bijay P. Tripathi

Associate Professor

Bharati

Prof Bharati Puri

Associate Professor

Bahni

Prof Bahni Ray

Associate Professor

Co-Authors (6)

Ranjan

Dr Ranjan Bose

Indraprastha Institute of Information Technology Delhi (IIIT Delhi)

S.

Prof S. Arun Kumar

Indian Institute of Technology Delhi

Sanjiva

Prof Sanjiva Prasad

Indian Institute of Technology Delhi

Shweta

Dr Shweta Agrawal

Indian Institute of Technology Madras

Subhashis

Prof Subhashis Banerjee

Indian Institute of Technology Delhi

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Publicly Auditable Privacy-Preserving Electoral Rolls

Open Access
Conference Paper
Authors: Agrawal P.;Jhanwar M.P.;Sharma S.V.;Banerjee S.

Parameterized Static Analysis for Weak Memory Models

Open Access
Conference Paper
Authors: Sharma D.;Sharma S.

Symbolic Verification of Mesh Commissioning Protocol of Thread

Open Access
Conference Paper
Authors: Upadhyay P.;Sharma S.;Bai G.

Verifying Exception-Handling Code in Concurrent Libraries

Open Access
Conference Paper
Authors: Khanna D.;Sharma S.;Purandare R.

OpenVoting: Recoverability from Failures in Dual Voting

Open Access
Conference Paper
Authors: Agrawal P.;Tomer K.;Nakarmi A.;Jhanwar M.P.;Sharma S.V.;Banerjee S.

Efficient Adversarial Input Generation via Neural Net Patching

Open Access
Conference Paper
Authors: Khan T.;Madhukar K.;Sharma S.V.

Fence Synthesis Under the C11 Memory Model

Open Access
Conference Paper

BiRD: Race Detection in Software Binaries under Relaxed Memory Models

Open Access
Article