Srinidhi Nagendra

According to our database, Srinidhi Nagendra authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Optimal Concolic Dynamic Partial Order Reduction.

Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra

Proceedings of the 36th International Conference on Concurrency Theory, 2025

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