Senapati Diwangkara

According to our database, Senapati Diwangkara authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

TranSPArent: Taint-style Vulnerability Detection in Generic Single Page Applications through Automated Framework Abstraction.

Senapati Diwangkara, Yinzhi Cao

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

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