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.

Siva Kesava Reddy Kakarla

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