Raghavendra Ramesh

According to our database, Raghavendra Ramesh authored at least 10 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

M. Praveen, Raghavendra Ramesh, Isaac Doidge

CoRR, 2024

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

Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin

CoRR, 2024

2021

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

Raghavendra Ramesh

CoRR, 2021

General Purpose Atomic Crosschain Transactions.

Peter Robinson, Raghavendra Ramesh

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2020

Layer 2 Atomic Cross-Blockchain Function Calls.

Peter Robinson, Raghavendra Ramesh

CoRR, 2020

Atomic Crosschain Transactions White Paper.

Peter Robinson, Raghavendra Ramesh, John Brainard, Sandra Johnson

CoRR, 2020

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.

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.

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.

Deepak D'Souza, R. K. Ramesh

J. Comput. Secur., 2016

2008

On the Decidability of Model-Checking Information Flow Properties.

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick

Proceedings of the Information Systems Security, 4th International Conference, 2008