Raghavendra Ramesh

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Coloured Petri Nets

Transactional Data

Static Analysis

Top Venues

Publications

Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin
Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals. CoRR (2024)
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. CoRR (2024)
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. FMBC@CAV (2024)
Jianting Zhang, Zhongtang Luo, Raghavendra Ramesh, Aniket Kate
Sharding SMR with Optimal-size Shards for Highly Scalable Blockchains. CoRR (2024)
Peter Robinson, Raghavendra Ramesh
General Purpose Atomic Crosschain Transactions. BRAINS (2021)
Peter Robinson, Raghavendra Ramesh
General Purpose Atomic Crosschain Transactions. IEEE ICBC (2021)
Raghavendra Ramesh
Algorithm for Cross-shard Cross-EE Atomic User-level ETH Transfer in Ethereum 2. CoRR (2021)
Peter Robinson, Raghavendra Ramesh
Layer 2 Atomic Cross-Blockchain Function Calls. CoRR (2020)
Peter Robinson, Raghavendra Ramesh
General Purpose Atomic Crosschain Transactions. CoRR (2020)
Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. PLDI (2020)
Peter Robinson, Raghavendra Ramesh, John Brainard, Sandra Johnson
Atomic Crosschain Transactions White Paper. CoRR (2020)