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

Fence Synthesis Under the C11 Memory Model

Open Access
Conference Paper

BiRD: Race Detection in Software Binaries under Relaxed Memory Models

Open Access
Article

Development and Validation of Serious Games for Teaching Cybersecurity

Open Access
Conference Paper
Authors: Kulshrestha S.;Agrawal S.;Gaurav D.;Chaturvedi M.;Sharma S.;Bose R.

Dynamic Verification of C11 Concurrency over Multi Copy Atomics

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

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks

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

Thread-Modular Analysis of Release-Acquire Concurrency

Open Access
Conference Paper

Simulation of Secure Volunteer Computing by Using Blockchain

Open Access
Conference Paper
Authors: Shota J.;Kosuke K.;Sharma S.;Kouichi S.

PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack

Open Access
Book Chapter
Authors: Kaneko K.;Tsutsumi Y.;Sharma S.;Okada Y.