Subodh Sharma

Cited by

	All	Since 2016
Citations	711	539
h-index	11	8
i10-index	11	7

200

100

150

2007200820092010201120122013201420152016201720182019202020212 9 20 14 21 24 27 19 28 33 31 86 154 183 50

Public access

View all

2 articles

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
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
Rahul PurandareAssociate Professor of Computer Science and Engineering, IIIT-DelhiVerified email at iiitd.ac.in
Dhriti KhannaIIIT DelhiVerified email at iiitd.ac.in
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Marcelo Sousaexplore.devVerified email at explore.dev
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
Shweta AgrawalIndian Institute of Technology MadrasVerified email at iitm.ac.in

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	289	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	58	2014
Unfolding-based partial order reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015	56	2015
Privacy and security of Aadhaar: a computer science perspective SASBS Sharma Economic and Political Weekly, 2017	40	2017
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
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	25	2009
A survey of MPI related debuggers and tools SV Sharma, G Gopalakrishnan, RM Kirby Researchgate-Article, 2007	18	2007
Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	17	2014
Dynamic symbolic verification of mpi programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	13	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
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	9	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	8	2018
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	5	2009
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	3	2019
Privacy concerns with Aadhaar S Banerjee, S Sharma Communications of the ACM 62 (11), 80-80, 2019	3	2019
An offline alternative for Aadhaar-based biometric authentication S Banerjee, SV Sharma Ideas for India, 2018	3	2018
Efficient verification solutions for message passing systems S Sharma, G Gopalakrishnan 2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011	3	2011
Dynamic verification of multicore communication applications in mcapi S Sharma, G Gopalakrishnan, E Mercer 2009 IEEE International High Level Design Validation and Test Workshop, 100-105, 2009	3	2009
Apps for COVID: to do or not to do S Banerjee, B Raman, S Sharma	2	2020

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

Upload PDF

Follow this author

Cited by

Co-authors