Optimized OR-Sets without Ordering Constraints. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ICDCN, 2014)

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ATVA, 2015)

Bounded Implementations of Replicated Data Types. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (VMCAI, 2015)

Bounded Version Vectors Using Mazurkiewicz Traces. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ACSS (1), 2020)

Formalizing and Checking Multilevel Consistency. - Ahmed Bouajjani; Constantin Enea; Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (VMCAI, 2020)

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)