Table of Contents

• Toward formally verifying congestion control behaviorVenkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed 0001, Mohammad Alizadeh, Hari Balakrishnan. 1-16 [doi]
• Aquila: a practically usable verification system for production-scale programmable data planesBingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian 0001, Minlan Yu. 17-32 [doi]
• Snowcap: synthesizing network-wide configuration updatesTibor Schneider, Rüdiger Birkner, Laurent Vanbever. 33-49 [doi]
• Synthesizing safe and efficient kernel extensions for packet processingQiongwen Xu, Michael D. Wong, Tanvi Wagle, Srinivas Narayana, Anirudh Sivaraman. 50-64 [doi]
• Understanding host network stack overheadsQizhe Cai, Shubham Chaudhary, Midhul Vuppalapati, Jaehyun Hwang, Rachit Agarwal 0001. 65-77 [doi]
• 1Pipe: scalable total order communication in data center networksBojie Li, Gefei Zuo, Wei Bai, Lintao Zhang. 78-92 [doi]
• CliqueMap: productionizing an RMA-based distributed caching systemArjun Singhvi, Aditya Akella, Maggie Anderson, Rob Cauble, Harshad Deshmukh, Dan Gibson, Milo M. K. Martin, Amanda Strominger, Thomas F. Wenisch, Amin Vahdat. 93-105 [doi]
• Gimbal: enabling multi-tenant storage disaggregation on SmartNIC JBOFsJaehong Min, Ming Liu, Tapan Chugh, Chenxingyu Zhao, Andrew Wei, In Hwan Doh, Arvind Krishnamurthy. 106-122 [doi]
• LAVA: fine-grained 3D indoor wireless coverage for small IoT devicesRotman Ivan Zelaya, William Sussman, Jeremy Gummeson, Kyle Jamieson, Wenjun Hu. 123-136 [doi]
• Personalizing head related transfer functions for earablesZhijian Yang, Romit Roy Choudhury. 137-150 [doi]
• L2D2: low latency distributed downlink for LEO satellitesDeepak Vasisht, Jayanth Shenoy, Ranveer Chandra. 151-164 [doi]
• RoS: passive smart surface for roadside-to-vehicle communicationJohn Nolan, Kun Qian, Xinyu Zhang 0003. 165-178 [doi]
• Programmable packet scheduling with a single queueZhuolong Yu, Chuheng Hu, Jingfeng Wu, Xiao Sun 0004, Vladimir Braverman, Mosharaf Chowdhury, Zhenhua Liu, Xin Jin 0008. 179-193 [doi]
• Sailfish: accelerating cloud-scale multi-tenant multi-service gateways with programmable switchesTian Pan 0001, Nianbing Yu, Chenhao Jia, Jianwen Pi, Liang Xu, Yisong Qiao, Zhiguo Li, Kun Liu, Jie Lu, Jianyuan Lu, Enge Song, Jiao Zhang 0002, Tao Huang, Shunmin Zhu. 194-206 [doi]
• CocoSketch: high-performance sketch-based measurement over arbitrary partial key queryYinda Zhang, Zaoxing Liu, Ruixin Wang, Tong Yang, Jizhou Li, Ruijie Miao, Peng Liu, Ruwen Zhang, Junchen Jiang. 207-222 [doi]
• RedPlane: enabling fault-tolerant stateful in-switch applicationsDaehyeok Kim, Jacob Nelson, Dan R. K. Ports, Vyas Sekar, Srinivasan Seshan. 223-244 [doi]
• revisiting the open vSwitch dataplane ten years laterWilliam Tu, Yi-Hung Wei, Gianni Antichi, Ben Pfaff. 245-257 [doi]
• Network planning with deep reinforcement learningHang Zhu, Varun Gupta, Satyajeet Singh Ahuja, Yuandong Tian, Ying Zhang, Xin Jin. 258-271 [doi]
• Semi-automated protocol disambiguation and code generationJane Yen, Tamás Lévai, Qinyuan Ye, Xiang Ren 0001, Ramesh Govindan, Barath Raghavan. 272-286 [doi]
• MimicNet: fast performance estimates for data center networks with machine learningQizhen Zhang 0001, Kelvin K. W. Ng, Charles W. Kazer, Shen Yan, João Sedoc, Vincent Liu. 287-304 [doi]
• Verifying learning-augmented systemsTomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira. 305-318 [doi]
• Designing data center networks using bottleneck structuresJordi Ros-Giralt, Noah Amsel, Sruthi Yellamraju, James R. Ezick, Richard Lethin, Yuang Jiang, Aosong Feng, Leandros Tassiulas, Zhenguo Wu, Min Yee Teh, Keren Bergman. 319-348 [doi]
• A throughput-centric view of the performance of datacenter topologiesPooria Namyar, Sucha Supittayapornpong, Mingyang Zhang 0005, Minlan Yu, Ramesh Govindan. 349-369 [doi]
• Congestion detection in lossless networksYiran Zhang, Yifan Liu, Qingkai Meng, Fengyuan Ren. 370-383 [doi]
• ACC: automatic ECN tuning for high-speed datacenter networksSiyu Yan, Xiaoliang Wang, Xiaolong Zheng, Yinben Xia, Derui Liu, Weishan Deng. 384-397 [doi]
• Anycast In context: a tale of two systemsThomas Koch, Ethan Katz-Bassett, John S. Heidemann, Matt Calder, Calvin Ardi, Ke Li. 398-417 [doi]
• XLINK: QoE-driven multi-path QUIC transport in large-scale video servicesZhilong Zheng, Yunfei Ma, Yanmei Liu, Furong Yang, Zhenyu Li 0001, Yuanbo Zhang, Jiuhai Zhang, Wei Shi, Wentao Chen, Ding Li, Qing An, Hai Hong, Hongqiang Harry Liu, Ming Zhang. 418-432 [doi]
• The ties that un-bind: decoupling IP from web services and sockets for robust addressing agility at CDN-scaleMarwan Fayed, Lorenz Bauer, Vasileios Giotsas, Sami Kerola, Marek Majkowski, Pavel Odintsov, Jakub Sitnicki, Taejoong Chung, Dave Levin, Alan Mislove, Christopher A. Wood, Nick Sullivan. 433-446 [doi]
• AnyOpt: predicting and optimizing IP Anycast performanceXiao Zhang, Tanmoy Sen, Zheyuan Zhang, Tim April, Balakrishnan Chandrasekaran 0002, David R. Choffnes, Bruce M. Maggs, Haiying Shen, Ramesh K. Sitaraman, Xiaowei Yang. 447-462 [doi]
• mmTag: a millimeter wave backscatter networkMohammad Hossein Mazaheri, Alex Chen, Omid Abari. 463-474 [doi]
• BlueFi: bluetooth over WiFiHsun-Wei Cho, Kang G. Shin. 475-487 [doi]
• Two beams are better than one: towards reliable and high throughput mmWave linksIsh Kumar Jain, Raghav Subbaraman, Dinesh Bharadia. 488-502 [doi]
• Concurrent interference cancellation: decoding multi-packet collisions in LoRaMuhammad Osama Shahid, Millan Philipose, Krishna Chintalapudi, Suman Banerjee, Bhuvana Krishnaswamy. 503-515 [doi]
• Seven years in the life of Hypergiants' off-netsPetros Gigis, Matt Calder, Lefteris Manassakis, George Nomikos, Vasileios Kotronis, Xenofontas Dimitropoulos, Ethan Katz-Bassett, Georgios Smaragdakis. 516-533 [doi]
• Cost-effective capacity provisioning in wide area networks with ShooflyRachee Singh, Nikolaj Bjørner, Sharon Shoham, Yawei Yin, John Arnold, Jamie Gaudette. 534-546 [doi]
• Capacity-efficient and uncertainty-resilient backbone network planning with hoseSatyajeet Singh Ahuja, Varun Gupta, Vinayak Dangui, Soshant Bali, Abishek Gopalan, Hao Zhong, Petr Lapukhov, Yiting Xia, Ying Zhang. 547-559 [doi]
• ARROW: restoration-aware traffic engineeringZhizhen Zhong, Manya Ghobadi, Alaa Khaddaj, Jonathan Leach, Yiting Xia, Ying Zhang. 560-579 [doi]
• Concordia: teaching the 5G vRAN to share computeXenofon Foukas, Bozidar Radunovic. 580-596 [doi]
• A nationwide study on cellular reliability: measurement, analysis, and enhancementsYang Li 0092, Hao Lin 0005, Zhenhua Li 0001, Yunhao Liu, Feng Qian 0001, Liangyi Gong, Xianlong Xin, Tianyin Xu. 597-609 [doi]
• A variegated look at 5G in the wild: performance, power, and QoE implicationsArvind Narayanan, Xumiao Zhang, Ruiyang Zhu, Ahmad Hassan, Shuowei Jin, Xiao Zhu, Xiaoxuan Zhang, Denis Rybkin, Zhengxuan Yang, Zhuoqing Morley Mao, Feng Qian, Zhi-Li Zhang. 610-625 [doi]
• Democratizing cellular access with CellBricksZhihong Luo, Silvery Fu, Mark Theis, Shaddi Hasan, Sylvia Ratnasamy, Scott Shenker. 626-640 [doi]
• Hoplite: efficient and fault-tolerant collective communication for task-based distributed systemsSiyuan Zhuang, Zhuohan Li, Danyang Zhuo, Stephanie Wang, Eric Liang, Robert Nishihara, Philipp Moritz, Ion Stoica. 641-656 [doi]
• SiP-ML: high-bandwidth optical network interconnects for machine learning trainingMehrdad Khani Shirkoohi, Manya Ghobadi, Mohammad Alizadeh, Ziyi Zhu, Madeleine Glick, Keren Bergman, Amin Vahdat, Benjamin Klenk, Eiman Ebrahimi. 657-675 [doi]
• Efficient sparse collective communication and its application to accelerate distributed deep learningJiawei Fei, Chen-Yu Ho 0001, Atal Narayan Sahu, Marco Canini, Amedeo Sapio. 676-691 [doi]
• Solar superstorms: planning for an internet apocalypseSangeetha Abdu Jyothi. 692-704 [doi]
• Nationwide deployment and operation of a virtual arrival detection system in the wildYi Ding, Yu Yang, Wenchao Jiang, Yunhuai Liu, Tian He 0001, Desheng Zhang. 705-717 [doi]
• Insights from operating an IP exchange providerAndra Lutu, Diego Perino, Marcelo Bagnulo, Fabián E. Bustamante. 718-730 [doi]
• Lucid: a language for control in the data planeJohn Sonchack, Devon Loehr, Jennifer Rexford, David Walker. 731-747 [doi]
• Campion: debugging router configuration differencesAlan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese. 748-761 [doi]
• Prognosis: closed-box analysis of network protocol implementationsTiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva 0001. 762-774 [doi]
• Test coverage metrics for the networkXieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker. 775-787 [doi]
• A composition framework for change managementAjay Mahimkar, Carlos Eduardo de Andrade, Rakesh K. Sinha, Giritharan Rana. 788-806 [doi]
• Auric: using data-driven recommendation to automatically generate cellular configurationAjay Mahimkar, Ashiwan Sivakumar, Zihui Ge, Shomik Pathak, Karunasish Biswas. 807-820 [doi]
• Bento: safely bringing network function virtualization to TorMichael Reininger, Arushi Arora, Stephen Herwig, Nicholas Francino, Jayson Hurst, Christina Garman, Dave Levin. 821-835 [doi]
• From IP to transport and beyond: cross-layer attacks against applicationsTianxiang Dai, Philipp Jeitner, Haya Shulman, Michael Waidner. 836-849 [doi]