Subodh Sharma

Citée par

	Toutes	Depuis 2020
Citations	1596	1112
indice h	14	10
indice i10	15	11

240

120

180

2008200920102011201220132014201520162017201820192020202120222023202420259 20 16 27 23 29 19 28 35 29 83 155 188 221 215 235 226 26

Accès public

Tout afficher

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Ganesh GopalakrishnanProfessor of Computer Science, University of UtahAdresse e-mail validée de cs.utah.edu
Mohan DhawanCorelight Inc.Adresse e-mail validée de corelight.com
Seep GoelIBM ResearchAdresse e-mail validée de in.ibm.com
Daniel KroeningAmazonAdresse e-mail validée de amazon.com
Robert M. Kirby OR R.M. KirbySchool of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Rahul PurandareAssociate Professor, University of Nebraska–LincolnAdresse e-mail validée de unl.edu
Dhriti KhannaIIIT DelhiAdresse e-mail validée de iiitd.ac.in
César RodríguezCadence & Associate Professor, University of Paris 13, FranceAdresse e-mail validée de lipn.fr
Vojtěch ForejtDifflblueAdresse e-mail validée de diffblue.com
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityAdresse e-mail validée de cs.byu.edu
Marcelo SousaReviewpadAdresse e-mail validée de reviewpad.com
Shweta AgrawalIndian Institute of Technology MadrasAdresse e-mail validée de iitm.ac.in
Rajeev ThakurDeputy Division Director, Argonne Distinguished Fellow, Argonne National LaboratoryAdresse e-mail validée de anl.gov
William GroppProfessor of Computer Science, University of IllinoisAdresse e-mail validée de illinois.edu
Ajitha RajanUniversity of EdinburghAdresse e-mail validée de staffmail.ed.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresse e-mail validée de diffblue.com
Sriram AananthakrishnanIntelAdresse e-mail validée de intel.com
Simone AtzeniPhD Student, University of UtahAdresse e-mail validée de cs.utah.edu

Suivre

Subodh Sharma

IIT Delhi

Adresse e-mail validée de cse.iitd.ac.in - Page d'accueil

Formal Verification Program Analysis Concurrency


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Zeus: analyzing safety of smart contracts. S Kalra, S Goel, M Dhawan, S Sharma Ndss, 1-12, 2018	921	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	123	2008
Precise predictive analysis for discovering communication deadlocks in MPI programs V Forejt, D Kroening, G Narayanaswamy, S Sharma FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	87	2014
Unfolding-based partial order reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015	79	2015
Privacy and security of Aadhaar: a computer science perspective S Agrawal, S Banerjee, S Sharma Economic and Political Weekly, 93-102, 2017	66	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	33	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	28	2019
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
Dynamic symbolic verification of MPI programs D Khanna, S Sharma, C Rodríguez, R Purandare Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018	25	2018
Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	24	2014
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	21	2018
A survey of MPI related debuggers and tools SV Sharma, G Gopalakrishnan, RM Kirby Researchgate-Article, 2007	21	2007
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	18	2016
Development and validation of serious games for teaching cybersecurity S Kulshrestha, S Agrawal, D Gaurav, M Chaturvedi, S Sharma, R Bose Serious Games: Joint International Conference, JCSG 2021, Virtual Event …, 2021	17	2021
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	14	2012
Privacy concerns with Aadhaar S Banerjee, S Sharma Communications of the ACM 62 (11), 80-80, 2019	8	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	8	2009
PACKUARIUM: network packet visualization using mixed reality for detecting bot IoT device of DDoS attack K Kaneko, Y Tsutsumi, S Sharma, Y Okada Advances in Internet, Data and Web Technologies: The 8th International …, 2020	7	2020
Sklee: A dynamic symbolic analysis tool for ethereum smart contracts (tool paper) N Jain, K Kaneko, S Sharma International Conference on Software Engineering and Formal Methods, 244-250, 2022	6	2022
Bird: Race detection in software binaries under relaxed memory models R Jain, R Purandare, S Sharma ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-29, 2022	6	2022

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs