Linear Types for Packet Processing
Abstract elided by the publisher.
Related papers
- Automatic multithreading and multiprocessing of C programs for IXP PPoPP 2005
- Work Packets: A New Abstraction for GC Software Engineering, Optimization, and Innovation OOPSLA 2025
- Automatically partitioning packet processing applications for pipelined architectures PLDI 2005
- Safe, modular packet pipeline programming POPL 2022
- HOL4P4: Mechanized Small-Step Semantics for P4 OOPSLA 2024
- Shangri-La: achieving high performance from compiled network applications while enabling ease of programming PLDI 2005
- Concurrent NetCore: from policies to pipelines ICFP 2014
- Exploiting task-level concurrency in a programmable network interface PPoPP 2003