| ZEUS: Analyzing Safety of Smart Contracts. S Kalra, S Goel, M Dhawan, S Sharma NDSS, 2018 | 257 | 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 | 99 | 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 | 57 | 2014 |
| Unfolding-based partial order reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015 | 53 | 2015 |
| Privacy and security of Aadhaar: a computer science perspective SASBS Sharma Economic and Political Weekly, 2017 | 36 | 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 | 26 | 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 | 12 | 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 |
| 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 |
| 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 | 8 | 2016 |
| 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 |
| 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 |
| Privacy concerns with Aadhaar S Banerjee, S Sharma Communications of the ACM 62 (11), 80-80, 2019 | 2 | 2019 |
| Simulation of Secure Volunteer Computing by Using Blockchain J Shota, K Kosuke, S Sharma, S Kouichi International Conference on Advanced Information Networking and Applications …, 2019 | 2 | 2019 |
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
