Follow
Siva Kesava Reddy Kakarla
Siva Kesava Reddy Kakarla
Senior Researcher at Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Finding network misconfigurations by automatic template inference
SKR Kakarla, A Tang, R Beckett, K Jayaraman, T Millstein, Y Tamir, ...
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
302020
Groot: Proactive verification of dns configurations
SKR Kakarla, R Beckett, B Arzani, T Millstein, G Varghese
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
242020
Campion: debugging router configuration differences
A Tang, SKR Kakarla, R Beckett, E Zhai, M Brown, T Millstein, Y Tamir, ...
Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 748-761, 2021
152021
{SCALE}: Automatically finding {RFC} compliance bugs in {DNS} nameservers
SKR Kakarla, R Beckett, T Millstein, G Varghese
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022
142022
Expect more from the networking: DDoS mitigation by FITT in named data networking
Z Zhang, V Vasavada, SKR Kakarla, A Stavrou, E Osterweil, L Zhang
arXiv preprint arXiv:1902.09033, 2019
13*2019
IEEE 802.11 ac DBCA: A tug of war between channel utilization and fairness
S Mahankali, SKR Kakarla, S Chakraborty, R Karmakar, S Chattopadhyay
GLOBECOM 2017-2017 IEEE Global Communications Conference, 1-6, 2017
4*2017
Formal Methods for a Robust Domain Name System
SKR Kakarla
University of California, Los Angeles, 2022
22022
How Complex is DNS?
SKR Kakarla, R Beckett, T Millstein, G Varghese
Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 116-122, 2021
12021
{MESSI}: Behavioral Testing of {BGP} Implementations
R Singha, R Mondal, R Beckett, SKR Kakarla, T Millstein, G Varghese
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24), 2024
2024
Oracle-based Protocol Testing with Eywa
SKR Kakarla, R Beckett
arXiv preprint arXiv:2312.06875, 2023
2023
A Holistic View of AI-driven Network Incident Management
P Hamadanian, B Arzani, S Fouladi, SKR Kakarla, R Fonseca, D Billor, ...
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 180-188, 2023
2023
Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem
B Arzani, SKR Kakarla, M Castro, S Kandula, S Maleki, L Marshall
arXiv preprint arXiv:2305.13479, 2023
2023
Ferret: Automatically Finding RFC Compliance Bugs in DNS Nameservers
SKR Kakarla, R Beckett, T Millstein, G Varghese
The system can't perform the operation now. Try again later.
Articles 1–13