About Me
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 collaboration with Ryan Beckett and Behnaz Arzani from MNR group at Microsoft Research and Karthick Jayaraman from Microsoft Azure. Our work, GRoot: Proactive Verification of DNS Configurations, received a SIGCOMM best student paper award and has also been featured on the APNIC blog.
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.
Updates
APNIC blog published a post titled, ‘Find bugs in your DNS zone files before deployment’ based on GRoot.
Mentions: Tweet, LinkedIn,
Tweet,
Tweet
I passed the OQE, and have now advanced to candidacy — one more milestone reached!
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
I presented the GRoot work to the Intentionet team. (Invited by Ratul Mahajan)
⋮
Jun20
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.
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.
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
⋮
Oct19
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.
⋮
Sep19
I am a teaching assistant for the upper-division Computer Network Fundamentals (CS 118) course, taught by my advisor Prof. George Varghese.
I presented my initial work on finding network misconfigurations by automatic template inference (SelfStarter) at Intentionet. (Invited by Ratul Mahajan)
I presented my first part of the internship work on DNS as a poster during the Microsoft Research Networking intern postern session event.
⋮
Jun19
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.
I passed the WQE — one milestone reached on the journey to my PhD!
I am honored to be the one of the recipients of the Dean’s special fellowship for the 2018-2019 academic year.
I am honored to be the incoming PhD student to receive the prestigious GDSA fellowship by the UCLA Graduate Division.
I started my PhD journey at UCLA in the Computer Science department.