Divya Raghunathan

According to our database, Divya Raghunathan authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Super-resolution on network telemetry time series.

Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki

CoRR, 2024

Zoom2Net: Constrained Network Telemetry Imputation.

Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

2023

Towards Integrating Formal Methods into ML-Based Systems for Networking.

Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 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

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

High-Level Synthesis for Packet-Processing Pipelines.

Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta

CoRR, 2022

The Derby Game: An Ordering-based Colonel Blotto Game.

Akash Gaonkar, Divya Raghunathan, S. Matthew Weinberg

Proceedings of the EC '22: The 23rd ACM Conference on Economics and Computation, Boulder, CO, USA, July 11, 2022

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

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

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

Knowledge Compilation for Boolean Functional Synthesis.

S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019