Media Summary: A General Approach to Network Configuration PCC: Re-architecting Congestion Control for Consistent High Performance Mo Dong and Qingxi Li, University of Illinois at ... Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, Jialin Li, Vincent Liu, ...

Nsdi 15 Analyzing Protocol Implementations - Detailed Analysis & Overview

A General Approach to Network Configuration PCC: Re-architecting Congestion Control for Consistent High Performance Mo Dong and Qingxi Li, University of Illinois at ... Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, Jialin Li, Vincent Liu, ... Information-Agnostic Flow Scheduling for Commodity Data Centers Wei Bai, Li Chen, and Kai Chen, The Hong Kong University of ... Explicit Path Control in Commodity Data Centers: Design and Applications Shuihai Hu and Kai Chen, The Hong Kong University ... Queues Don't Matter When You Can JUMP Them! Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, ...

Kinetic: Verifiable Dynamic Network Control Hyojoon Kim, Georgia Institute of Technology; Joshua Reich, AT&T Labs–Research; ... Checking Beliefs in Dynamic Networks Nuno P. Lopes, Nikolaj Bjørner, and Patrice Godefroid, Microsoft Research; Karthick ... Enforcing Customizable Consistency Properties in Software-Defined Networks Wenxuan Zhou, University of Illinois at ... A System to Verify Network Behavior of Known Cryptographic Clients Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K.

Photo Gallery

NSDI '15 - Analyzing Protocol Implementations for Interoperability
NSDI '15 - A General Approach to Network Configuration Analysis
NSDI '15 - PCC: Re-architecting Congestion Control for Consistent High Performance
NSDI '15 - Designing Distributed Systems Using Approximate Synchrony in Data Center Networks
NSDI '15 - Information-Agnostic Flow Scheduling for Commodity Data Centers
NSDI '15 - Explicit Path Control in Commodity Data Centers: Design and Applications
NSDI '15 - Queues Don’t Matter When You Can JUMP Them!
NSDI '15 - Kinetic: Verifiable Dynamic Network Control
NSDI '15 - Checking Beliefs in Dynamic Networks
NSDI '15 - Enforcing Customizable Consistency Properties in Software-Defined Networks
NSDI '17 - A System to Verify Network Behavior of Known Cryptographic Clients
NSDI '24 - Towards provably performant congestion control
View Detailed Profile
NSDI '15 - Analyzing Protocol Implementations for Interoperability

NSDI '15 - Analyzing Protocol Implementations for Interoperability

Analyzing Protocol Implementations

NSDI '15 - A General Approach to Network Configuration Analysis

NSDI '15 - A General Approach to Network Configuration Analysis

A General Approach to Network Configuration

NSDI '15 - PCC: Re-architecting Congestion Control for Consistent High Performance

NSDI '15 - PCC: Re-architecting Congestion Control for Consistent High Performance

PCC: Re-architecting Congestion Control for Consistent High Performance Mo Dong and Qingxi Li, University of Illinois at ...

NSDI '15 - Designing Distributed Systems Using Approximate Synchrony in Data Center Networks

NSDI '15 - Designing Distributed Systems Using Approximate Synchrony in Data Center Networks

Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, Jialin Li, Vincent Liu, ...

NSDI '15 - Information-Agnostic Flow Scheduling for Commodity Data Centers

NSDI '15 - Information-Agnostic Flow Scheduling for Commodity Data Centers

Information-Agnostic Flow Scheduling for Commodity Data Centers Wei Bai, Li Chen, and Kai Chen, The Hong Kong University of ...

NSDI '15 - Explicit Path Control in Commodity Data Centers: Design and Applications

NSDI '15 - Explicit Path Control in Commodity Data Centers: Design and Applications

Explicit Path Control in Commodity Data Centers: Design and Applications Shuihai Hu and Kai Chen, The Hong Kong University ...

NSDI '15 - Queues Don’t Matter When You Can JUMP Them!

NSDI '15 - Queues Don’t Matter When You Can JUMP Them!

Queues Don't Matter When You Can JUMP Them! Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, ...

NSDI '15 - Kinetic: Verifiable Dynamic Network Control

NSDI '15 - Kinetic: Verifiable Dynamic Network Control

Kinetic: Verifiable Dynamic Network Control Hyojoon Kim, Georgia Institute of Technology; Joshua Reich, AT&T Labs–Research; ...

NSDI '15 - Checking Beliefs in Dynamic Networks

NSDI '15 - Checking Beliefs in Dynamic Networks

Checking Beliefs in Dynamic Networks Nuno P. Lopes, Nikolaj Bjørner, and Patrice Godefroid, Microsoft Research; Karthick ...

NSDI '15 - Enforcing Customizable Consistency Properties in Software-Defined Networks

NSDI '15 - Enforcing Customizable Consistency Properties in Software-Defined Networks

Enforcing Customizable Consistency Properties in Software-Defined Networks Wenxuan Zhou, University of Illinois at ...

NSDI '17 - A System to Verify Network Behavior of Known Cryptographic Clients

NSDI '17 - A System to Verify Network Behavior of Known Cryptographic Clients

A System to Verify Network Behavior of Known Cryptographic Clients Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K.

NSDI '24 - Towards provably performant congestion control

NSDI '24 - Towards provably performant congestion control

NSDI

NSDI '22 - Dynamic Scheduling of Approximate Telemetry Queries

NSDI '22 - Dynamic Scheduling of Approximate Telemetry Queries

NSDI