Senapati Diwangkara

According to our database, Senapati Diwangkara authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems.

Chang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang, Senapati Diwangkara, Yuzhuo Jing, Achmad Imam Kistijantoro, Ding Yuan, Suman Nath, Peng Huang

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2024

Tempus: Probabilistic Network Latency Verification.

Sepehr Abdous, Senapati Diwangkara, Soudeh Ghorbani

IEEE Access, 2024