Subodh Sharma
Identifiers
No identifiers captured yet.
Papers (6)
- BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities cs.CR · 2025 · author #9
- From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems cs.CR · 2025 · author #9
- Efficient Verification of Concurrent Programs Over TSO Memory Model cs.LO · 2016 · author #2
- Unfolding-based Partial Order Reduction cs.LO · 2015 · author #3
- From Traces To Proofs: Proving Concurrent Program Safe cs.PL · 2015 · author #2
- AbPress: Flexing Partial-Order Reduction and Abstraction cs.LO · 2014 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Chinmay Narayan 2 shared papers
- Daniel Kroening 2 shared papers
- Elizaveta Smirnova 2 shared papers
- Kirill Ziborov 2 shared papers
- Matvey Mishuris 2 shared papers
- S.Arun-Kumar 2 shared papers
- Vladimir Gorgadze 2 shared papers
- Yash Madhwal 2 shared papers
- Yury Yanovich 2 shared papers
- Bj\"orn Wachter 1 shared papers
- C\'esar Rodr\'iguez 1 shared papers
- Maksim Egorov 1 shared papers
- Marcelo Sousa 1 shared papers
- Sergey Sobolev 1 shared papers
- Shibashis Guha 1 shared papers
- Victoria Kovalevskay 1 shared papers
- Victoria Kovalevskaya 1 shared papers