Publications

PLDI ' 24
( )
NSDI ' 24
( )
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan BeckettSiva Kesava Reddy KakarlaTodd MillsteinGeorge Varghese
HotNets ' 23
( )
A Holistic View of AI-driven Network Incident Management
Pouya HamadanianBehnaz ArzaniSadjad FouladiSiva Kesava Reddy Kakarla, Rodrigo Fonseca, Denizcan Billor, Ahmad Cheema, Edet Nkposong, Ranveer Chandra
NSDI ' 22
( )
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
Siva Kesava Reddy KakarlaRyan BeckettTodd MillsteinGeorge Varghese
⟬   IRTF/IETF Applied Networking Research Prize ⟭  
HotNets ' 21
( )
SIGCOMM ' 20
( )
GRoot: Proactive Verification of DNS Configurations
Siva Kesava Reddy KakarlaRyan BeckettBehnaz ArzaniTodd MillsteinGeorge Varghese
⟬   Best Student Paper Award ⟭  
GLOBECOM ' 17
( )
IEEE 802.11ac DBCA: A Tug of War between Channel Utilization and Fairness
Saketh MahankaliSiva Kesava Reddy Kakarla, Raja Karmakar, Samiran Chattopadhyay, Sandip Chakraborty

PhD Dissertation ' 22
( )
Formal Methods for a Robust Domain Name System
Siva Kesava Reddy Kakarla
⟬   ACM SIGCOMM Doctoral Dissertation Award Runner Up ⟭