Divya Raghunathan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2025 | NSDI | A Layered Formal Methods Approach to Answering Queue-related Queries. | Divya Raghunathan, Maria Apostolaki, Aarti Gupta |
| 2024 | SIGCOMM | Zoom2Net: Constrained Network Telemetry Imputation. | Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki |
| 2023 | ASPLOS | 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 |
| 2023 | HOTNETS | Towards Integrating Formal Methods into ML-Based Systems for Networking. | Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki |
| 2022 | FMCAD | ACORN: Network Control Plane Abstraction using Route Nondeterminism. | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker |
| 2020 | SIGCOMM | 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 |
| 2019 | FMCAD | Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |