1. Gilberto Bertin. 2017. XDP in practice: integrating XDP into our DDoS mitigation pipeline. In NETDEV 2.1. Gilberto Bertin. 2017. XDP in practice: integrating XDP into our DDoS mitigation pipeline. In NETDEV 2.1.
2. Memory models in symbolic execution: key ideas and new thoughts
3. Forwarding metamorphosis
4. Mihai Budiu and William Tu. 2020. Backend for the P4 compiler targeting XDP. https://github.com/vmware/p4c-xdp. Mihai Budiu and William Tu. 2020. Backend for the P4 compiler targeting XDP. https://github.com/vmware/p4c-xdp.