Srinidhi Nagendra

Doctoral student @ IRIF, CMI

[email protected]

I'm a Computer science doctoral student supervised by Constantin Enea and Mandayam Srivas. I work on developing automated techniques to test distributed system implementations. My research interests are in formal verification and distributed systems.

I was a summer Applied Science Intern at AWS (June-August 2024). I completed my Masters in Computer Science at Chennai Mathematical Institute in 2020. Prior to that, I worked as a software developer at Zoho and Bookmyshow, and as a DevOps engineer at Unacademy.

Publications

(Authors are ordered alphabetically in the surname)

A Domain Specific Language for Testing Distributed Protocol Implementations

Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas

NETYS 2024 arXiv

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems

Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

OOPSLA 2024 arXiv

Model-guided Fuzzing of Distributed Systems

Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra

arXiv

Tools

netrixframework/netrix

A DSL to describe unit tests for distributed protocol implementations. The framework allows developers to encode specific executions to test the implementation.

zeu5/gocov

A Go library to fetch coverage information of the current running program. Large parts are borrowed from the go runtime source that dumps the coverage information.

zeu5/dist-rl-testing

A general framework to run reinforcement learning based exploration on distributed protocol implementations. Under progress.