The languages used to program networks today lack modern features. Programming them is a complicated and error-prone task, and outages and infiltrations are frequent. We believe it is time to develop network programming languages with the following essential features:

The Frenetic Family of Languages

Addresses these challenges in the context of Software Defined Networks. Languages within the Frenetic family provide a domain specific sub-language for specifying dataplane packet processing in terms of packet functions and combinators inside of a general purpose programming language - thereby realizing many of the features listed above.

Two languages in the Frenetic family are currently under active development

whose development are centered at Cornell and Princeton respectively. Both handle many low-level packet-processing details and keep traffic in the "fast path" (i.e., dataplane) whenever possible.

Additional Projects

Developed to support or extend Frenetic include: