| NSDI '20 | 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 |
| NSDI '20 | Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure | Ze Li, Qian Cheng, Ken Hsieh, Yingnong Dang, Peng Huang, Pankaj Singh, Xinsheng Yang, Qingwei Lin, Youjiang Wu, Sebastien Levy, Murali Chintalapati |
| NSDI '20 | 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 |
| NSDI '20 | Meaningful Availability | Tamás Hauer, Philipp Hoffmann, John Lunney, Dan Ardelean, Amer Diwan |
| NSDI '20 | SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues | Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever |
| NSDI '20 | NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification | Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar |
| NSDI '20 | TinySDR: Low-Power SDR Platform for Over-the-Air Programmable IoT Testbeds | Mehrdad Hessar, Ali Najafi, Vikram Iyer, Shyamnath Gollakota |
| NSDI '20 | Liveness Verification of Stateful Network Functions | Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella |
| NSDI '20 | Check before You Change: Preventing Correlated Failures in Service Updates | Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang |
| NSDI '20 | Automated Verification of Customizable Middlebox Properties with Gravel | Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang |
| NSDI '20 | APKeep: Realtime Verification for Real Networks | Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li |
| NSDI '20 | Plankton: Scalable network configuration verification through model checking | Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar |
| NSDI '20 | Expanding across time to deliver bandwidth efficiency and low latency | William M. Mellette, Rajdeep Das, Yibo Guo, Rob McGuinness, Alex C. Snoeren, George Porter |
| NSDI '20 | Config2Spec: Mining Network Specifications from Network Configurations | Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev |
| NSDI '20 | AccelTCP: Accelerating Network Applications with Stateful TCP Offloading | YoungGyoun Moon, SeungEon Lee, Muhammad Asim Jamshed, KyoungSoo Park |
| NSDI '20 | Enabling Programmable Transport Protocols in High-Speed NICs | Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff |
| NSDI '20 | PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud | Behnaz Arzani, Selim Ciraci, Stefan Saroiu, Alec Wolman, Jack Stokes, Geoff Outhred, Lechao Diwu |
| NSDI '20 | AmphiLight: Direct Air-Water Communication with Laser Light | Charles J. Carver, Zhao Tian, Hongyong Zhang, Kofi M. Odame, Alberto Quattrini Li, Xia Zhou |
| NSDI '20 | Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust | Yuncong Hu, Sam Kumar, Raluca Ada Popa |
| NSDI '20 | NetTLP: A Development Platform for PCIe devices in Software Interacting with Hardware | Yohei Kuga, Ryo Nakamura, Takeshi Matsuya, Yuji Sekiya |
| NSDI '20 | Fawkes: Faster Mobile Page Loads via App-Inspired Static Templating | Shaghayegh Mardani, Mayank Singh, Ravi Netravali |
| NSDI '20 | Is Big Data Performance Reproducible in Modern Cloud Networks? | Alexandru Uta, Alexandru Custura, Dmitry Duplyakin, Ivo Jimenez, Jan Rellermeyer, Carlos Maltzahn, Robert Ricci, Alexandru Iosup |
| NSDI '20 | tpprof: A Network Traffic Pattern Profiler | Nofel Yaseen, John Sonchack, Vincent Liu |
| NSDI '20 | Comb Decoding towards Collision-Free WiFi | Shangqing Zhao, Zhe Qu, Zhengping Luo, Zhuo Lu, Yao Liu |
| NSDI '20 | XRD: Scalable Messaging System with Cryptographic Privacy | Albert Kwon, David Lu, Srinivas Devadas |
