I'm a Computer science doctoral student supervised by Constantin Enea and Mandayam Srivas. Currently, I am Applied Scientist Intern at AWS. In my PhD, I am working on developing automated techniques to test distributed system implementations. My interests are in formal verification and distributed systems.
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
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
NETYS 2024 arXiv
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra
Under submission
* Authors are ordered alphabetically in the surname
A DSL to describe unit tests for distributed protocol implementations. The framework allows developers to encode specific executions to test the implementation.
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.
A general framework to run reinforcement learning based exploration on distributed protocol implementations. Under progress.