Cornell
Princeton
Cornell
Princeton
Princeton
Cornell
Cornell
Princeton
Frenetic is a domain-specific programming language for software-defined networks. Distinguishing features of the language include support for modular composition operators and a careful treatment of routing and monitoring.
iSDX (Software-Defined IXP) brings the features of SDN to interdomain routing, offering direct control over packet-processing rules that match on multiple header fields and perform a variety of actions. IXPs are a compelling place to deploy these changes, given their role in interconnecting many networks and their growing importance in bringing popular content closer to end users.
Minesweeper is a proactive network analysis and bug-finding tool. Given a set of network configurations, it automatically performs "what-if" analyses under a range of scenarios, including failures.
NetKAT is a network programming language based on a solid mathematical foundation: Kleene Algebra with Tests (KAT). The language has a sound and complete deductive reasoning system and a decision procedure that can be used to address many practical verification problems. Probabilistic NetKAT adds new constructs for modeling randomized algorithms as well as uncertainy about traffic, failures, etc.
This workshop will bring together leading researchers and industrial practitioners from the theory and networking communities to discuss recent successes and future challenges related to routing.
NPI retreats bring together faculty, PhD students, postdocs, and industry partners for a full day of presentations, panel discussions, and working groups on problems related to network programming. We typically hold the retreat in New York City at the Cornell Tech campus on Roosevelt Island. Participation is by invitation only. Please contact the co-directors for more information if you would like to attend.
The NPI hangouts-on-air seminar series highlights recent research results related to network programming. Participation is open to all.
