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 | 59 | 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 | 22 | 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 | 6 | 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 |
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 |