Papers
617 papers found
Finding Network Misconfigurations by Automatic Template Inference
Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett et al.
Fine-Grained Replicated State Machines for a Cluster Storage System
Ming Liu, Arvind Krishnamurthy, Harsha V. Madhyastha et al.
Firecracker: Lightweight Virtualization for Serverless Applications
Alexandru Agache, Marc Brooker, Andreea Florescu et al.
FLAIR: Accelerating Reads with Consistency-Aware Network Routing
Hatem Takruri, Ibrahim Kettaneh, Ahmed Alquraan et al.
Food and Liquid Sensing in Practical Environments using RFIDs
Unsoo Ha, Junshan Leng, Alaa Khaddaj et al.
Frequency Configuration for Low-Power Wide-Area Networks in a Heartbeat
Akshay Gadre, Revathy Narayanan, Anh Luong et al.
Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure
Ze Li, Qian Cheng, Ken Hsieh et al.
Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust
Yuncong Hu, Sam Kumar, Raluca Ada Popa
Gryff: Unifying Consensus and Shared Registers
Matthew Burke, Audrey Cheng, Wyatt Lloyd
High Throughput Cryptocurrency Routing in Payment Channel Networks
Vibhaalakshmi Sivaraman, Shaileshh Bojja Venkatakrishnan, Kathleen Ruan et al.
Is Big Data Performance Reproducible in Modern Cloud Networks?
Alexandru Uta, Alexandru Custura, Dmitry Duplyakin et al.
Learning in situ: a randomized experiment in video streaming
Francis Y. Yan, Hudson Ayers, Chenzhi Zhu et al.
Learning Relaxed Belady for Content Distribution Network Caching
Zhenyu Song, Daniel S. Berger, Kai Li et al.
Liveness Verification of Stateful Network Functions
Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian et al.
LocAP: Autonomous Millimeter Accurate Mapping of WiFi Infrastructure
Roshan Ayyalasomayajula, Aditya Arun, Chenfeng Wu et al.
Meaningful Availability
Tamás Hauer, Philipp Hoffmann, John Lunney et al.
Measuring Congestion in High-Performance Datacenter Interconnects
Saurabh Jha, Archit Patke, Jim Brandt et al.
Millions of Tiny Databases
Marc Brooker, Tao Chen, Fan Ping
Near-Optimal Latency Versus Cost Tradeoffs in Geo-Distributed Storage
Muhammed Uluyol, Anthony Huang, Ayush Goel et al.
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification
Yifei Yuan, Soo-Jin Moon, Sahil Uppal et al.
NetTLP: A Development Platform for PCIe devices in Software Interacting with Hardware
Yohei Kuga, Ryo Nakamura, Takeshi Matsuya et al.
Network Error Logging: Client-side measurement of end-to-end web service reliability
Sam Burnett, Lily Chen, Douglas A. Creager et al.
Performant TCP for Low-Power Wireless Networks
Sam Kumar, Michael P Andersen, Hyung-Sin Kim et al.
Plankton: Scalable network configuration verification through model checking
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand et al.
PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud
Behnaz Arzani, Selim Ciraci, Stefan Saroiu et al.