NSDI 2020
| title | author | length |
|---|---|---|
| Preview Session | Brent E. Stephens, Prateesh Goyal, Amy Ousterhout, Behnaz Arzani, Robert Beverly, Raluca Ada Popa | 01h 24m |
Preview session summarizes concrete claims and tools across NSDI: RDMA vs kernel‑bypass shows one‑sided RDMA accesses can skip remote CPU but require NIC… | ||
| Expanding across time to deliver bandwidth efficiency and low latency | William M. Mellette, Rajdeep Das, Yibo Guo, Rob McGuinness, Alex C. Snoeren, George Porter | 22m |
Opera is a reconfigurable datacenter network that steps through precomputed matchings on circuit switches so the instant topology is an expander while, over… | ||
| Re architecting Congestion Management in Lossless Ethernet | Wenxue Cheng, Kun Qian, Wanchun Jiang, Tong Zhang, Fengyuan Ren | 17m |
Claims that existing lossless Ethernet congestion control fails because congestion detection and rate adjustment are ineffective and replaces them with… | ||
| Measuring Congestion in High Performance Datacenter Interconnects | Saurabh Jha, Archit Patke, Jim Brandt, Ann Gentile, Benjamin Lim, Mike Showerman, Greg Bauer, Larry Kaplan, Zbigniew T. Kalbarczyk, William Kramer, Ravi Iyer | 18m |
Describes a deployable tool Monet that detects credit based congestion on a 3D torus (Blue Waters) using a percent time stalled counter aggregated into spatial… | ||
| SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues | Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever | 23m |
Approximation of PIFO behavior uses a mapping that adapts packet rank→priority-queue thresholds at packet time and runs on real switches via a P4… | ||
| AccelTCP: Accelerating Network Applications with Stateful TCP Offloading | YoungGyoun Moon, SeungEon Lee, Muhammad Asim Jamshed, KyoungSoo Park | 21m |
Hardware-assisted design that runs TCP protocol logic on programmable NICs and keeps a minimal host stack, offloading connection setup/teardown and running… | ||
| Enabling Programmable Transport Protocols in High Speed NICs | Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff | 19m |
Paper presents Tonic, a hardware template and API that implements transport logic (segment selection and credit management) constrained to a few kilobits per… | ||
| FileMR: Rethinking RDMA Networking for Scalable Persistent Memory | Jian Yang, Joseph Izraelevitz, Steven Swanson | 18m |
Combines a new RDMA abstraction, FileMR, with range-based translation and an append verb so RDMA addresses files by offset instead of virtual pages; implements… | ||
| TCP ≈ RDMA: CPU efficient Remote Storage Access with i10 | Jaehyun Hwang, Qizhe Cai, Ao Tang, Rachit Agarwal | 21m |
i10 is a kernel-only implementation of a remote storage stack that runs on commodity NICs and lets unmodified applications use the kernel TCP/IP path while… | ||
| NetTLP: A Development Platform for PCIe devices in Software Interacting with Hardware | Yohei Kuga, Ryo Nakamura, Takeshi Matsuya, Yuji Sekiya | 20m |
NetTLP is a concrete development platform that lets software implement, exercise and debug PCIe devices by exposing packet and memory interfaces to userland on… | ||
| Near Optimal Latency Versus Cost Tradeoffs in Geo Distributed Storage | Muhammed Uluyol, Anthony Huang, Ayush Goel, Mosharaf Chowdhury, Harsha V. Madhyastha | 17m |
Paper claims a concrete system-level win: by allowing erasure coding and reworking Paxos-style quorums the design called Pando cuts write latency from 120 ms… | ||
| NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification | Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar | 20m |
NetSMC is a custom symbolic model checker that encodes stateful NFs using an existential first-order encoding and analyzes a one-packet-at-a-time model that… | ||
| Tiramisu: Fast Multilayer Network Verification | Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella | 19m |
Tiramisu: Fast Multilayer Network Verification
Anubhavnidhi Abhashkumar, University of Wisconsin - Madison; Aaron Gember-Jacobson, Colgate University; Aditya… | ||
| Automated Verification of Customizable Middlebox Properties with Gravel | Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang | 21m |
Builds Gravel, a framework that extracts SMT formulas via symbolic execution from unmodified Click elements and verifies element- and system-level properties… | ||
| APKeep: Realtime Verification for Real Networks | Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li | 18m |
APKeep claims real-time verification of real networks by building an expressive modular device model that composes forwarding, ACL, NAT and policy elements… | ||
| Liveness Verification of Stateful Network Functions | Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella | 18m |
Provides a one-big-switch abstraction that programs stateful firewalls, IDS and UDP-flood mitigators, compiles those programs to P4, and verifies liveness by… | ||
| Sol: Fast Distributed Computation Over Slow Networks | Fan Lai, Jie You, Xiangfeng Zhu, Harsha V. Madhyastha, Mosharaf Chowdhury | 19m |
Sol is a federated execution engine that pushes tasks to site managers to hide hundreds-of-milliseconds control latency and decouples communication from… | ||
| Themis: Fair and Efficient GPU Cluster Scheduling | Kshiteej Mahajan, Arjun Balasubramanian, Arjun Singhvi, Shivaram Venkataraman, Aditya Akella, Amar Phanishayee, Shuchi Chawla | 22m |
Proposes a new finish-time fairness (Rho) metric and a two-step allocator: filter top (1−f) apps then run a partial-allocation auction that computes a… | ||
| Fine Grained Replicated State Machines for a Cluster Storage System | Ming Liu, Arvind Krishnamurthy, Harsha V. Madhyastha, Rishi Bhardwaj, Karan Gupta, Chinmay Kamat, Huapeng Yuan, Aditya Jaltade, Roger Liao, Pavan Konka, Anoop Jawahar | 20m |
Design treats every key-value pair as a separate replicated state machine and co-designs a Paxos-style consensus with an LSM-based store to drop per-key log… | ||
| Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log | Cong Ding, David Chu, Evan Zhao, Xiang Li, Lorenzo Alvisi, Robbert van Renesse | 19m |
Scalog implements a shared log as per-shard local ordering plus an aggregator-based ordering layer that builds a global cut vector and uses a deterministic… | ||
| Frequency Configuration for Low Power Wide Area Networks in a Heartbeat | Akshay Gadre, Revathy Narayanan, Anh Luong, Anthony Rowe, Bob Iannucci, Swarun Kumar | 17m |
Chime is a system that picks an optimal LP‑WAN operating frequency after a client sends one packet by analyzing that packet’s channels across many base… | ||
| ABC: A Simple Explicit Congestion Controller for Wireless Networks | Prateesh Goyal, Anup Agarwal, Ravi Netravali, Mohammad Alizadeh, Hari Balakrishnan | 22m |
ABC: A Simple Explicit Congestion Controller for Wireless Networks
Prateesh Goyal, MIT CSAIL; Anup Agarwal, CMU; Ravi Netravali, UCLA; Mohammad Alizadeh and… | ||
| AmphiLight: Direct Air Water Communication with Laser Light | Charles J. Carver, Tian Zhao, Hongyong Zhang, Kofi M. Odame, Alberto Quattrini Li, Xia Zhou | 21m |
A waterproof laser link system uses a MEMS mirror + fisheye lens and triplet optics to steer a narrow-beam laser across a full hemisphere, an ultrasonic sensor… | ||
| Gandalf: An Intelligent, End To End Analytics Service for Safe Deployment in Large Scale | Ze Li, Qian Cheng, Ken Hsieh, Yingnong Dang, Peng Huang, Pankaj Singh, Xinsheng Yang, Qingwei Lin, Youjiang Wu, Sebastien Levy, Murali Chintalapati | 21m |
Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure
Ze Li, Qian Cheng, Ken Hsieh, and Yingnong Dang… | ||
| Experiences with Modeling Network Topologies at Multiple Levels of Abstraction | Jeffrey C. Mogul, Drago Goricanec, Martin Pool, Anees Shaikh, Douglas Turk, Bikash Koley, Xiaoxue Zhao | 21m |
A Multi-Abstraction-Layer Topology called MALT represents desired and actual topology across design, deployment, config, operation, measurement, and analysis… | ||
| Firecracker: Lightweight Virtualization for Serverless Applications | Alexandru Agache, Marc Brooker, Andreea Florescu, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, Diana-Maria Popa | 20m |
Firecracker is an open‑source VMM built on KVM and forked from CrossVM into a tiny microVM with a drastically simplified device model (no BIOS/PCI/USB) and… | ||
| Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated | Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, Chetan Bansal, Chandra Sekhar Maddila, B. Ashok, Sumit Asthana, Christian Bird, Aditya Kumar | 19m |
Rex learns correlated change‑rules from version histories using association rule mining and then refines them with tree-based diffs and anti‑unification to… | ||
| Building An Elastic Query Engine on Disaggregated Storage | Midhul Vuppalapati, Justin Miron, Rachit Agarwal, Dan Truong, Ashish Motivala, Thierry Cruanes | 20m |
Snowflake decouples compute from persistent storage and runs analysis on 70 million queries over 14 days showing intermediate-data sizes span several orders of… | ||
| Millions of Tiny Databases | Marc Brooker, Tao Chen, Fan Ping | 21m |
Physalia is a transactional key-value store built as millions of tiny replicated state machines that each act as the configuration master for a single EBS… | ||
| Diamond Miner: Comprehensive Discovery of the Internet's Topology Diamonds | Kevin Vermeulen, Justin P. Rohrer, Robert Beverly, Olivier Fourmaux, Timur Friedman | 20m |
D-Miner is a round-based, massively parallel probing system that combines high-speed probing with multipath discovery to map load-balanced “diamond” topologies… | ||
| Learning in situ: a randomized experiment in video streaming | Francis Y. Yan, Hudson Ayers, Chenzhi Zhu, Sadjad Fouladi, James Hong, Keyi Zhang, Philip Levis, Keith Winstein | 21m |
A randomized, blinded deployment streams 38.6 years of video to 63,508 users and shows huge statistical uncertainty: single-day experiments produce overlapping… | ||
| Is Big Data Performance Reproducible in Modern Cloud Networks? | Alexandru Uta, Alexandru Custura, Dmitry Duplyakin, Ivo Jimenez, Jan S. Rellermeyer, Carlos Maltzahn, Robert Ricci, Alexandru Iosup | 21m |
Study analyzes millions of datapoints from transfers totaling 9 petabytes across three clouds (Amazon EC2, Google Compute Engine, and a Dutch research cloud)… | ||
| Learning Relaxed Belady for Content Distribution Network Caching | Zhenyu Song, Daniel S. Berger, Kai Li, Wyatt Lloyd | 20m |
A machine‑learned cache replacement called Relaxed Belady approximates Belady’s MIN by treating all items beyond a chosen time boundary equally and evicting a… | ||
| Meaningful Availability | Tamás Hauer, Philipp Hoffmann, John Lunney, Dan Ciprian Ardelean, Amer Diwan | 24m |
Proposes a concrete metric, windowed user-uptime, that labels each user's intervals as up or down by treating user requests as user probes via request… | ||
| Understanding, Detecting and Localizing Partial Failures in Large System Software | Chang Lou, Peng Huang, Scott Smith | 19m |
OmegaGen automatically generates customized, stateful watchdogs by using program reduction to build mimic checkers that exercise the same operations as the… | ||
| Check before You Change: Preventing Correlated Failures in Service Updates | Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang | 24m |
CloudCanary audits service-update snapshots in real time by reusing previous audit caches and translating dependency graphs into SAT problems, using SnapAudit… | ||
| Gryff: Unifying Consensus and Shared Registers | Matthew Burke, Audrey Cheng, Wyatt Lloyd | 20m |
Gryff implements a geo-replicated linearizable store that combines a multi-writer ABD register protocol for reads/writes with an EPaxos-based RMW path and a… | ||
| CableMon: Improving the Reliability of Cable Broadband Networks via Proactive Network | Jiyao Hu, Zhenyu Zhou, Xiaowei Yang, Jacob Malone, Jonathan W Williams | 21m |
Proposes CableMon, a public ML system that turns eight months of cable PNM time-series and customer trouble tickets into statistical features and automated… | ||
| Batchy: Batch scheduling Data Flow Graphs with Service level Objectives | Tamás Lévai, Felicián Németh, Barath Raghavan, Gabor Retvari | 18m |
Batchy is a scheduler for run-to-completion packet processing that profiles per-node batch gains, sets atomic fractional buffer sizes, and runs a one-step… | ||
| Adapting TCP for Reconfigurable Datacenter Networks | Matthew K. Mukerjee, Christopher Canel, Weiyang Wang, Daehyeok Kim, Srinivasan Seshan, Alex C. Snoeren | 22m |
Modern reconfigurable datacenter networks reconfigure in as little as 20 μs and hold circuits for fewer than 10 RTTs, and standard TCP variants only reach… | ||
| A High-Speed Load-Balancer Design with Guaranteed Per-Connection-Consistency | Tom Barbette, Chen Tang, Haoran Yao, Dejan Kostić, Gerald Q. Maguire Jr., Panagiotis Papadimitratos, Marco Chiesa | 19m |
Cheetah embeds a per-connection server decision into a packet cookie (implemented as a stateless cookie in TCP timestamp or QUIC/IPv6 alternatives) so packets… | ||
| Programmable Calendar Queues for High-speed Packet Scheduling | Naveen Kr. Sharma, Chenxingyu Zhao, Ming Liu, Pravein Govindan Kannan, Changhoon Kim, Arvind Krishnamurthy, Anirudh Sivaraman | 22m |
Claim: calendar queues let switches escalate priorities of buffered packets over time so complex schedulers run at line rate. Implementation maps calendar… | ||
| Contra: A Programmable System for Performance aware Routing | Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker | 20m |
System compiles high-level path-ranking policies into switch-local P4 programs and a product graph that merges regex path constraints with the topology… | ||
| FLAIR: Accelerating Reads with Consistency Aware Network Routing | Hatem Takruri, Ibrahim Kettaneh, Ahmed Alquraan, Samer Al-Kiswany | 20m |
Proposes FLAIR, a network-side pipeline implemented in P4 on a Barefoot Tofino switch that tracks client requests and replies to mark key ranges stable and… | ||
| Towards Logically Centralized Interdomain Routing | Shahrooz Pouryousef, Lixin Gao, Arun Venkataramani | 27m |
CIRCA is a Quagga-based prototype that offloads BGP route computation to the cloud using per-AS virtual avatars and a distributed convergence detection… | ||
| XRD: Scalable Messaging System with Cryptographic Privacy | Albert Kwon, David Lu, Srinivas Devadas | 22m |
XRD (Crossroads) is a deployed-style messaging design that uses many parallel mix networks and a new primitive aggregate hybrid shuffle to make verifiable… | ||
| High Throughput Cryptocurrency Routing in Payment Channel Networks | Vibhaalakshmi Sivaraman, Shaileshh Bojja Venkatakrishnan, Kathleen Ruan, Parimarjan Negi, Lei Yang, Radhika Mittal, Giulia Fanti, Mohammad Alizadeh | 21m |
High Throughput Cryptocurrency Routing in Payment Channel Networks
Vibhaalakshmi Sivaraman, Massachusetts Institute of Technology; Shaileshh Bojja… | ||
| PrivateEye: Scalable and Privacy Preserving Compromise Detection in the Cloud | Behnaz Arzani, Selim Ciraci, Stefan Saroiu, Alec Wolman, Jack Stokes, Geoff Outhred, Lechao Diwu | 17m |
System uses vSwitch flow summaries polled every 10 seconds and a deployed collection agent running in all data centers for two years to avoid VM introspection… | ||
| Telekine: Secure Computing with Cloud GPUs | Tyler Hunt, Zhipeng Jia, Vance Miller, Ariel Szekely, Yige Hu, Christopher J. Rossbach, Emmett Witchel | 18m |
Telekine demonstrates that GPU kernel timing leaks enough information to classify ImageNet images by observing kernel durations, then builds a… | ||
| TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control | Lukas Burkhalter, Anwar Hithnawi, Alexander Viand, Hossein Shafagh, Sylvia Ratnasamy | 21m |
TimeCrypt encrypts time-series end-to-end using a symmetric homomorphic key-canceling construction plus per-window key streams and a tree-based key-derivation… | ||
| Ghostor: Toward a Secure Data Sharing System from Decentralized Trust | Yuncong Hu, Sam Kumar, Raluca Ada Popa | 21m |
System hides which user accesses which file and lets clients detect stale or tampered reads using a verifiable anonymous history: per-object hash chains of… | ||
| Fawkes: Faster Mobile Page Loads via App Inspired Static Templating | Shaghayegh Mardani, Mayank Singh, Ravi Netravali | 21m |
Fawkes extracts static templates from multiple HTML versions offline, serves those templates immediately from cache, and streams small dynamic patches that… | ||
| VMscatter: A Versatile MIMO Backscatter | Xin Liu, Zicheng Chi, Wei Wang, Yao Yao, Ting Zhu | 19m |
Implements space-time coding on tag using only on/off reflection states to achieve full MIMO diversity, with a practical hardware prototype (tested as 2×4×4)… | ||
| Comb Decoding towards Collision Free WiFi | Shangqing Zhao, Zhe Qu, Zhengping Luo, Zhuo Lu, Yao Liu | 15m |
CombDec treats RTS frames as vectors with a comb-like distribution and reformulates RTS collisions as a sparse recovery problem, using constrained RTS fields… | ||
| Plankton: Scalable network configuration verification through model checking | Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar | 20m |
Plankton implements a prototype verifier that encodes the network control plane as an executable model and runs explicit-state model checking (SPIN) over a… | ||
| Config2Spec: Mining Network Specifications from Network Configurations | Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev | 21m |
Config2Spec automatically synthesizes a formal network specification from device configurations plus a failure model, combining data‑plane analysis and… | ||
| Network Error Logging: Client side measurement of end to end web service reliability | Sam Burnett, Lily Chen, Douglas A. Creager, Misha Efimov, Ilya Grigorik, Ben Jones, Harsha V. Madhyastha, Pavlos Papageorge, Brian Rogan, Charles Stahl, Julia Tuttle | 20m |
Planet-scale client-side measurement called NEL collects failed and successful request data from browsers and uploads JSON request-log reports to redundant… | ||
| Finding Network Misconfigurations by Automatic Template Inference | Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese | 21m |
Automatic inference groups similar router config snippets into parameterized templates and flags small groups as outliers; implemented in the tool SelfStarter… | ||
| tpprof: A Network Traffic Pattern Profiler | Nofel Yaseen, John Sonchack, Vincent Liu | 19m |
tpprof profiles running networks by extracting network states (representative switch-level utilization sampled via SNMP/sFlow) and traffic pattern subsequences… | ||
| TinySDR: Low Power SDR Platform for Over the Air Programmable IoT Testbeds | Mehrdad Hessar, Ali Najafi, Vikram Iyer, Shyamnath Gollakota | 18m |
A 3×5 cm low-power SDR board that runs on battery, supports duty cycling and remote firmware updates, and targets real IoT testbeds. Hardware uses an SRAM FPGA… | ||
| RFocus: Beamforming Using Thousands of Passive Antennas | Venkat Arun, Hari Balakrishnan | 19m |
Built a 2D wallpaper of 3,200 passive switch elements that either reflect or let signals pass and a controller that configures them by only using RSS… | ||
| CarMap: Fast 3D Feature Map Updates for Automobiles | Fawad Ahmad, Hang Qiu, Ray Eells, Fan Bai, Ramesh Govindan | 20m |
CarMap presents a lean 3D feature-map format that uploads map updates in 0.6 seconds end-to-end by sending only map landmarks (about 4% of keyframe features)… | ||
| Performant TCP for Low Power Wireless Networks | Sam Kumar, Michael P Andersen, Hyung-Sin Kim, David E. Culler | 24m |
Implements TCP-LP based on FreeBSD on IEEE 802.15.4 + 6LoWPAN hardware and shows full TCP fits constrained devices (≈32 KB code, ~0.5 KB per connection) with… | ||
| Food and Liquid Sensing in Practical Environments using RFIDs | Unsoo Ha, Junshan Leng, Alaa Khaddaj, Fadel Adib | 23m |
System senses food and liquids inside closed containers using off‑the‑shelf passive backscatter RFID tags and a reader (USRP/X310 setup) to record amplitude… | ||
| Eingerprint: Robust Energy related Fingerprinting for Passive RFID Tags | Xingyu Chen, Jia Liu, Xia Wang, Haisong Liu, Dong Jiang, Lijun Chen | 15m |
Uses the RC circuit energy of passive tags as an identity: defines persistence time and extracts it by flipping the volatile inventory flag via Gen2… | ||
| LocAP: Autonomous Millimeter Accurate Mapping of WiFi Infrastructure | Roshan Ayyalasomayajula, Aditya Arun, Chenfeng Wu, Shrivatsan Rajagopalan, Shreya Ganesaraman, Aravind Seetharaman, Ish Kumar Jain, Dinesh Bharadia | 18m |
System autonomously maps existing Wi‑Fi infrastructure by mounting a Wi‑Fi client and visual SLAM on a robot, collecting CSI and using differential… | ||
| nothing matches | ||