Siva Kesava Reddy Kakarla View
Siva Kakarla is a senior researcher in the Networking research group at Microsoft. He received a Ph.D. in Computer Science from the University of California Los Angeles, advised by Todd Millstein and George Varghese. During his Ph.D., he received a SIGCOMM best student paper award, UCLA Graduate Dean’s Scholar Award, and was a Facebook Ph.D. fellowship finalist. Siva received his undergraduate degree in Computer Science and Engineering from IIT Kharagpur.
Posts by Siva Kesava Reddy Kakarla
Harnessing Formal Methods Beyond Routing Layer
Network verification is a mature field with an industrial presence developed to ensure networks and services are safe from configuration-related outages. However, researchers in this ...
In research, DNS, verification, By Siva Kesava Reddy Kakarla, Sep 13, 2022