StreamNF: Performance and Correctness for Stateful Chained NFs
E2: a framework for NFV applications