Seguir
Subodh Sharma
Subodh Sharma
IIT Delhi
Dirección de correo verificada de cse.iitd.ac.in - Página principal
Título
Citado por
Citado por
Año
Zeus: analyzing safety of smart contracts.
S Kalra, S Goel, M Dhawan, S Sharma
Ndss, 1-12, 2018
9142018
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
1202008
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
872014
Unfolding-based partial order reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
802015
Privacy and security of Aadhaar: a computer science perspective
S Agrawal, S Banerjee, S Sharma
Economic and Political Weekly, 93-102, 2017
642017
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
292009
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
282019
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
282008
Dynamic symbolic verification of MPI programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
262018
Accelerated test execution using gpus
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
242014
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
212018
A survey of MPI related debuggers and tools
SV Sharma, G Gopalakrishnan, RM Kirby
Researchgate-Article, 2007
212007
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
182016
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
172021
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
142012
Privacy concerns with Aadhaar
S Banerjee, S Sharma
Communications of the ACM 62 (11), 80-80, 2019
82019
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
82009
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
72022
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
72020
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
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20