Raghavendra Ramesh

Affiliations:
  • ConsenSys, Australia
  • Oracle Labs, Australia (former)
  • Indian Institute of Science, Bangalore, India (former)


According to our database1, Raghavendra Ramesh authored at least 12 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sharding SMR with Optimal-size Shards for Highly Scalable Blockchains.
CoRR, 2024

Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals.
CoRR, 2024

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2021
Algorithm for Cross-shard Cross-EE Atomic User-level ETH Transfer in Ethereum 2.
CoRR, 2021

General Purpose Atomic Crosschain Transactions.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2020
Layer 2 Atomic Cross-Blockchain Function Calls.
CoRR, 2020

Atomic Crosschain Transactions White Paper.
CoRR, 2020

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2017
An efficient tunable selective points-to analysis for large codebases.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

2016
Model-checking trace-based information flow properties for infinite-state systems.
J. Comput. Secur., 2016

2008
On the Decidability of Model-Checking Information Flow Properties.
Proceedings of the Information Systems Security, 4th International Conference, 2008


  Loading...