| Switch code generation using program synthesis X Gao, T Kim, MD Wong, D Raghunathan, AK Varma, PG Kannan, ... Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020 | 63 | 2020 |
| Knowledge compilation for boolean functional synthesis S Akshay, J Arora, S Chakraborty, S Krishna, D Raghunathan, S Shah 2019 Formal Methods in Computer Aided Design (FMCAD), 161-169, 2019 | 25 | 2019 |
| CaT: A Solver-Aided Compiler for Packet-Processing Pipelines X Gao, D Raghunathan, R Fang, T Wang, X Zhu, A Sivaraman, ... Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 7 | 2023 |
| ACORN: Network Control Plane Abstraction using Route Nondeterminism D Raghunathan, R Beckett, A Gupta, D Walker CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 261, 2022 | 1 | 2022 |
| Super-resolution on network telemetry time series F Gong, D Raghunathan, A Gupta, M Apostolaki arXiv preprint arXiv:2403.04165, 2024 | | 2024 |
| Towards Integrating Formal Methods into ML-Based Systems for Networking F Gong, D Raghunathan, A Gupta, M Apostolaki Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 48-55, 2023 | | 2023 |
| High-Level Synthesis for Packet-Processing Pipelines X Gao, D Raghunathan, R Fang, T Wang, X Zhu, A Sivaraman, ... arXiv preprint arXiv:2211.06475, 2022 | | 2022 |
| The Derby Game: An Ordering-based Colonel Blotto Game A Gaonkar, D Raghunathan, SM Weinberg Proceedings of the 23rd ACM Conference on Economics and Computation, 184-207, 2022 | | 2022 |
