Divya Raghunathan

Computer Science · Physical Sciences

4h-index76citations8works2.72yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(2), Sparse and Compressive Sensing Techniques(2), Interconnection Networks and Systems(2), Network Time Synchronization Technologies(2), Parallel Computing and Optimization Techniques(1)

Publications8 total

A Neurosymbolic Approach to Natural Language Formalization and Verification
arXiv (Cornell University)·2025Open Access
Zoom2Net: Constrained Network Telemetry Imputation
2024· 8 citedOpen Access
Super-resolution on network telemetry time series
arXiv (Cornell University)·2024Open Access
Towards Integrating Formal Methods into ML-Based Systems for Networking
2023· 4 citedOpen Access
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
2023· 7 cited
The Derby Game: An Ordering-based Colonel Blotto Game
Proceedings of the 23rd ACM Conference on Economics and Computation·2022· 1 citedOpen Access
Switch Code Generation Using Program Synthesis
2020· 49 cited
Control Using Feedback over Wireless Ethernet and Bluetooth
Birkhäuser Boston eBooks·2005· 7 cited

Frequent Co-authors

Aarti Gupta(5), Fengchen Gong(3), Maria Apostolaki(3), Xiangyu Gao(2), Anirudh Sivaraman(2), Srinivas Narayana(2), Taegyun Kim(1), Michael D. Wong(1), Aatish Kishan Varma(1), Pravein Govindan Kannan(1), Ruijie Fang(1), Tao Wang(1), Xiaotong Zhu(1), Ajay Suri(1), John Baillieul(1), Akash Gaonkar(1), S. Matthew Weinberg(1), Sam Bayless(1), Stefano Buliani(1), Darion Cassel(1)