USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

VFP: A Virtual Switch Platform for Host SDN in the Public Cloud

Daniel Firestone

VFP: A Virtual Switch Platform for Host SDN in the Public Cloud

Details
Discussion Comments: 0
Verification: Author has not verified information

Automated Bug Removal for Software-Defined Networks

Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Automated Bug Removal for Software-Defined Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Stateless Network Functions: Breaking the Tight Coupling of State and Processing

Murad Kablan, Azzam Alsudais, Eric Keller, Franck Le

Stateless Network Functions: Breaking the Tight Coupling of State and Processing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Flexplane: An Experimentation Platform for Resource Management in Datacenters

Amy Ousterhout, Jonathan Perry, Hari Balakrishnan, Petr Lapukhov

Flexplane: An Experimentation Platform for Resource Management in Datacenters

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks

Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Xuan Kelvin Zou, Hang Guan, Arvind Krishnamurthy, Thomas E. Anderson

RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades

Syed Akbar Mehdi, Cody Littley, Natacha Crooks, Lorenzo Alvisi, Nathan Bronson, Wyatt Lloyd

I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades

Details
Discussion Comments: 0
Verification: Authors have not verified information

Bringing IoT to Sports Analytics

Mahanth Gowda, Ashutosh Dhekne, Sheng Shen, Romit Roy Choudhury, Lei Yang, Suresh Golwalkar, Alexander Essanian

Bringing IoT to Sports Analytics

Details
Discussion Comments: 0
Verification: Authors have not verified information

Correct by Construction Networks Using Stepwise Refinement

Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese

Correct by Construction Networks Using Stepwise Refinement

Details
Discussion Comments: 0
Verification: Authors have not verified information

Passive Realtime Datacenter Fault Detection and Localization

Arjun Roy, Hongyi Zeng, Jasmeet Bagga, Alex C. Snoeren

Passive Realtime Datacenter Fault Detection and Localization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Decibel: Isolation and Sharing in Disaggregated Rack-Scale Storage

Mihir Nanavati, Jake Wires, Andrew Warfield

Decibel: Isolation and Sharing in Disaggregated Rack-Scale Storage

Details
Discussion Comments: 0
Verification: Authors have not verified information

Delta-net: Real-time Network Verification Using Atoms

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Delta-net: Real-time Network Verification Using Atoms

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

AdaptSize: Orchestrating the Hot Object Memory Cache in a Content Delivery Network

Daniel S. Berger, Ramesh K. Sitaraman, Mor Harchol-Balter

AdaptSize: Orchestrating the Hot Object Memory Cache in a Content Delivery Network

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Curator: Self-Managing Storage for Enterprise Clusters

Ignacio Cano, Srinivas Aiyar, Varun Arora, Manosiz Bhattacharyya, Akhilesh Chaganti, Chern Cheah, Brent N. Chun, Karan Gupta, Vinayak Khot, Arvind Krishnamurthy

Curator: Self-Managing Storage for Enterprise Clusters

Details
Discussion Comments: 0
Verification: Authors have not verified information

SCL: Simplifying Distributed SDN Control Planes

Aurojit Panda, Wenting Zheng, Xiaohe Hu, Arvind Krishnamurthy, Scott Shenker

SCL: Simplifying Distributed SDN Control Planes

Details
Discussion Comments: 0
Verification: Authors have not verified information

Skip-Correlation for Multi-Power Wireless Carrier Sensing

Romil Bhardwaj, Krishna Chintalapudi, Ramachandran Ramjee

Skip-Correlation for Multi-Power Wireless Carrier Sensing

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Design, Implementation, and Deployment of a System to Transparently Compress Hundreds of Petabytes of Image Files for a File-Storage Service

Daniel Reiter Horn, Ken Elkabany, Chris Lesniewski-Laas, Keith Winstein

The Design, Implementation, and Deployment of a System to Transparently Compress Hundreds of Petabytes of Image Files for a File-Storage Service

Details
Discussion Comments: 0
Verification: Authors have not verified information

Splinter: Practical Private Queries on Public Data

Frank Wang, Catherine Yun, Shafi Goldwasser, Vinod Vaikuntanathan, Matei Zaharia

Splinter: Practical Private Queries on Public Data

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

One Key to Sign Them All Considered Vulnerable: Evaluation of DNSSEC in the Internet

Haya Shulman, Michael Waidner

One Key to Sign Them All Considered Vulnerable: Evaluation of DNSSEC in the Internet

Details
Discussion Comments: 0
Verification: Authors have not verified information

Evaluating the Power of Flexible Packet Processing for Network Resource Allocation

Naveen Kr. Sharma, Antoine Kaufmann, Thomas E. Anderson, Arvind Krishnamurthy, Jacob Nelson, Simon Peter

Evaluating the Power of Flexible Packet Processing for Network Resource Allocation

Details
Discussion Comments: 0
Verification: Authors have not verified information

APUNet: Revitalizing GPU as Packet Processing Accelerator

Younghwan Go, Muhammad Asim Jamshed, YoungGyoun Moon, Changho Hwang, KyoungSoo Park

APUNet: Revitalizing GPU as Packet Processing Accelerator

Details
Discussion Comments: 0
Verification: Authors have not verified information

Improving User Perceived Page Load Times Using Gaze

Conor Kelton, Jihoon Ryoo, Aruna Balasubramanian, Samir R. Das

Improving User Perceived Page Load Times Using Gaze

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verifying Reachability in Networks with Mutable Datapaths

Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker

Verifying Reachability in Networks with Mutable Datapaths

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient Memory Disaggregation with Infiniswap

Juncheng Gu, Youngmoon Lee, Yiwen Zhang, Mosharaf Chowdhury, Kang G. Shin

Efficient Memory Disaggregation with Infiniswap

Details
Author Comments: Infiniswap is a remote memory paging system designed specifically for low-latency and kernel-bypass networks.It opportunistically harvests and transparently exposes unused memory to unmodified applications by dividing the swap space of each machine into many slabs and distributing them across many machines' remote memory. Because one-sided RDMA operations bypass remote CPUs, Infiniswap leverages the power of many choices to perform decentralized slab placements and evictions.
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Tux2: Distributed Graph Computation for Machine Learning

Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou

Tux2: Distributed Graph Computation for Machine Learning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Let It Flow: Resilient Asymmetric Load Balancing with Flowlet Switching

Erico Vanini, Rong Pan, Mohammad Alizadeh, Parvin Taheri, Tom Edsall

Let It Flow: Resilient Asymmetric Load Balancing with Flowlet Switching

Details
Discussion Comments: 0
Verification: Authors have not verified information

mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes

Muhammad Asim Jamshed, YoungGyoun Moon, Donghwi Kim, Dongsu Han, KyoungSoo Park

mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes

Details
Discussion Comments: 0
Verification: Authors have not verified information

vCorfu: A Cloud-Scale Object Store on a Shared Log

Michael Wei, Amy Tai, Christopher J. Rossbach, Ittai Abraham, Maithem Munshed, Medhavi Dhawan, Jim Stabile, Udi Wieder, Scott Fritchie, Steven Swanson, Michael J. Freedman, Dahlia Malkhi

vCorfu: A Cloud-Scale Object Store on a Shared Log

Details
Discussion Comments: 0
Verification: Authors have not verified information

Prio: Private, Robust, and Scalable Computation of Aggregate Statistics

Henry Corrigan-Gibbs, Dan Boneh

Prio: Private, Robust, and Scalable Computation of Aggregate Statistics

Details
Discussion Comments: 0
Verification: Authors have not verified information

Enabling Wide-Spread Communications on Optical Fabric with MegaSwitch

Li Chen, Kai Chen, Zhonghua Zhu, Minlan Yu, George Porter, Chunming Qiao, Shan Zhong

Enabling Wide-Spread Communications on Optical Fabric with MegaSwitch

Details
Discussion Comments: 0
Verification: Authors have not verified information

Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads

Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, Keith Winstein

Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Robust Validation of Network Designs under Uncertain Demands and Failures

Yiyang Chang, Sanjay G. Rao, Mohit Tawarmalani

Robust Validation of Network Designs under Uncertain Demands and Failures

Details
Discussion Comments: 0
Verification: Authors have not verified information

Pytheas: Enabling Data-Driven Quality of Experience Optimization Using Group-Based Exploration-Exploitation

Junchen Jiang, Shijie Sun, Vyas Sekar, Hui Zhang

Pytheas: Enabling Data-Driven Quality of Experience Optimization Using Group-Based Exploration-Exploitation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Opaque: An Oblivious and Encrypted Distributed Analytics Platform

Wenting Zheng, Ankur Dave, Jethro G. Beekman, Raluca Ada Popa, Joseph E. Gonzalez, Ion Stoica

Opaque: An Oblivious and Encrypted Distributed Analytics Platform

Details
Discussion Comments: 0
Verification: Authors have not verified information

FM Backscatter: Enabling Connected Cities and Smart Fabrics

Anran Wang, Vikram Iyer, Vamsi Talla, Joshua R. Smith, Shyamnath Gollakota

FM Backscatter: Enabling Connected Cities and Smart Fabrics

Details
Discussion Comments: 0
Verification: Authors have not verified information

FarmBeats: An IoT Platform for Data-Driven Agriculture

Deepak Vasisht, Zerina Kapetanovic, Jongho Won, Xinxin Jin, Ranveer Chandra, Sudipta N. Sinha, Ashish Kapoor, Madhusudhan Sudarshan, Sean Stratman

FarmBeats: An IoT Platform for Data-Driven Agriculture

Details
Discussion Comments: 0
Verification: Authors have not verified information

A System to Verify Network Behavior of Known Cryptographic Clients

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

A System to Verify Network Behavior of Known Cryptographic Clients

Details
Discussion Comments: 0
Verification: Authors have not verified information

Live Video Analytics at Scale with Approximation and Delay-Tolerance

Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodík, Matthai Philipose, Paramvir Bahl, Michael J. Freedman

Live Video Analytics at Scale with Approximation and Delay-Tolerance

Details
Discussion Comments: 0
Verification: Authors have not verified information

Flowtune: Flowlet Control for Datacenter Networks

Jonathan Perry, Hari Balakrishnan, Devavrat Shah

Flowtune: Flowlet Control for Datacenter Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

ViewMap: Sharing Private In-Vehicle Dashcam Videos

Minho Kim, Jaemin Lim, Hyunwoo Yu, Kiyeon Kim, Younghoon Kim, Suk-Bok Lee

ViewMap: Sharing Private In-Vehicle Dashcam Videos

Details
Discussion Comments: 0
Verification: Authors have not verified information

FlexCore: Massively Parallel and Flexible Processing for Large MIMO Access Points

Christopher Husmann, Georgios Georgis, Konstantinos Nikitopoulos, Kyle Jamieson

FlexCore: Massively Parallel and Flexible Processing for Large MIMO Access Points

Details
Discussion Comments: 0
Verification: Authors have not verified information

CherryPick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics

Omid Alipourfard, Hongqiang Harry Liu, Jianshu Chen, Shivaram Venkataraman, Minlan Yu, Ming Zhang

CherryPick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics

Details
Discussion Comments: 0
Verification: Authors have not verified information

Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments

Seong Min Kim, Juhyeng Han, Jaehyeong Ha, Taesoo Kim, Dongsu Han

Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments

Details
Discussion Comments: 0
Verification: Authors have not verified information

Gaia: Geo-Distributed Machine Learning Approaching LAN Speeds

Kevin Hsieh, Aaron Harlap, Nandita Vijaykumar, Dimitris Konomis, Gregory R. Ganger, Phillip B. Gibbons, Onur Mutlu

Gaia: Geo-Distributed Machine Learning Approaching LAN Speeds

Details
Discussion Comments: 0
Verification: Authors have not verified information

Enabling High-Quality Untethered Virtual Reality

Omid Abari, Dinesh Bharadia, Austin Duffield, Dina Katabi

Enabling High-Quality Untethered Virtual Reality

Details
Discussion Comments: 0
Verification: Authors have not verified information

Clipper: A Low-Latency Online Prediction Serving System

Daniel Crankshaw, Xin Wang, Giulio Zhou, Michael J. Franklin, Joseph E. Gonzalez, Ion Stoica

Clipper: A Low-Latency Online Prediction Serving System

Details
Discussion Comments: 0
Verification: Authors have not verified information

Facilitating Robust 60 GHz Network Deployment By Sensing Ambient Reflectors

Teng Wei, Anfu Zhou, Xinyu Zhang

Facilitating Robust 60 GHz Network Deployment By Sensing Ambient Reflectors

Details
Discussion Comments: 0
Verification: Authors have not verified information