I am a fourth year PhD student, in the CS department at UCLA, where I am fortunate to be advised by two amazing people, Prof. Todd Millstein and Prof. George Varghese. My research interests lie at the intersection of Networks and Programming Languages. My work is focused on addressing two key limitations in the current network verification technology - the lack of formal specifications, and a shallow application that is limited only to the routing layer.

My projects in network verification have been in colloboration with Ryan Beckett and Behnaz Arzani from MNR group at Microsoft Research and Karthick Jayaraman from Windows Azure security group at Microsoft.

Before UCLA happened, I was an undergraduate student in the CSE department at IIT Kharagpur where I was advised by Prof. Sandip Chakraborty for my undergraduate thesis.

Sep20
Oral Qualifying Examination

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

Aug20
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

Aug20
Presentation @ SIGCOMM ' 20
( Virtual )

I presented GRoot at both the sessions of SIGCOMM 2020.

Jul20
Talk @ Intentionet
( Virtual )

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

Sep20

Jun20
( 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.

May20

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.

Feb20
Presentation @ NSDI ' 20
( Santa Clara, CA )

I presented SelfStarter at NSDI 2020.

Dec19

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

Feb20

Oct19
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.

Dec19

Sep19
( 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.

Aug19
Talk @ Intentionet
( Seattle, WA )

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

Aug19
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.

Sep19

Jun19
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.

Jun19
Written Qualifying Examination

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

Sep18
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.

Sep17