Tempus: Probabilistic Network Latency Verification. - Sepehr Abdous; Senapati Diwangkara; Soudeh Ghorbani (IEEE Access, 2024)

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 004; Suman Nath; Peng Huang 005 (OSDI, 2025)