Divya Raghunathan

I am an Applied Scientist in the Automated Reasoning Group at Amazon Web Services. I obtained my PhD in Computer Science from Princeton University in 2025, where I worked with Prof. Aarti Gupta, Prof. David Walker, and Prof. Maria Apostolaki.
I graduated from the Indian Institute of Technology Bombay with a B.Tech (Honors) in Computer Science and Engineering in 2019.

Research

My research interests are at the intersection of formal methods, networking, and programming languages.

Publications

• A Layered Formal Methods Approach to Answering Queue-related Queries
  Divya Raghunathan, Maria Apostolaki, Aarti Gupta.
  NSDI 2025.
• Zoom2Net: Constrained Network Telemetry Imputation
  Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki.
  SIGCOMM 2024.
• Towards Integrating Formal Methods into ML-Based Systems for Networking.
  Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki.
  HotNets 2023.
• CaT: A Solver-Aided Compiler for Packet-Processing Pipelines.
  Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta.
  ASPLOS 2023.
• ACORN: Abstracting the Network Control Plane using Route Nondeterminism.
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker.
  FMCAD 2022.
• The Derby Game: An Ordering-based Colonel Blotto Game.
  Akash Gaonkar, Divya Raghunathan, S. Matthew Weinberg.
  EC 2022.
• Switch Code Generation Using Program Synthesis.
  Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta.
  SIGCOMM 2020.
• Knowledge Compilation for Boolean Functional Synthesis.
  S. Akshay, Jatin Arora, Supratik Chakraborty, S. Krishna, Divya Raghunathan, Shetal Shah.
  FMCAD 2019.