Mon, 01 Jan 0001 00:00:00 +0000

Evolving AWS Networking control plane

I have worked on various parts of the AWS intent-driven network control plane, from building the intent infrastructure to working on a new routing protocol. More info available in this re:Invent presentation

Batfish

I continue contributing to Batfish, an open source tool for network configuration analysis. Batfish has broad use in the networking community, and has been adopted at AWS as well. I was the core developer for the routing simulation engine. These days mostly focused on closing vendor gaps and supporting users.

Publications

Mon, 01 Jan 0001 00:00:00 +0000

Generated from my CV.

Selected publications

A Neurosymbolic Approach to Natural Language Formalization and Verification
Chenyang An, et al.
38th International Conference on Computer Aided Verification (CAV 2026) · PDF

Lessons from the evolution of the Batfish configuration analysis tool
Matt Brown, et al.
ACM SIGCOMM 2023 Conference (SIGCOMM '23) · PDF

Intent-driven Composition of Resource-management SDN Applications
Victor Heorhiadi, Sanjay Chandrasekaran, et al.
ACM CoNEXT 2018 (CoNEXT '18) · PDF

Gremlin: Systematic Resilience Testing of Microservices
Victor Heorhiadi, Shriram Rajagopalan, et al.
IEEE ICDCS 2016 (ICDCS '16) · PDF