Obserwuj
Siva Kesava Reddy Kakarla
Siva Kesava Reddy Kakarla
Senior Researcher at Microsoft Research
Zweryfikowany adres z microsoft.com - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
392020
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
392020
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
272021
{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
192022
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
17*2019
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
132023
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
62023
Rethinking machine learning collective communication as a multi-commodity flow problem
X Liu, B Arzani, SKR Kakarla, L Zhao, V Liu, M Castro, S Kandula, ...
Proceedings of the ACM SIGCOMM 2024 Conference, 16-37, 2024
52024
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
5*2017
Oracle-based protocol testing with Eywa
SKR Kakarla, R Beckett
arXiv preprint arXiv:2312.06875, 2023
42023
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
42021
Formal Methods for a Robust Domain Name System
SKR Kakarla
University of California, Los Angeles, 2022
22022
Towards Safer Heuristics With XPlain
P Karimi, S Pirelli, SKR Kakarla, R Beckett, S Segarra, B Li, P Namyar, ...
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 68-76, 2024
12024
Diffy: Data-Driven Bug Finding for Configurations
SKR Kakarla, FY Yan, R Beckett
Proceedings of the ACM on Programming Languages 8 (PLDI), 199-222, 2024
12024
End-to-End Performance Analysis of Learning-enabled Systems
P Namyar, M Schapira, R Govindan, S Segarra, R Beckett, SKR Kakarla, ...
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 86-94, 2024
2024
Automatically detecting anomalies in complex configurations
RA Beckett, SKR Kakarla, Y Yan
US Patent App. 18/333,930, 2024
2024
Collective communication as a multi-commodity flow problem
B Arzani, SKR Kakarla, MOT de Castro, S Kandula, S Maleki, LJ Marshall
US Patent App. 18/331,846, 2024
2024
{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 …, 2024
2024
Ferret: Automatically Finding RFC Compliance Bugs in DNS Nameservers
SKR Kakarla, R Beckett, T Millstein, G Varghese
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–19