A compiler and run-time system for network programming languages
A clean slate 4D approach to network control and management