{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T13:05:39Z","timestamp":1780664739088,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T00:00:00Z","timestamp":1777161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2326576"],"award-info":[{"award-number":["2326576"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2212559"],"award-info":[{"award-number":["CCF-2212559"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-1918651"],"award-info":[{"award-number":["CCF-1918651"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,27]]},"DOI":"10.1145\/3767295.3769362","type":"proceedings-article","created":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T20:20:04Z","timestamp":1777062004000},"page":"1658-1673","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Canopy: Property-Driven Learning for Congestion Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7352-9110","authenticated-orcid":false,"given":"Chenxi","family":"Yang","sequence":"first","affiliation":[{"name":"UT Austin, Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7568-0624","authenticated-orcid":false,"given":"Divyanshu","family":"Saxena","sequence":"additional","affiliation":[{"name":"UT Austin, Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2132-5707","authenticated-orcid":false,"given":"Rohit","family":"Dwivedula","sequence":"additional","affiliation":[{"name":"UT Austin, Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5702-2836","authenticated-orcid":false,"given":"Kshiteej","family":"Mahajan","sequence":"additional","affiliation":[{"name":"Google DeepMind, Mountain View, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6859-1391","authenticated-orcid":false,"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[{"name":"UT Austin, Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5920-170X","authenticated-orcid":false,"given":"Aditya","family":"Akella","sequence":"additional","affiliation":[{"name":"UT Austin, Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,4,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"et al. Tensorflow: Large-scale machine learning on heterogeneous distributed systems. arXiv preprint arXiv:1603.04467","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, et al. Tensorflow: Large-scale machine learning on heterogeneous distributed systems. arXiv preprint arXiv:1603.04467, 2016."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405892"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535859"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_5_1","volume-title":"Accessed","year":"2024","unstructured":"DeepMind. Sonnet: A library for constructing neural networks. https:\/\/github.com\/google-deepmind\/sonnet, 2024. Accessed: September 15, 2024."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM42981.2021.9488898"},{"key":"e_1_3_2_1_7_1","first-page":"356","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Dong Mo","year":"2018","unstructured":"Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, Brighten Godfrey, and Michael Schapira. PCC vivace: Online-Learning congestion control. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), pages 343\u2013356, Renton, WA, April 2018. USENIX Association."},{"key":"e_1_3_2_1_8_1","first-page":"356","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Dong Mo","year":"2018","unstructured":"Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, Brighten Godfrey, and Michael Schapira. {PCC} vivace:{Online-Learning} congestion control. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), pages 343\u2013356, 2018."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472936"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41188-6_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/game.1999.0738"},{"key":"e_1_3_2_1_12_1","first-page":"1596","volume-title":"International conference on machine learning","author":"Fujimoto Scott","unstructured":"Scott Fujimoto, Herke Hoof, and David Meger. Addressing function approximation error in actor-critic methods. In International conference on machine learning, pages 1587\u20131596. PMLR, 2018."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672225"},{"key":"e_1_3_2_1_15_1","volume-title":"On the effectiveness of interval bound propagation for training verifiably robust models. arXiv preprint arXiv:1810.12715","author":"Gowal Sven","year":"2018","unstructured":"Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, and Pushmeet Kohli. On the effectiveness of interval bound propagation for training verifiably robust models. arXiv preprint arXiv:1810.12715, 2018."},{"key":"e_1_3_2_1_16_1","volume-title":"Cubic: a new tcp-friendly high-speed tcp variant. ACM SIGOPS operating systems review, 42(5):64\u201374","author":"Ha Sangtae","year":"2008","unstructured":"Sangtae Ha, Injong Rhee, and Lisong Xu. Cubic: a new tcp-friendly high-speed tcp variant. ACM SIGOPS operating systems review, 42(5):64\u201374, 2008."},{"key":"e_1_3_2_1_17_1","first-page":"190","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Hao Mingzhe","year":"2020","unstructured":"Mingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, and Haryadi S Gunawi. {LinnOS}: Predictability on unpredictable flash storage with a light neural network. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 173\u2013190, 2020."},{"key":"e_1_3_2_1_18_1","first-page":"1928","volume-title":"International Conference on Machine Learning","author":"Hashemi Milad","unstructured":"Milad Hashemi, Kevin Swersky, Jamie Smith, Grant Ayers, Heiner Litz, Jichuan Chang, Christos Kozyrakis, and Parthasarathy Ranganathan. Learning memory access patterns. In International Conference on Machine Learning, pages 1919\u20131928. PMLR, 2018."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1981.1095152"},{"key":"e_1_3_2_1_20_1","first-page":"3059","volume-title":"International Conference on Machine Learning","author":"Jay Nathan","unstructured":"Nathan Jay, Noga Rotman, Brighten Godfrey, Michael Schapira, and Aviv Tamar. A deep reinforcement learning perspective on internet congestion control. In International Conference on Machine Learning, pages 3050\u20133059. PMLR, 2019."},{"key":"e_1_3_2_1_21_1","first-page":"32","article-title":"A composable specification language for reinforcement learning tasks","author":"Jothimurugan Kishor","year":"2019","unstructured":"Kishor Jothimurugan, Rajeev Alur, and Osbert Bastani. A composable specification language for reinforcement learning tasks. Advances in Neural Information Processing Systems, 32, 2019.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3523057"},{"key":"e_1_3_2_1_23_1","volume-title":"Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020","author":"Katz Guy","year":"2020","unstructured":"Guy Katz. Augmenting deep neural networks with scenario-based guard rules. In Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25\u201327, 2020, Revised Selected Papers 8, pages 147\u2013172. Springer, 2021."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_25_1","first-page":"773","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Klimovic Ana","year":"2018","unstructured":"Ana Klimovic, Heiner Litz, and Christos Kozyrakis. Selecta: Heterogeneous cloud storage configuration for data analytics. In 2018 USENIX Annual Technical Conference (USENIX ATC 18), pages 759\u2013773, 2018."},{"key":"e_1_3_2_1_26_1","volume-title":"CIDR 2019 - 9th Biennial Conference on Innovative Data Systems Research","author":"Kraska Tim","year":"2021","unstructured":"Tim Kraska, Mohammad Alizadeh, Alex Beutel, Ed H Chi, Jialin Ding, Ani Kristo, Guillaume Leclerc, Samuel Madden, Hongzi Mao, and Vikram Nathan. Sagedb: A learned database system. CIDR 2019 - 9th Biennial Conference on Innovative Data Systems Research, 2021."},{"key":"e_1_3_2_1_27_1","first-page":"3712","volume-title":"International Conference on Machine Learning","author":"Le Hoang","unstructured":"Hoang Le, Cameron Voloshin, and Yisong Yue. Batch policy learning under constraints. In International Conference on Machine Learning, pages 3703\u20133712. PMLR, 2019."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.3012883"},{"key":"e_1_3_2_1_29_1","first-page":"3586","volume-title":"International Conference on Machine Learning","author":"Mirman Matthew","unstructured":"Matthew Mirman, Timon Gehr, and Martin Vechev. Differentiable abstract interpretation for provably robust neural networks. In International Conference on Machine Learning, pages 3578\u20133586. PMLR, 2018."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296957.3173184"},{"key":"e_1_3_2_1_31_1","first-page":"550","volume-title":"Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2015","author":"Mittal Radhika","year":"2015","unstructured":"Radhika Mittal, Vinh The Lam, Nandita Dukkipati, Emily R. Blem, Hassan M. G. Wassel, Monia Ghobadi, Amin Vahdat, Yaogong Wang, David Wetherall, and David Zats. TIMELY: rtt-based congestion control for the datacenter. In Steve Uhlig, Olaf Maennel, Brad Karp, and Jitendra Padhye, editors, Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2015, London, United Kingdom, August 17\u201321, 2015, pages 537\u2013550. ACM, 2015."},{"key":"e_1_3_2_1_32_1","first-page":"429","volume-title":"Hari Balakrishnan. Mahimahi: Accurate Record-and-Replay for HTTP. In 2015 USENIX Annual Technical Conference (USENIX ATC 15)","author":"Netravali Ravi","year":"2015","unstructured":"Ravi Netravali, Anirudh Sivaraman, Somak Das, Ameesh Goyal, Keith Winstein, James Mickens, and Hari Balakrishnan. Mahimahi: Accurate Record-and-Replay for HTTP. In 2015 USENIX Annual Technical Conference (USENIX ATC 15), pages 417\u2013429, Santa Clara, CA, July 2015. USENIX Association."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2631455"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9243-0"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_1_36_1","first-page":"728","article-title":"Building verified neural networks for computer systems with ouroboros","volume":"5","author":"Tan Cheng","year":"2023","unstructured":"Cheng Tan, Changliu Liu, Zhihao Jia, and Tianhao Wei. Building verified neural networks for computer systems with ouroboros. Proceedings of Machine Learning and Systems, 5:728\u2013742, 2023.","journal-title":"Proceedings of Machine Learning and Systems"},{"key":"e_1_3_2_1_37_1","volume-title":"International Conference on Learning Representations","author":"Tjeng Vincent","year":"2019","unstructured":"Vincent Tjeng, Kai Y. Xiao, and Russ Tedrake. Evaluating robustness of neural networks with mixed integer programming. In International Conference on Learning Representations, 2019."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2000603"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486020"},{"key":"e_1_3_2_1_40_1","first-page":"471","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)","author":"Winstein Keith","year":"2013","unstructured":"Keith Winstein, Anirudh Sivaraman, and Hari Balakrishnan. Stochastic forecasts achieve high throughput and low delay over cellular networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13), pages 459\u2013471, 2013."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SaTML59370.2024.00018"},{"key":"e_1_3_2_1_42_1","volume-title":"International Conference on Learning Representations","author":"Yang Chenxi","year":"2022","unstructured":"Chenxi Yang and Swarat Chaudhuri. Safe neurosymbolic learning with differentiable symbolic execution. In International Conference on Learning Representations, 2022."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604838"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604838"},{"key":"e_1_3_2_1_45_1","volume-title":"Towards stable and efficient training of verifiably robust neural networks. arXiv preprint arXiv:1906.06316","author":"Zhang Huan","year":"2019","unstructured":"Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane Boning, and Cho-Jui Hsieh. Towards stable and efficient training of verifiably robust neural networks. arXiv preprint arXiv:1906.06316, 2019."},{"key":"e_1_3_2_1_46_1","first-page":"350","article-title":"Learning on distributed traces for data center storage systems","volume":"3","author":"Zhou Giulio","year":"2021","unstructured":"Giulio Zhou and Martin Maas. Learning on distributed traces for data center storage systems. Proceedings of Machine Learning and Systems, 3:350\u2013364, 2021.","journal-title":"Proceedings of Machine Learning and Systems"}],"event":{"name":"EUROSYS '26: 21st European Conference on Computer Systems","location":"McEwan Hall\/The University of Edinburgh Edinburgh Scotland UK","acronym":"EUROSYS '26","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 21st European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3767295.3769362","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3767295.3769362","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3767295.3769362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T12:16:20Z","timestamp":1780661780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3767295.3769362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,26]]},"references-count":46,"alternative-id":["10.1145\/3767295.3769362","10.1145\/3767295"],"URL":"https:\/\/doi.org\/10.1145\/3767295.3769362","relation":{},"subject":[],"published":{"date-parts":[[2026,4,26]]},"assertion":[{"value":"2026-04-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}