Concepedia

Subodh Sharma

SS

Statistics

Publications

8

Citations

920

H-Index

8

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 engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringComputer EngineeringVerificationProgram AnalysisSoftware TestingSoftware AnalysisParallel Computing

Publications per year

2008–2019

8

Publications

8

ZEUS: Analyzing Safety of Smart Contracts

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

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

Abstract Object Theory

Unfolding-based Partial Order Reduction

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

Numerical Analysis, Mathematical Programming, Reduced Order Modeling +20

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

Engineering, Verification, Computer Architecture +25

MCC: A runtime verification tool for MCAPI user applications

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

Software Maintenance, Program Checking, Engineering +19

1–5 of 8