Papers

Search results

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

Pages