Knowledge Compilation for Boolean Functional Synthesis. - S. Akshay 001; Jatin Arora 002; Supratik Chakraborty; Shankara Narayanan Krishna; Divya Raghunathan; Shetal Shah (FMCAD, 2019)

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)

ACORN: Network Control Plane Abstraction using Route Nondeterminism. - Divya Raghunathan; Ryan Beckett; Aarti Gupta; David Walker 001 (FMCAD, 2022)

The Derby Game: An Ordering-based Colonel Blotto Game. - Akash Gaonkar; Divya Raghunathan; S. Matthew Weinberg (EC, 2022)

High-Level Synthesis for Packet-Processing Pipelines. - Xiangyu Gao; Divya Raghunathan; Ruijie Fang; Tao Wang 088; Xiaotong Zhu; Anirudh Sivaraman; Srinivas Narayana; Aarti Gupta (CoRR, 2022)

CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. - Xiangyu Gao; Divya Raghunathan; Ruijie Fang; Tao Wang 088; Xiaotong Zhu; Anirudh Sivaraman; Srinivas Narayana; Aarti Gupta (ASPLOS (3), 2023)

Towards Integrating Formal Methods into ML-Based Systems for Networking. - Fengchen Gong; Divya Raghunathan; Aarti Gupta; Maria Apostolaki (HotNets, 2023)

Zoom2Net: Constrained Network Telemetry Imputation. - Fengchen Gong; Divya Raghunathan; Aarti Gupta; Maria Apostolaki (SIGCOMM, 2024)

Super-resolution on network telemetry time series. - Fengchen Gong; Divya Raghunathan; Aarti Gupta; Maria Apostolaki (CoRR, 2024)

A Layered Formal Methods Approach to Answering Queue-related Queries. - Divya Raghunathan; Maria Apostolaki; Aarti Gupta (NSDI, 2025)