We stand with Ukraine  

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 10 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
Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals.
[BibTeX]
[DOI]
Isaac Doidge
,
Raghavendra Ramesh
,
Nibesh Shrestha
,
Joshua Tobkin
CoRR, 2024

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.
[BibTeX]
[DOI]
M. Praveen
,
Raghavendra Ramesh
,
Isaac Doidge
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2021
Algorithm for Cross-shard Cross-EE Atomic User-level ETH Transfer in Ethereum 2.
[BibTeX]
[DOI]
Raghavendra Ramesh
CoRR, 2021

General Purpose Atomic Crosschain Transactions.
[BibTeX]
[DOI]
Peter Robinson
,
Raghavendra Ramesh
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2020
Layer 2 Atomic Cross-Blockchain Function Calls.
[BibTeX]
[DOI]
Peter Robinson
,
Raghavendra Ramesh
CoRR, 2020

Atomic Crosschain Transactions White Paper.
[BibTeX]
[DOI]
Peter Robinson
,
Raghavendra Ramesh
,
John Brainard
,
Sandra Johnson
CoRR, 2020

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.
[BibTeX]
[DOI]
Anastasios Antoniadis
,
Nikos Filippakis
,
Paddy Krishnan
,
Raghavendra Ramesh
,
Nicholas Allen
,
Yannis Smaragdakis
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.
[BibTeX]
[DOI]
Behnaz Hassanshahi
,
Raghavendra Kagalavadi Ramesh
,
Padmanabhan Krishnan
,
Bernhard Scholz
,
Yi Lu
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.
[BibTeX]
[DOI]
Deepak D'Souza
,
R. K. Ramesh
J. Comput. Secur., 2016

2008
On the Decidability of Model-Checking Information Flow Properties.
[BibTeX]
[DOI]
Deepak D'Souza
,
Raveendra Holla
,
Janardhan Kulkarni
,
Raghavendra K. Ramesh
,
Barbara Sprick
Proceedings of the Information Systems Security, 4th International Conference, 2008


  Loading...