Search results

  1. Learning in situ: a randomized experiment in video streaming

    Francis Y. Yan and Hudson Ayers, Stanford University; Chenzhi Zhu, Tsinghua University; Sadjad Fouladi, James Hong, Keyi Zhang, Philip Levis, and Keith Winstein, Stanford University Community Award Winner! We describe the results of a randomized controlle ...

    admin - November 29, 2021 - 2:30 pm

  2. FileMR: Rethinking RDMA Networking for Scalable Persistent Memory

    Jian Yang, UC San Diego; Joseph Izraelevitz, University of Colorado, Boulder; Steven Swanson, UC San Diego The emergence of dense, byte-addressable nonvolatile main memories (NVMMs) allows application developers to combine storage and memory into a single ...

    admin - November 29, 2021 - 2:30 pm

  3. tpprof: A Network Traffic Pattern Profiler

    paper, we introduce tpprof, a profiler for network traffic patterns. tpprof is built around two novel ...

    admin - November 29, 2021 - 3:30 pm

  4. Liveness Verification of Stateful Network Functions

    Farnaz Yousefi, Johns Hopkins University; Anubhavnidhi Abhashkumar and Kausik Subramanian, University of Wisconsin-Madison; Kartik Hans, IIT Delhi; Soudeh Ghorbani, Johns Hopkins University; Aditya Akella, University of Wisconsin-Madison Network verificat ...

    admin - November 29, 2021 - 3:30 pm

  5. Check before You Change: Preventing Correlated Failures in Service Updates

    their auditing speeds are too slow for frequent service updates. This paper presents CloudCanary, ...

    admin - November 29, 2021 - 3:30 pm

  6. Automated Verification of Customizable Middlebox Properties with Gravel

    a formally-verified software middlebox is attractive for network reliability. In this paper, we explore the ...

    admin - November 29, 2021 - 3:30 pm

  7. APKeep: Realtime Verification for Real Networks

    Peng Zhang and Xu Liu, Xi'an Jiaotong University; Hongkun Yang, Google; Ning Kang, Zhengchang Gu, and Hao Li, Xi'an Jiaotong University Realtime network verification ensures the correctness of network by incrementally checking data plane updates ...

    admin - November 29, 2021 - 3:30 pm

  8. Comb Decoding towards Collision-Free WiFi

    collisions of long data packets as well as combat the hidden terminal problem. In this paper, we present ...

    admin - November 29, 2021 - 3:30 pm

  9. Frequency Configuration for Low-Power Wide-Area Networks in a Heartbeat

    compared to the rest for LP-WAN devices. This paper presents Chime, a system enabling LP-WAN base stations ... = {https://www.usenix.org/conference/nsdi20/presentation/gadre}, publisher = {USENIX Association}, month = feb} Download Gadre PDF Gadre Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 3:30 pm

  10. Plankton: Scalable network configuration verification through model checking

    sufficient protocol support continues to be a challenge. In this paper, we show that by combining equivalence ... = {https://www.usenix.org/conference/nsdi20/presentation/prabhu}, publisher = {USENIX Association}, month = feb} Download Prabhu PDF Prabhu Paper (Prepublication) ...

    admin - November 29, 2021 - 3:30 pm

  11. Expanding across time to deliver bandwidth efficiency and low latency

    Association}, month = feb} Download Mellette PDF Mellette Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 3:30 pm

  12. Config2Spec: Mining Network Specifications from Network Configurations

    publisher = {USENIX Association}, month = feb} Download Birkner PDF Birkner Paper (Prepublication) PDF View ...

    admin - November 29, 2021 - 3:30 pm

  13. XRD: Scalable Messaging System with Cryptographic Privacy

    cryptographic privacy, such as differential privacy or heuristic privacy. This paper presents XRD (short for ... = {https://www.usenix.org/conference/nsdi20/presentation/kwon}, publisher = {USENIX Association}, month = feb} Download Kwon PDF Kwon Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  14. Re-architecting Congestion Management in Lossless Ethernet

    = {USENIX Association}, month = feb} Download Cheng PDF Cheng Paper (Prepublication) PDF View the slides ...

    admin - November 29, 2021 - 4:30 pm

  15. Measuring Congestion in High-Performance Datacenter Interconnects

    = {https://www.usenix.org/conference/nsdi20/presentation/jha}, publisher = {USENIX Association}, month = feb} Download Jha PDF Jha Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  16. AccelTCP: Accelerating Network Applications with Stateful TCP Offloading

    publisher = {USENIX Association}, month = feb} Download Moon PDF Moon Paper (Prepublication) PDF View the ...

    admin - November 29, 2021 - 4:30 pm

  17. Enabling Programmable Transport Protocols in High-Speed NICs

    hardwiring the network stack in the NIC would stifle innovation in transport protocols. In this paper, we ... = {https://www.usenix.org/conference/nsdi20/presentation/arashloo}, publisher = {USENIX Association}, month = feb} Download Arashloo PDF Arashloo Paper ...

    admin - November 29, 2021 - 4:30 pm

  18. Contra: A Programmable System for Performance-aware Routing

    Association}, month = feb} Download Hsu PDF Hsu Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  19. Network Error Logging: Client-side measurement of end-to-end web service reliability

    servers. This paper presents the design of NEL, case studies of real outages, and deployment lessons for ... = {https://www.usenix.org/conference/nsdi20/presentation/burnett}, publisher = {USENIX Association}, month = feb} Download Burnett PDF Burnett Paper (Prepublication) ...

    admin - November 29, 2021 - 4:30 pm

  20. Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure

    system is challenging. In this paper, we present Gandalf, an end-to-end analytics service for safe ... = {https://www.usenix.org/conference/nsdi20/presentation/li}, publisher = {USENIX Association}, month = feb} Download Li PDF Li Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  21. Fine-Grained Replicated State Machines for a Cluster Storage System

    Association}, month = feb} Download Liu PDF Liu Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  22. Meaningful Availability

    availability. This paper presents and evaluates, in the context of Google's G Suite, a novel availability ... = {https://www.usenix.org/conference/nsdi20/presentation/hauer}, publisher = {USENIX Association}, month = feb} Download Hauer PDF Hauer Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 4:30 pm

  23. SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues

    this paper, we introduce SP-PIFO, a programmable packet scheduler which closely approximates the ... = {https://www.usenix.org/conference/nsdi20/presentation/alcoz}, publisher = {USENIX Association}, month = feb} Download Alcoz PDF Alcoz Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 5:30 pm

  24. NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification

    paper, we identify practical opportunities for relaxations in order to develop an efficient verification ... = {https://www.usenix.org/conference/nsdi20/presentation/yuan}, publisher = {USENIX Association}, month = feb} Download Yuan PDF Yuan Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 5:30 pm

  25. TinySDR: Low-Power SDR Platform for Over-the-Air Programmable IoT Testbeds

    publisher = {USENIX Association}, month = feb} Download Hessar PDF Hessar Paper (Prepublication) PDF ...

    admin - November 29, 2021 - 5:30 pm

Pages