Ranjal Gautham Shenoy

According to our database, Ranjal Gautham Shenoy authored at least 6 papers between 2014 and 2021.

Collaborative distances:

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

2021

TokenSmart: Distributed, Scalable Power Management in the Many-Core Era.

Parth Shah, Ranjal Gautham Shenoy, Vaidyanathan Srinivasan, Pradip Bose, Alper Buyuktosunoglu

IEEE Comput. Archit. Lett., 2021

2020

Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Bounded Version Vectors Using Mazurkiewicz Traces.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Advanced Computing and Systems for Security, 2020

2015

Bounded Implementations of Replicated Data Types.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Optimized OR-Sets without Ordering Constraints.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014