Divya Raghunathan

I am a PhD student in the Computer Science department at Princeton University, working 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. Specifically, I am interested in using formal methods and programming languages techniques for networking applications.

Publications

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