Frenetic

Nate Foster, Rob Harrison, Michael J. Freedman, +4

ACM SIGPLAN Notices

EngineeringSoftware-defined NetworkingProgram AnalysisAccess ControlFormal Methods +13

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford, +2

EngineeringNetwork OperationVerificationNetwork AnalysisSoftware Analysis +16

NetCache

Xin Jin, Xiaozhou Li, Haoyu Zhang, +5

Hardware SecurityCluster ComputingWeb CacheEngineeringEdge Computing +12

Composing software-defined networks

Christopher Monsanto, Joshua Reich, Nate Foster, +2

NetKAT

Carolyn Jane Anderson, Nate Foster, Arjun Guha, +4

EngineeringNetwork HardwareComputer ArchitectureSoftware EngineeringSemantic Web +14

Frenetic

Nate Foster, Rob Harrison, Michael J. Freedman, +4

Network DesignNetwork ScienceEngineeringNetwork OperationProgram Analysis +12

Semi-Oblivious Traffic Engineering: The Road Not Taken.

Praveen Kumar, Yuan Yang, Chris Yu, +5

Networked Systems Design and Implementation

Intelligent Traffic ManagementEngineeringData PrivacySemi-oblivious Traffic EngineeringComputer Science +3

A compiler and run-time system for network programming languages

Christopher Monsanto, Nate Foster, Rob Harrison, +1

ACM SIGPLAN Notices

EngineeringCompiler TechnologyComputer ArchitectureSoftware AnalysisFormal Verification +20

FatTire

Mark Reitblatt, Marco Canini, Arjun Guha, +1

Cluster ComputingEngineeringFattire ProgramsComputer ArchitectureFault Tolerance +14

Languages for software-defined networks

Nate Foster, Arjun Guha, Mark Reitblatt, +9

IEEE Communications Magazine

EngineeringComputer ArchitectureNetwork AnalysisSoftware EngineeringOpenflow Protocol +16