arXiv (All)
open access
Peregrine: A Language-Agnostic Packet Processing Intermediate Representation with Formal Guarantees
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 deve
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Peregrine: A Language-Agnostic Packet Processing Intermediate Representation with Formal Guarantees#1442315
- On the Expressiveness of Asynchronous Processes with Nested Session Types#1447925
- On the Expressiveness of Asynchronous Processes with Nested Session Types#1442326
- Telecommunications and Internet Services: The digital side of the TTIP. Paper No. 8 in the CEPS-CTR project ‘TTIP in the Balance’ and CEPS Special Report No. 112/July, 17 July 2015#271058
- PCE-Based Traffic Engineering (TE) in Native IP Networks#502417
Record · ID 1448155
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive