IRTF/IETF Applied Networking Research Prize

My NSDI ' 22 SCALE paper won the 2023 IRTF/IETF Applied Networking Research Prize (ANRP) award.
IETF Blog — Six Applied Networking Research Prizes Awarded for 2023,
IRTF Tweet — Six researchers have been announced as new #ANRP awardees this year for recent results in applied networking research and interesting new research of potential relevance to the Internet standards community.
In UCLA news:   Computer Science

Other mentions:   MSR tweet, Ranveer Chandra’s tweet, LinkedIn

Article on netverify.fun site

I wrote an article titled ‘Harnessing Formal Methods Beyond Routing Layer,’ talking about some of my Ph.D. work, lessons I learned, and using formal methods beyond the network layer for the netverify.fun site.

Senior Researcher @ MSR
( Redmond, WA )

I joined Ranveer Chandra’s networking research group at Microsoft Research, Redmond.

APNIC blog post about Ferret

APNIC blog published a post titled, ‘Ferret: Automatically finding RFC compliance bugs in DNS nameservers’ based on our NSDI ' 22 paper.
APNIC Tweet — New #opensource tool ferrets out bugs in DNS nameservers, including @bind9 @KnotDNS NSD & @powerdns,
APNIC Tweet — Ferret: Automatically find RFC compliance bugs in #DNS nameservers.

UCLA Special Recognition in Research Award

I am honored to be one of the four graduating doctoral students in CS who received a Special Recognition in Research award from the engineering school (HSSEAS) at UCLA.


I am serving for the second time on the artifact evaluation committee of the SIGCOMM conference.
Deadlines:   2nd February (papers)  ·  11th June (artifacts)

Podcast on DNS Complexity @ Hedge

I recorded an episode for the Hedge podcast discussing the DNS complexity from our HotNets paper.

Defended PhD Thesis

I successfully defended my thesis (hybrid) - reached the final milestone of my PhD journey
It was an honor to have Ryan Beckett, Ravi Netravali, Yuval Tamir, and my advisors Todd Millstein, and George Varghese on my committee!!
Slides:   Formal Methods for a Robust Domain Name System

APNIC blog post about DNS complexity

APNIC blog published a post titled, ‘How complex is the DNS based on our HotNets paper.
APNIC Tweet — Using the power of the DNAME record type, a #hotnets21 study shows the #DNS can express regular languages and pushdown systems,
APNIC Tweet — [DYK] The #DNS can recognize regular languages and generate strings in a context-free language.

Ferret USENIX ;login: magazine

Ferret was among the small subset of papers that appeared at NSDI 2022 to be invited for an article in the USENIX ;login: magazine.

Presentation @ DNS-OARC 37
( virtual )

I presented GRoot to the DNS community through the talk, Find Bugs in your DNS Zone files Before Deployment with GRᴏᴏᴛ at DNS-OARC 37 workshop.

Talk @ UCLA CS 201 Seminar

I presented my Ph.D. work on how I use formal methods to make the DNS as robust as possible.

SCALE (Ferret) NSDI ' 22

My research on automatically finding RFC compliance bugs in DNS nameservers by symbolically executing the DNS formal model, with Ryan Beckett and my advisors Prof. Todd Millstein and Prof. George Varghese, would appear at NSDI 2022.

Presentation @ HotNets ' 21
( Virtual )

I presented our results on the power and complexity of DNS at HotNets 2021.

Presentation @ NetVerify ' 21
( virtual )

I presented our work, “Exploiting Formal Methods To make The Domain Name System More Robust” at Network Verficiation Workshop, happening in conjunction with the 29th IEEE ICNP 2021 conference.
Talk Proposal:   Towards a Robust DNS


Internship @ Amazon
( Virtual )

I am an applied research intern at Amazon Web Services (AWS) with John Backes. I am applying techniques from my DNS research of automatic test case generation for DNS nameserver implementations to Amazon’s DNS web service, Route 53.

How Complex is DNS? HotNets ' 21

My first shot at a short position paper exploring the complexity of DNS, along with Ryan Beckett, Prof. Todd Millstein, and Prof. George Varghese, got accepted at HotNets 2021.

UCLA Dissertation-Year Fellowship

I am honored to be one of final-year doctoral students who received the Dissertation-Year fellowship (DYF) awarded by the UCLA Graduate Division.


I am serving on the artifact evaluation committee of the SIGCOMM 2021 conference. Artifact evaluation ensures that the results claimed in research papers are efficiently and accurately reproducible, facilitating further research. This is only the second year since SIGCOMM started artifact evaluation, so consider submitting the supporting artifacts for your research papers.
Deadlines:   27th January (papers)  ·  25th May (artifacts)

Presentation @ DNS-OARC 35
( virtual )

I presented our ongoing work, “So you think your Nameservers are Correct?” : Finding Errors Automatically in Nameserver Implementations at DNS-OARC 35 workshop.
DNS-OARC Tweet — “Incredible reception from the audience on @SivaKesavaRK presentation. The automation tool received great compliments from the DNS experts”
Tweet from one of the audience — “As usual for DNS-OARC, #OARC35 is packed with interesting, useful DNS stuff. This one sounded impossible before the talk.”

Campion SIGCOMM ' 21

Our work on debugging router configuration differences, led by Alan Tang, with Ryan Beckett, Ennan Zhai, Matt Brown, Prof. Todd Millstein, Prof. Yuval Tamir, and Prof. George Varghese, would appear at SIGCOMM 2021.

Responsibly disclosed a security vulnerability found with Ferret in Bind

Ferret found a test input that can crash Bind. We reported it confidentially to the Bind security team, which fixed it and released a public disclosure.
Mentions:   CVE Tweet

Finalist - Facebook PhD Fellowship

I was a finalist (top 3.5%) of the Facebook PhD fellowship program.

APNIC blog post about GRoot

APNIC blog published a post titled, ‘Find bugs in your DNS zone files before deployment’ based on GRoot.
APNIC TweetDNS engineers have a new #opensource Guardian to help them catch bugs and prevent DNS-related outages,
LinkedIn — Interesting open source software to proactively identify DNS zone file errors,
APNIC Tweet — Zone file errors are all over the #DNS. With billions of potential queries, how can you check before deployment?,
APNIC Tweet — Bugs are everywhere in #DNS zone files. GRoot roots them out.

Oral Qualifying Examination

I passed the OQE, and have now advanced to candidacy — one more milestone reached!

SIGCOMM Best Student Paper Award

Our GRoot paper received a best student paper award at SIGCOMM 2020. This year $2$ out of the $53$ accepted ($250$ submitted) papers received this award.
In UCLA news:   Computer Science
Other mentions:   MSR tweet

Presentation @ SIGCOMM ' 20
( Virtual )

I presented GRoot at both the sessions of SIGCOMM 2020.

Talk @ Intentionet
( Virtual )

I presented the GRoot work to the Intentionet team. (Invited by Ratul Mahajan)


Internship @ Google
( Virtual )

I am interning with Jayaram Mudigonda and Anees Shaikh from the NetInfra group. I am researching into config analysis techniques to uncover potential problems in Google’s metro-networks.

GRoot SIGCOMM ' 20

My research on proactive verification of DNS configurations, with Ryan Beckett and Behnaz Arzani and my advisors Prof. Todd Millstein and Prof. George Varghese, would appear at SIGCOMM 2020.

Presentation @ NSDI ' 20
( Santa Clara, CA )

I presented SelfStarter at NSDI 2020.

SelfStarter NSDI ' 20

My work on finding network misconfigurations by automatic template inference with Ryan Beckett, Karthick Jayaraman, Prof. Yuval Tamir, and my advisors Prof. Todd Millstein and Prof. George Varghese, would appear at NSDI 2020 — yay! my first paper from PhD


Applications Developer @ Microsoft Research
( Remote )

As a part-time remote applications developer, I am continuing my internship work to build GRoot, a DNS configuration verification tool with Ryan Beckett, and Behnaz Arzani.


Graduate TA for CS 118
( Dept. of Computer Science, UCLA )

I am a teaching assistant for the upper-division Computer Network Fundamentals (CS 118) course, taught by my advisor Prof. George Varghese.

Talk @ Intentionet
( Seattle, WA )

I presented my initial work on finding network misconfigurations by automatic template inference (SelfStarter) at Intentionet. (Invited by Ratul Mahajan)

Poster @ MSR Intern Poster Session
( Redmond, WA )

I presented my first part of the internship work on DNS as a poster during the Microsoft Research Networking intern postern session event.


Internship @ Microsoft Research
( Redmond, WA )

I am interning with Ryan Beckett from the MNR group led by Victor Bahl. I am developing the first verification tool using static analysis for proactive and exhaustive checking of the DNS configurations (zone files) for common bugs. I am also working with Karthick Jayaraman on finding misconfigurations in Microsoft data center and WAN router configurations and aiming to submit the work to NSDI 2020 fall deadline.

Written Qualifying Examination

I passed the WQE — one milestone reached on the journey to my PhD!

UCLA Dean’s Graduate Student Researcher Fellowship

I am honored to be the one of the recipients of the Dean’s special fellowship for the 2018-2019 academic year.

UCLA Graduate Dean’s Scholar Award

I am honored to be the incoming PhD student to receive the prestigious GDSA fellowship by the UCLA Graduate Division.

Started PhD in CS @ UCLA
( Los Angeles, CA )

I started my PhD journey at UCLA in the Computer Science department.