Concepedia

Subodh Sharma

SS

Statistics

Publications

9

Citations

948

H-Index

9

Active since

2008

Affiliations

Indian Institute of Technology Delhi(Current)

University of Oxford

Kyushu University

University of Utah

Subodh Sharma is an author at Indian Institute of Technology Delhi specializing in computing, computer science, and parallel computing.

Publications per year

2008–2019

9

Publications

9

ZEUS: Analyzing Safety of Smart Contracts

Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text

Computing, Computer Science, Cybersecurity +16

ISP

Sarvani Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan et al. · 2008 · 68 citations

Natural Sciences, Mathematics, Operations Research +1

Unfolding-based Partial Order Reduction

Marcelo Sousa, Subodh Sharma, Daniel Kroening · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 40 citations · Full text

Computing, Computer Engineering, Computer Science +9

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Vojtǎch Forejt, Saurabh Joshi, Daniel Kroening et al. · ACM Transactions on Programming Languages and Systems · 2017 · 33 citations · Full text

Computing, Computer Science, High-performance Computing +15

MCC: A runtime verification tool for MCAPI user applications

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer et al. · 2009 · 25 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 9