Madhav Jivrajani

According to our database, Madhav Jivrajani authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Sophrosyne: Agentic Exploration of Relational Data Systems Needs Moderation.

Madhav Jivrajani, Ramnatthan Alagappan, Aishwarya Ganesan

CoRR, May, 2026

2025

Multi-Grained Specifications for Distributed System Model Checking and Verification.

Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu

Proceedings of the Twentieth European Conference on Computer Systems, 2025