Srinidhi Nagendra

According to our database, Srinidhi Nagendra authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

LLM-Assisted Analysis of On-Chip Protocol Implementations.

Melisande Zonta-Roudes, Nora Hinderling, Supraja Sridhara, Srinidhi Nagendra, Shweta Shinde

Proceedings of the 34th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2026

2025

Model-Guided Fuzzing of Distributed Systems.

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

Proc. ACM Program. Lang., 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

Automated testing of distributed protocol implementations. (Tests automatisés des implémentations de protocoles distribués).

Srinidhi Nagendra

PhD thesis, 2024

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.

Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

Proc. ACM Program. Lang., 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