TY  - RPRT
TI  - Peregrine: A Language-Agnostic Packet Processing Intermediate Representation with Formal Guarantees
AU  - Sean Rhee
AU  - Xiangyu Gao
AU  - Srinivas Narayana
AU  - Nate Foster
AU  - Joseph Tassarotti
AU  - Anirudh Sivaraman
PY  - 2026
UR  - https://arxiv.org/abs/2610.32639
ID  - 2610.32639
ER  -