


default search action
17th NSDI 2020: Santa Clara, CA, USA
- Ranjita Bhagwan, George Porter:

17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. USENIX Association 2020
Datacenter Networking 1
- William M. Mellette, Rajdeep Das, Yibo Guo, Rob McGuinness, Alex C. Snoeren, George Porter:

Expanding across time to deliver bandwidth efficiency and low latency. 1-18 - Wenxue Cheng, Kun Qian, Wanchun Jiang, Tong Zhang, Fengyuan Ren:

Re-architecting Congestion Management in Lossless Ethernet. 19-36 - Saurabh Jha

, Archit Patke, Jim M. Brandt, Ann C. Gentile, Benjamin Lim, Mike Showerman, Greg Bauer, Larry Kaplan, Zbigniew Kalbarczyk, William Kramer, Ravi K. Iyer:
Measuring Congestion in High-Performance Datacenter Interconnects. 37-57 - Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever:

SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues. 59-76
OS, Storage, and Hardware
- YoungGyoun Moon, SeungEon Lee, Muhammad Asim Jamshed, KyoungSoo Park:

AccelTCP: Accelerating Network Applications with Stateful TCP Offloading. 77-92 - Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker

, David Wentzlaff:
Enabling Programmable Transport Protocols in High-Speed NICs. 93-109 - Jian Yang, Joseph Izraelevitz, Steven Swanson:

FileMR: Rethinking RDMA Networking for Scalable Persistent Memory. 111-125 - Jaehyun Hwang, Qizhe Cai, Ao Tang, Rachit Agarwal:

TCP ≈ RDMA: CPU-efficient Remote Storage Access with i10. 127-140 - Yohei Kuga, Ryo Nakamura, Takeshi Matsuya, Yuji Sekiya:

NetTLP: A Development Platform for PCIe devices in Software Interacting with Hardware. 141-155 - Muhammed Uluyol, Anthony Huang, Ayush Goel, Mosharaf Chowdhury, Harsha V. Madhyastha:

Near-Optimal Latency Versus Cost Tradeoffs in Geo-Distributed Storage. 157-180
Network Verification
- Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar:

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. 181-200 - Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella:

Tiramisu: Fast Multilayer Network Verification. 201-219 - Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang:

Automated Verification of Customizable Middlebox Properties with Gravel. 221-239 - Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li:

APKeep: Realtime Verification for Real Networks. 241-255 - Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella:

Liveness Verification of Stateful Network Functions. 257-272
Distributed Systems
- Fan Lai, Jie You, Xiangfeng Zhu, Harsha V. Madhyastha, Mosharaf Chowdhury:

Sol: Fast Distributed Computation Over Slow Networks. 273-288 - Kshiteej Mahajan, Arjun Balasubramanian, Arjun Singhvi, Shivaram Venkataraman, Aditya Akella, Amar Phanishayee, Shuchi Chawla:

Themis: Fair and Efficient GPU Cluster Scheduling. 289-304 - Ming Liu, Arvind Krishnamurthy, Harsha V. Madhyastha, Rishi Bhardwaj, Karan Gupta, Chinmay Kamat, Huapeng Yuan, Aditya Jaltade, Roger Liao, Pavan Konka, Anoop Jawahar:

Fine-Grained Replicated State Machines for a Cluster Storage System. 305-323 - Cong Ding, David Chu, Evan Zhao, Xiang Li, Lorenzo Alvisi, Robbert van Renesse:

Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log. 325-338
Wireless Networks 1
- Akshay Gadre, Revathy Narayanan, Anh Luong, Anthony G. Rowe, Bob Iannucci, Swarun Kumar:

Frequency Configuration for Low-Power Wide-Area Networks in a Heartbeat. 339-352 - Prateesh Goyal, Anup Agarwal, Ravi Netravali, Mohammad Alizadeh, Hari Balakrishnan:

ABC: A Simple Explicit Congestion Controller for Wireless Networks. 353-372 - Charles J. Carver, Tian Zhao, Hongyong Zhang, Kofi M. Odame, Alberto Quattrini Li, Xia Zhou:

AmphiLight: Direct Air-Water Communication with Laser Light. 373-388
Deployment Experience
- Ze Li, Qian Cheng, Ken Hsieh, Yingnong Dang, Peng Huang, Pankaj Singh, Xinsheng Yang, Qingwei Lin, Youjiang Wu, Sebastien Levy, Murali Chintalapati:

Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure. 389-402 - Jeffrey C. Mogul, Drago Goricanec, Martin Pool, Anees Shaikh, Douglas Turk, Bikash Koley, Xiaoxue Zhao:

Experiences with Modeling Network Topologies at Multiple Levels of Abstraction. 403-418 - Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, Diana-Maria Popa:

Firecracker: Lightweight Virtualization for Serverless Applications. 419-434 - Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, Chetan Bansal, Chandra Shekhar Maddila, Balasubramanyan Ashok, Sumit Asthana, Christian Bird, Aditya Kumar:

Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis. 435-448 - Midhul Vuppalapati, Justin Miron, Rachit Agarwal, Dan Truong, Ashish Motivala, Thierry Cruanes:

Building An Elastic Query Engine on Disaggregated Storage. 449-462 - Marc Brooker, Tao Chen, Fan Ping:

Millions of Tiny Databases. 463-478
Measurement and Adaptation
- Kevin Vermeulen, Justin P. Rohrer, Robert Beverly, Olivier Fourmaux, Timur Friedman:

Diamond-Miner: Comprehensive Discovery of the Internet's Topology Diamonds. 479-493 - Francis Y. Yan, Hudson Ayers, Chenzhi Zhu, Sadjad Fouladi, James Hong, Keyi Zhang, Philip Alexander Levis, Keith Winstein:

Learning in situ: a randomized experiment in video streaming. 495-511 - Alexandru Uta, Alexandru Custura, Dmitry Duplyakin, Ivo Jimenez, Jan S. Rellermeyer, Carlos Maltzahn, Robert Ricci, Alexandru Iosup:

Is Big Data Performance Reproducible in Modern Cloud Networks? 513-527 - Zhenyu Song, Daniel S. Berger, Kai Li, Wyatt Lloyd:

Learning Relaxed Belady for Content Distribution Network Caching. 529-544
Fault Tolerance and Availability
- Tamas Hauer, Philipp Hoffmann, John Lunney, Dan Ardelean, Amer Diwan:

Meaningful Availability. 545-557 - Chang Lou

, Peng Huang
, Scott Smith:
Understanding, Detecting and Localizing Partial Failures in Large System Software. 559-574 - Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang:

Check before You Change: Preventing Correlated Failures in Service Updates. 575-589 - Matthew Burke, Audrey Cheng, Wyatt Lloyd:

Gryff: Unifying Consensus and Shared Registers. 591-617 - Jiyao Hu, Zhenyu Zhou, Xiaowei Yang, Jacob Malone, Jonathan W. Williams:

CableMon: Improving the Reliability of Cable Broadband Networks via Proactive Network Maintenance. 619-632
Datacenter Networking 2
- Tamás Lévai, Felicián Németh, Barath Raghavan, Gábor Rétvári:

Batchy: Batch-scheduling Data Flow Graphs with Service-level Objectives. 633-649 - Matthew K. Mukerjee, Christopher Canel, Weiyang Wang, Daehyeok Kim, Srinivasan Seshan, Alex C. Snoeren:

Adapting TCP for Reconfigurable Datacenter Networks. 651-666 - Tom Barbette, Chen Tang, Haoran Yao, Dejan Kostic, Gerald Q. Maguire Jr., Panagiotis Papadimitratos, Marco Chiesa:

A High-Speed Load-Balancer Design with Guaranteed Per-Connection-Consistency. 667-683 - Naveen Kr. Sharma, Chenxingyu Zhao, Ming Liu, Pravein G. Kannan, Changhoon Kim, Arvind Krishnamurthy, Anirudh Sivaraman:

Programmable Calendar Queues for High-speed Packet Scheduling. 685-699
Routing
- Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker

:
Contra: A Programmable System for Performance-aware Routing. 701-721 - Hatem Takruri, Ibrahim Kettaneh, Ahmed Alquraan, Samer Al-Kiswany:

FLAIR: Accelerating Reads with Consistency-Aware Network Routing. 723-737 - Shahrooz Pouryousef, Lixin Gao, Arun Venkataramani:

Towards Logically Centralized Interdomain Routing. 739-757
Security
- Albert Kwon, David Lu, Srinivas Devadas:

XRD: Scalable Messaging System with Cryptographic Privacy. 759-776 - Vibhaalakshmi Sivaraman, Shaileshh Bojja Venkatakrishnan, Kathleen Ruan, Parimarjan Negi, Lei Yang, Radhika Mittal, Giulia Fanti, Mohammad Alizadeh:

High Throughput Cryptocurrency Routing in Payment Channel Networks. 777-796 - Behnaz Arzani, Selim Ciraci, Stefan Saroiu, Alec Wolman, Jack W. Stokes, Geoff Outhred, Lechao Diwu:

PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud. 797-815 - Tyler Hunt, Zhipeng Jia, Vance Miller, Ariel Szekely, Yige Hu, Christopher J. Rossbach, Emmett Witchel

:
Telekine: Secure Computing with Cloud GPUs. 817-833 - Lukas Burkhalter, Anwar Hithnawi, Alexander Viand, Hossein Shafagh, Sylvia Ratnasamy:

TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control. 835-850 - Yuncong Hu, Sam Kumar, Raluca Ada Popa:

Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust. 851-877
Wireless Networks 2
- Shaghayegh Mardani, Mayank Singh, Ravi Netravali:

Fawkes: Faster Mobile Page Loads via App-Inspired Static Templating. 879-894 - Xin Liu, Zicheng Chi, Wei Wang, Yao Yao, Ting Zhu:

VMscatter: A Versatile MIMO Backscatter. 895-909 - Sam Kumar, Michael P. Andersen, Hyung-Sin Kim, David E. Culler:

Performant TCP for Low-Power Wireless Networks. 911-932 - Shangqing Zhao, Zhe Qu, Zhengping Luo, Zhuo Lu, Yao Liu:

Comb Decoding towards Collision-Free WiFi. 933-951
Debugging
- Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar:

Plankton: Scalable network configuration verification through model checking. 953-967 - Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev:

Config2Spec: Mining Network Specifications from Network Configurations. 969-984 - Sam Burnett, Lily Chen, Douglas A. Creager, Misha Efimov, Ilya Grigorik, Ben Jones, Harsha V. Madhyastha, Pavlos Papageorge, Brian Rogan, Charles Stahl, Julia Tuttle:

Network Error Logging: Client-side measurement of end-to-end web service reliability. 985-998 - Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese:

Finding Network Misconfigurations by Automatic Template Inference. 999-1013 - Nofel Yaseen, John Sonchack, Vincent Liu:

tpprof: A Network Traffic Pattern Profiler. 1015-1030
Sensor Networks
- Mehrdad Hessar, Ali Najafi, Vikram Iyer, Shyamnath Gollakota:

TinySDR: Low-Power SDR Platform for Over-the-Air Programmable IoT Testbeds. 1031-1046 - Venkat Arun, Hari Balakrishnan:

RFocus: Beamforming Using Thousands of Passive Antennas. 1047-1061 - Fawad Ahmad, Hang Qiu, Ray Eells, Fan Bai, Ramesh Govindan:

CarMap: Fast 3D Feature Map Updates for Automobiles. 1063-1081 - Unsoo Ha, Junshan Leng, Alaa Khaddaj, Fadel Adib:

Food and Liquid Sensing in Practical Environments using RFIDs. 1083-1100 - Xingyu Chen, Jia Liu, Xia Wang, Haisong Liu, Dong Jiang, Lijun Chen:

Eingerprint: Robust Energy-related Fingerprinting for Passive RFID Tags. 1101-1113 - Roshan Sai Ayyalasomayajula, Aditya Arun, Chenfeng Wu, Shrivatsan Rajagopalan, Shreya Ganesaraman, Aravind Seetharaman, Ish Kumar Jain, Dinesh Bharadia:

LocAP: Autonomous Millimeter Accurate Mapping of WiFi Infrastructure. 1115-1129

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














