Mahajan, Ratul

Understanding BGP misconfiguration

Mahajan, R., Wetherall, D., & Anderson, T. (2002) · Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications

Network Traffic and Congestion ControlNetwork Security and Intrusion Detection

Cited by 533

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R., & Walker, D. (2017) · Proceedings of the Conference of the ACM Special Interest Group on Data Communication

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 262

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J., & Walker, D. (2017) · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software-Defined Networks and 5GNetwork Traffic and Congestion Control

Cited by 62

Lessons from the evolution of the batfish configuration analysis tool

Brown, M., Fogel, A., Halperin, D., Heorhiadi, V., Mahajan, R., & Millstein, T. (2023) · Proceedings of the ACM SIGCOMM 2023 Conference

Software-Defined Networks and 5GFormal Methods in Verification

Cited by 40

CacheWise: Understanding Workloads and Optimizing KVCache Management for Efficiently Serving LLM Coding Agents

Tiwari, S., Chugh, T., Rickert, N., Peter, S., Mahajan, R., & Shen, H. (2026) · arXiv

Parallel Computing and Optimization TechniquesSoftware System Performance and Reliability

Cited by 0

Test coverage for network configurations

Xu, X., Deng, W., Beckett, R., Mahajan, R., & Walker, D. (2022) · arXiv

Software Testing and Debugging TechniquesSoftware-Defined Networks and 5G

Cited by 0