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

Efficient verification solutions for message passing systems

Open Access
Conference Paper
Authors: Sharma S.;Gopalakrishnan G.

Dynamic verification of multicore communication applications in MCAPI

Open Access
Conference Paper
Authors: Sharma S.;Gopalakrishnan G.;Mercer E.

MCC: A runtime verification tool for MCAPI user applications

Open Access
Conference Paper
Authors: Sharma S.;Gopalakrishnan G.;Mercer E.;Holt J.

Some resources for teaching concurrency

Open Access
Conference Paper
Authors: Gopalakrishnan G.;Yang Y.;Vakkalanka S.;Vo A.;Aananthakrishnan S.;Szubzda G.;Sawaya G.;Williams J.;Sharma S.;DeLisi M.;Atzeni S.

A formal approach to detect functionally irrelevant barriers in MPI programs

Open Access
Conference Paper
Authors: Sharma S.;Vakkalanka S.;Gopalakrishnan G.;Kirby R.M.;Thakur R.;Gropp W.

ISP: A tool for model checking MPI programs

Open Access
Conference Paper
Authors: Vakkalanka S.;Sharma S.;Gopalakrishnan G.;Kirby R.M.
64