| Zeus: analyzing safety of smart contracts. S Kalra, S Goel, M Dhawan, S Sharma Ndss, 1-12, 2018 | 916 | 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 | 16 | 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 |
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahEmail verificata su cs.utah.edu