Divya Raghunathan

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Prime Implicates

Pursuit Evasion

Quantified Boolean Formulae

Knowledge Compilation

Top Venues

Publications

Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Super-resolution on network telemetry time series. CoRR (2024)
Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Zoom2Net: Constrained Network Telemetry Imputation. SIGCOMM (2024)
Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. ASPLOS (3) (2023)
Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Towards Integrating Formal Methods into ML-Based Systems for Networking. HotNets (2023)
Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
High-Level Synthesis for Packet-Processing Pipelines. CoRR (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. CoRR (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD (2022)
Akash Gaonkar, Divya Raghunathan, S. Matthew Weinberg
The Derby Game: An Ordering-based Colonel Blotto Game. EC (2022)
Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
Switch Code Generation Using Program Synthesis. SIGCOMM (2020)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. FMCAD (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. CoRR (2019)