Srinidhi Nagendra

According to our database, Srinidhi Nagendra authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.

Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

Proc. ACM Program. Lang., 2024

Model-guided Fuzzing of Distributed Systems.

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

CoRR, 2024

A Domain Specific Language for Testing Distributed Protocol Implementations.

Cezara Dragoi, Srinidhi Nagendra, Mandayam Srivas

Proceedings of the Networked Systems - 12th International Conference, 2024

2023

A Domain Specific Language for Testing Consensus Implementations.

Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas

CoRR, 2023