Subodh Sharma
Subodh Sharma
Verified email at cse.iitd.ac.in - Homepage
TitleCited byYear
ZEUS: Analyzing Safety of Smart Contracts.
S Kalra, S Goel, M Dhawan, S Sharma
NDSS, 2018
1192018
ISP: a tool for model checking MPI programs.
SS Vakkalanka, S Sharma, G Gopalakrishnan, RM Kirby
PPoPP, 285-286, 2008
912008
Unfolding-based partial order reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
452015
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
392014
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
262008
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
242009
Privacy and security of Aadhaar: a computer science perspective
S Agrawal, S Banerjee, S Sharma
Economic & Political Weekly 52 (37), 93-102, 2017
232017
A survey of MPI related debuggers and tools
SV Sharma, G Gopalakrishnan, RM Kirby
Salt Lake City, UT 84112, 2007
182007
Accelerated test execution using GPUs
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
142014
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
92012
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
52016
Dynamic symbolic verification of MPI programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
42018
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
42009
An offline alternative for Aadhaar-based biometric authentication
S Banerjee, SV Sharma
32018
Efficient verification solutions for message passing systems
S Sharma, G Gopalakrishnan
2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011
32011
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
32009
MAPPED: Predictive dynamic analysis tool for MPI applications
S Sharma, G Gopalakrishnan, G Bronevetsky
2012 SC Companion: High Performance Computing, Networking Storage and …, 2012
22012
Formal verification of mcapi applications using the dynamic verification tool mcc
S Sharma, G Gopalakrishnan
SRC Techcon, Austin, TX (Sept. 2009). Chosen as the Best Verification …, 2009
22009
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
12018
From Traces To Proofs: Proving Concurrent Programs Safe
C Narayan, SV Sharma, S Guha, S Arun-Kumar
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20