Introduction
This short paper introduces Nerpa, a new methodology for building programmable networks.
Abstract
We introduce Nerpa, a new methodology for building programmable networks. Nerpa automates many aspects of the process of programming the network stack. To aid correctness, it ensures type
safety across the management, control, and data planes. To improve scalability, an incremental control plane recomputes state in response to network configuration changes. We have published an
implementation and examples.