1 citations · 1 across the 3 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.NI2022
High-Level Synthesis for Packet-Processing Pipelines
Xiangyu Gao, Divya Raghunathan, Ruijie Fang +5
Compiling high-level programs to target high-speed packet-processing pipelines is a challenging combinatorial optimization problem. The compiler must configure the pipeline's resou…
cs.NI2022★ 1 cited
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Divya Raghunathan, Ryan Beckett, Aarti Gupta +1
Networks are hard to configure correctly, and misconfigurations occur frequently, leading to outages or security breaches. Formal verification techniques have been applied to guara…