Ministry of Education
Subodh Sharma
VIDWAN ID: 85803

Prof Subodh Sharma

Male Doctor of Philosophy
Associate Professor | Department of Computer Science and Engineering
Indian Institute of Technology, Delhi
Delhi
Expertise: Computer Science Software Engineering
ORCID 0000-0003-3069-3744 Scopus 56140105800 Google Scholar Xas65uoAAAAJ
View older version My Dashboard
49 Publications
0 Projects
1082 Scopus Citations
737 CrossRef
8 Years 5 Months Total Experience
Publications
49 Total
Articles
8
Chapters
2
Proceedings
39
Activity

No publication activity to display.

Scopus Scopus
1,082 Citations
13 h-index
CrossRef CrossRef
737 Citations
10 h-index
Google Scholar 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.

Personal Details

Doctor of Philosophy
N/A
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
Engineering and Technology
Computer Science Software Engineering

Related Profiles

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

Precise predictive analysis for discovering communication deadlocks in MPI programs

Journal Article
ACM Transactions on Programming Languages and Systems. Year: 2017. Volume: 39 , Issue: 4 .
Authors: Vojtǎch Forejt; Saurabh Joshi; Daniel Kroening; Ganesh Narayanaswamy; Subodh Sharma
DOI 10.1145/3095075 Crossref Crossref: 28 Scopus Scopus: 28

Fence Synthesis Under the C11 Memory Model

Conference Paper
Year: 2022. Volume: 13505 LNCS , Pages: 83-99 .
Authors: Sanjana Singh; Divyanjali Sharma; Ishita Jaju; Subodh Sharma
DOI 10.1007/978-3-031-19992-9_6 Crossref Crossref: 2 Scopus Scopus: 1

Dynamic Verification of C11 Concurrency over Multi Copy Atomics

Conference Paper
Year: 2021. Pages: 39-46 .
Authors: Sanjana Singh; Divyanjali Sharma; Subodh Sharma
DOI 10.1109/TASE52547.2021.00023 Crossref Crossref: 1 Scopus Scopus: 2

Thread-Modular Analysis of Release-Acquire Concurrency

Conference Paper
Year: 2021. Volume: 12913 LNCS , Pages: 384-404 .
Authors: Divyanjali Sharma; Subodh Sharma
DOI 10.1007/978-3-030-88806-0_19 Crossref Crossref: 2 Scopus Scopus: 2

Development and Validation of Serious Games for Teaching Cybersecurity

Conference Paper
Year: 2021. Volume: 12945 LNCS , Pages: 247-262 .
Authors: Srishti Kulshrestha; Sarthak Agrawal; Devottam Gaurav; Manmohan Chaturvedi; Subodh Sharma; Ranjan Bose
DOI 10.1007/978-3-030-88272-3_18 Crossref Crossref: 16 Scopus Scopus: 19

Simulation of Secure Volunteer Computing by Using Blockchain

Conference Paper
Year: 2020. Volume: 926 , Pages: 883-894 .
Authors: Johjima Shota; Kaneko Kosuke; Subodh Sharma; Sakurai Kouichi
DOI 10.1007/978-3-030-15032-7_74 Crossref Crossref: 1 Scopus Scopus: 1

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

Book Chapter
Year: 2020. Volume: 47 , Pages: 361-372 .
Authors: Kosuke Kaneko; Yusuke Tsutsumi; Subodh Sharma; Yoshihiro Okada
DOI 10.1007/978-3-030-39746-3_38 Crossref Crossref: 1 Scopus Scopus: 2

Reliable decentralized oracle with mechanisms for verification and disputation

Conference Paper
Year: 2019. Pages: 346-352 .
Authors: Limao Ma; Kosuke Kaneko; Subodh Sharma; Kouichi Sakurai
DOI 10.1109/CANDARW.2019.00067 Crossref Crossref: 17 Scopus Scopus: 20
Showing 1 to 8 of 49 publications