Subodh Sharma

Cited by

	All	Since 2017
Citations	876	672
h-index	11	10
i10-index	14	10

220

110

165

2008200920102011201220132014201520162017201820192020202120229 20 16 22 24 28 19 27 30 30 86 154 188 203 9

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Daniel KroeningAmazonVerified email at amazon.com
Mohan DhawanCorelight Inc.Verified email at corelight.com
Seep GoelIBM ResearchVerified email at in.ibm.com
Robert M. Kirby OR R.M. KirbySchool of Computing, University of UtahVerified email at cs.utah.edu
Rahul PurandareAssociate Professor of Computer Science and Engineering, IIIT-DelhiVerified email at iiitd.ac.in
Dhriti KhannaIIIT DelhiVerified email at iiitd.ac.in
César RodríguezDiffblue, Oxford, UK & Associate Professor, University of Paris 13, FranceVerified email at lipn.fr
Ganesh NarayanaswamyUniversity of OxfordVerified email at cs.ox.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Marcelo Sousaexplore.devVerified email at explore.dev
Shweta AgrawalIndian Institute of Technology MadrasVerified email at iitm.ac.in
Rajeev ThakurDeputy Director, Data Science and Learning Division, Argonne National LaboratoryVerified email at anl.gov
William GroppProfessor of Computer Science, University of IllinoisVerified email at illinois.edu
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Sriram AananthakrishnanIntelVerified email at intel.com
Simone AtzeniPhD Student, University of UtahVerified email at cs.utah.edu

Subodh Sharma

IIT Delhi

Verified email at cse.iitd.ac.in - Homepage

Formal Verification Program Analysis Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Zeus: Analyzing safety of smart contracts. S Kalra, S Goel, M Dhawan, S Sharma Ndss, 1-12, 2018	405	2018
ISP: a tool for model checking MPI programs SS Vakkalanka, S Sharma, G Gopalakrishnan, RM Kirby Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008	106	2008
Precise predictive analysis for discovering communication deadlocks in MPI programs V Forejt, D Kroening, G Narayanaswamy, S Sharma International Symposium on Formal Methods, 263-278, 2014	65	2014
Unfolding-based partial order reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015	60	2015
Privacy and Security of Aadhaar A Computer Science Perspective S Agrawal, S Banerjee, S Sharma EPW, 2017	42	2017
MCC: A runtime verification tool for MCAPI user applications S Sharma, G Gopalakrishnan, E Mercer, J Holt 2009 Formal Methods in Computer-Aided Design, 41-44, 2009	29	2009
A formal approach to detect functionally irrelevant barriers in MPI programs S Sharma, S Vakkalanka, G Gopalakrishnan, RM Kirby, R Thakur, ... European Parallel Virtual Machine/Message Passing Interface Users’ Group …, 2008	28	2008
Accelerated test execution using GPUs A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	22	2014
A survey of MPI related debuggers and tools SV Sharma, G Gopalakrishnan, RM Kirby Researchgate-Article, 2007	18	2007
Dynamic symbolic verification of mpi programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	16	2018
POLLUX: safely upgrading dependent application libraries S Kalra, A Goel, D Khanna, M Dhawan, S Sharma, R Purandare Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	12	2016
Suppressing chain size of blockchain-based information sharing for swarm robotic systems Y Nishida, K Kaneko, S Sharma, K Sakurai 2018 Sixth International Symposium on Computing and Networking Workshops …, 2018	11	2018
A sound reduction of persistent-sets for deadlock detection in mpi applications S Sharma, G Gopalakrishnan, G Bronevetsky Brazilian Symposium on Formal Methods, 194-209, 2012	11	2012
Reliable decentralized oracle with mechanisms for verification and disputation L Ma, K Kaneko, S Sharma, K Sakurai 2019 Seventh International Symposium on Computing and Networking Workshops …, 2019	10	2019
Some resources for teaching concurrency G Gopalakrishnan, Y Yang, S Vakkalanka, A Vo, S Aananthakrishnan, ... Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009	7	2009
PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack K Kaneko, Y Tsutsumi, S Sharma, Y Okada International Conference on Emerging Internetworking, Data & Web …, 2020	4	2020
Privacy concerns with Aadhaar S Banerjee, S Sharma Communications of the ACM 62 (11), 80-80, 2019	4	2019
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks D Khanna, R Purandare, S Sharma 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021	3	2021
Security Types for Synchronous Data Flow Systems S Prasad, RM Yerraguntla, S Sharma 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020	3	2020
An offline alternative for Aadhaar-based biometric authentication S Banerjee, SV Sharma Ideas for India, 2018	3	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors