Subodh Sharma

Identifiers

• name variant Subodh Sharma 0.60 · backfill

Papers (6)

1. BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities cs.CR · 2025 · author #9
2. From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems cs.CR · 2025 · author #9
3. Efficient Verification of Concurrent Programs Over TSO Memory Model cs.LO · 2016 · author #2
4. Unfolding-based Partial Order Reduction cs.LO · 2015 · author #3
5. From Traces To Proofs: Proving Concurrent Program Safe cs.PL · 2015 · author #2
6. AbPress: Flexing Partial-Order Reduction and Abstraction cs.LO · 2014 · author #2

Mentions

• 1507.00980 #3 · backfill · confidence 0.70 Subodh Sharma
• 1506.07635 #2 · backfill · confidence 0.70 Subodh Sharma
• 1410.6044 #2 · backfill · confidence 0.70 Subodh Sharma

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