Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.32639

Peregrine: A Language-Agnostic Packet Processing Intermediate Representation with Formal Guarantees

Sean Rhee·Xiangyu Gao·Srinivas Narayana·Nate Foster·Joseph Tassarotti·Anirudh Sivaraman
View original source ↗Read source document ↗Export metadata ↓

Abstract

Many different programmable network devices and domain-specific languages (DSLs) for programming them have been developed in recent years. However, the affiliated compiler infrastructure for each DSL has not kept up, leading to unreliable compilation results and ultimately a poor experience for developers. In response to this fragmented ecosystem, we propose an intermediate representation, Peregrine, to consolidate the common compiler functionalities within this domain into a shared, open-source infrastructure. We designed Peregrine to provide formal guarantees from the beginning, rather than adding them in a later step. The language comes with a formal semantics, along with an equivalence checker written and proven correct in Rocq. Experimental results show that Peregrine is general enough to express multiple applications written in various state-of-the-art network programming languages. The equivalence checker designed in Peregrine can be used for validating the correctness of a range of untrusted compiler passes, as well as for other surprising use cases such as certifying the correctness of packet classification algorithms within a reasonable amount of time.

Explore related subjects

cs.NI

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sean Rhee, Xiangyu Gao, Srinivas Narayana, Nate Foster, Joseph Tassarotti, Anirudh Sivaraman. 2026-10-23. Peregrine: A Language-Agnostic Packet Processing Intermediate Representation with Formal Guarantees. https://arxiv.org/abs/2610.32639

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Experimental Classification of xApp Conflicts in O-RAN: Slicing vs. Per-UE Scheduling

Concurrent applications (xApps) in the Near-Real-Time RAN Intelligent Controller (Near-RT RIC) of the Open Radio Access Network (O-RAN) can issue control intents that are jointly infeasible when they act on hierarchically coupled radio resources. This paper experimentally studies an interaction between slice-level physical resource block (PRB) allocation and per-user-equipment (UE) scheduling. We implement a utilisation-aware slicing control (the spectral-efficiency xApp) that reclaims a fixed fraction of the baseline allocation from under-utilised slices and redistributes pooled capacity to saturated slices. The control logic is exercised in simulation and on a 5G testbed comprising an OCUDU-based next-generation NodeB (gNB), an Open5GS core, a Universal Software Radio Peripheral (USRP) X310, and five commercial off-the-shelf (COTS) UEs. Because the gNB counters available in this testbed are UE-keyed but not slice-labelled, the slicing control derives a per-slice throughput proxy from core-side traffic measurements. A command-bus detector evaluates explicitly defined control-intent conditions: a per-UE floor above its parent-slice cap, aggregate UE floors above the cell budget, and repeated slice-target changes within a specified window. Over a 276-cycle continuous run, the detector logged 147 per-slice floor--cap violations, 49 shared-budget over-subscription episodes, and 11 allocation-oscillation episodes. Against the conventional static slice split replayed on the same load trace, the slicing control reduces unmet demand by 12--33\,\% and idle allocation by 21--23\,\%. The results demonstrate reproducible cross-granularity control-intent interactions on real hardware and provide an experimental basis for analysing conflict detection in O-RAN.

cs.NI↗
arXiv2026

When Simple Is Enough: Resource-Aware Heuristic versus DDQN for O-RAN Mobility Robustness

Open Radio Access Network (O-RAN) enables mobility-management xApps, but a learned controller is not necessarily the most effective or efficient handover policy. This paper compares standard Event A3, a resource- and mobility-aware heuristic, and a Double Deep Q-Network (DDQN) through a common xApp-oriented interface and paired system-level simulation. The heuristic combines radio quality, target-cell resources, UE mobility, and service class, with weights optimized offline using NSGA-II, while DDQN-Multi uses temporal radio and resource observations. All controllers are evaluated on identical UE trajectories, traffic assignments, and ray-traced radio inputs under Base, High-Mobility, and High-UE scenarios. Performance is assessed using service, handover, resource, energy, and fairness KPIs, complemented by CRITIC--TOPSIS ranking and complexity analysis. Results show that the heuristic achieves the lowest outage in all three scenarios and ranks first in the CRITIC--TOPSIS comparison, while retaining linear online complexity and interpretable decisions. DDQN-Multi improves target feasibility under congestion but requires offline training and produces more handovers and ping-pong events. The results indicate that lightweight resource-aware control can provide a favourable performance-complexity trade-off relative to DDQN under the considered scenarios.

cs.NI↗
arXiv2026

Quantum-Classical Link Prediction on Dark Web Hyperlink Graphs

We analyze HTML content and hyperlinks from an offline Tor crawl containing 383 onion hosts and 2,067 directed cross-host links. The study combines semantic analysis with degree-controlled quantum--classical link prediction. Two directory groups emit 94.8\% of the observed host links. Directed preferential attachment reaches ROC-AUC 0.976 with random non-edges, but falls to $0.550\pm0.014$ under source-conditioned target-degree matching. With disjoint training and test pairs, multimodal logistic regression reaches $0.672\pm0.021$, GAE $0.899\pm0.016$, and VGAE $0.906\pm0.016$. A four-qubit variational quantum classifier (VQC) comparison tests two encodings across 20 disjoint-pair graph splits under exact and 1,024-shot simulation, with classical controls using the same inputs and training examples. Its best exact mean ROC-AUC is $0.549\pm0.023$, compared with $0.551\pm0.016$ for RBF SVC and $0.573\pm0.029$ for a 16-parameter MLP on the same inputs and training examples. These results support predictive signal in combined graph/content features and show why degree control, feature compression, and optimization conditions matter in quantum--classical comparisons.

cs.NI↗