Skip to content
conftrace_

NSDI 2017

46 papers

Delta-net: Real-time Network Verification Using Atoms

Alex Horn, Ali Kheradmand, Mukul Prasad

Automated Bug Removal for Software-Defined Networks

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

Verifying Reachability in Networks with Mutable Datapaths

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

Correct by Construction Networks Using Stepwise Refinement

Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger

Tux²: Distributed Graph Computation for Machine Learning

Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen

Efficient Memory Disaggregation with Infiniswap

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

Gaia: Geo-Distributed Machine Learning Approaching LAN Speeds

Kevin Hsieh, Aaron Harlap, Nandita Vijaykumar, Dimitris Konomis, Gregory R. Ganger

Clipper: A Low-Latency Online Prediction Serving System

Daniel Crankshaw, Xin Wang, Guilio Zhou, Michael J. Franklin, Joseph E. Gonzalez

Passive Realtime Datacenter Fault Detection and Localization

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

Enabling Wide-Spread Communications on Optical Fabric with MegaSwitch

Li Chen, Kai Chen, Zhonghua Zhu, Minlan Yu, George Porter

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

Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Xuan Kelvin Zou

Improving User Perceived Page Load Times Using Gaze

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

Enabling High-Quality Untethered Virtual Reality

Omid Abari, Dinesh Bharadia, Austin Duffield, Dina Katabi

FarmBeats: An IoT Platform for Data-Driven Agriculture

Deepak Vasisht, Zerina Kapetanovic, Jongho Won, Xinxin Jin, Ranveer Chandra

Bringing IoT to Sports Analytics

Mahanth Gowda, Ashutosh Dhekne, Sheng Shen, Romit Roy Choudhury, Xue Yang

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

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

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

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

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

Flexplane: An Experimentation Platform for Resource Management in Datacenters

Amy Ousterhout, Jonathan Perry, Hari Balakrishnan, Petr Lapukhov

Flowtune: Flowlet Control for Datacenter Networks

Jonathan Perry, Hari Balakrishnan, Devavrat Shah

Let It Flow: Resilient Asymmetric Load Balancing with Flowlet Switching

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

Live Video Analytics at Scale with Approximation and Delay-Tolerance

Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodik, Matthai Philipose, Paramvir Bahl

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

Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Vasuki Balasubramaniam, William Zeng

SCL: Simplifying Distributed SDN Control Planes

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

Splinter: Practical Private Queries on Public Data

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

Opaque: An Oblivious and Encrypted Distributed Analytics Platform

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

FM Backscatter: Enabling Connected Cities and Smart Fabrics

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

Skip-Correlation for Multi-Power Wireless Carrier Sensing

Romil Bhardwaj, Krishna Chintalapudi, Ramachandran Ramjee

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

Christopher Husmann, Georgios Georgis, Konstantinos Nikitopoulos, Kyle Jamieson

A System to Verify Network Behavior of Known Cryptographic Clients

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

ViewMap: Sharing Private In-Vehicle Dashcam Videos

Minho Kim, Jaemin Lim, Hyunwoo Yu, Kiyeon Kim, Younghoon Kim

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

Seongmin Kim, Juhyeng Han, Jaehyeong Ha, Taesoo Kim, Dongsu Han

mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes

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

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

Murad Kablan, Azzam Alsudais, Eric Keller, Franck Le

APUNet: Revitalizing GPU as Packet Processing Accelerator

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

Evaluating the Power of Flexible Packet Processing for Network Resource Allocation

Naveen Kr. Sharma, Antoine Kaufmann, Thomas Anderson, Changhoon Kim, Arvind Krishnamurthy

Curator: Self-Managing Storage for Enterprise Clusters

Ignacio Cano, Srinivas Aiyar, Varun Arora, Manosiz Bhattacharyya, Akhilesh Chaganti

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

Michael Wei, Amy Tai, Christopher J. Rossbach, Ittai Abraham, Maithem Munshed

Decibel: Isolation and Sharing in Disaggregated Rack-Scale Storage

Mihir Nanavati, Jake Wires, Andrew Warfield