P4

Pat Bosshart, Dan Daly, Glen Gibb, +8

ACM SIGCOMM Computer Communication Review

Strawman ProposalEngineeringSoftware-defined NetworkingSdn ControlComputer Engineering +7

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford, +2

EngineeringNetwork OperationVerificationNetwork AnalysisSoftware Analysis +16

NetKAT

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

EngineeringNetwork HardwareComputer ArchitectureSoftware EngineeringSemantic Web +14

Languages for software-defined networks

Nate Foster, Arjun Guha, Mark Reitblatt, +9

IEEE Communications Magazine

EngineeringComputer ArchitectureNetwork AnalysisSoftware EngineeringOpenflow Protocol +16

Splendid isolation

Stephen Gutz, A. S. Story, Cole Schlesinger, +1

Hardware SecurityIsolated SlicesNetwork VirtualizationProgram SlicingEngineering +12

p4v

Jed Liu, William T. Hallahan, Cole Schlesinger, +7

EngineeringVerificationComputer ArchitectureComputer-aided VerificationFormal Verification +15

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford, +2

ACM SIGCOMM Computer Communication Review

EngineeringNetwork OperationVerificationNetwork AnalysisSoftware Analysis +16

Verifying higher-order programs with the dijkstra monad

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, +2

Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningNew Monad +13

NetKAT

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

ACM SIGPLAN Notices

Programming Language TheoryDeclarative ProgrammingEngineeringSolid Mathematical FoundationProgram Analysis +12

Transparent, Live Migration of a Software-Defined Network

Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, +4

Ensemble MigrationEngineeringSoftware-defined NetworkingCloud ComputingVirtualized Infrastructure +12