Divya Raghunathan

Orcid: 0000-0003-0231-2086

According to our database1, Divya Raghunathan authored at least 7 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Towards Integrating Formal Methods into ML-Based Systems for Networking.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

CaT: A Solver-Aided Compiler for Packet-Processing Pipelines.
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.
CoRR, 2022

The Derby Game: An Ordering-based Colonel Blotto Game.
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.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020
Switch Code Generation Using Program Synthesis.
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.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019


  Loading...