{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:27:33Z","timestamp":1763389653846,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T00:00:00Z","timestamp":1668384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2212102, 2212390"],"award-info":[{"award-number":["2212102, 2212390"]}],"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":[[2022,11,14]]},"DOI":"10.1145\/3563766.3564085","type":"proceedings-article","created":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T16:29:31Z","timestamp":1668443371000},"page":"8-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automating network heuristic design and analysis"],"prefix":"10.1145","author":[{"given":"Anup","family":"Agarwal","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkat","family":"Arun","sequence":"additional","affiliation":[{"name":"MIT CSAIL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devdeep","family":"Ray","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srinivasan","family":"Seshan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,14]]},"reference":[{"volume-title":"Counterexample Guided Inductive Synthesis Modulo Theories","author":"Abate Alessandro","key":"e_1_3_2_1_1_1","unstructured":"Alessandro Abate , Cristina David , Pascal Kesseli , Daniel Kroening , and Elizabeth Polgreen . 2018. Counterexample Guided Inductive Synthesis Modulo Theories . In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing , Cham , 270--288. Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. 2018. Counterexample Guided Inductive Synthesis Modulo Theories. In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing, Cham, 270--288."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2004.08.002"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851192"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486031"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544223"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472912"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3232755.3232783"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA201008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.464716"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/sat.799"},{"key":"e_1_3_2_1_14_1","volume-title":"2013 USENIX Annual Technical Conference (USENIX ATC 13)","author":"Cardwell Neal","year":"2013","unstructured":"Neal Cardwell , Yuchung Cheng , Lawrence Brakmo , Matt Mathis , Barath Raghavan , Nandita Dukkipati , Hsiao-keng Jerry Chu , Andreas Terzis , and Tom Herbert . 2013 . packetdrill: Scriptable network stack testing, from sockets to packets . In 2013 USENIX Annual Technical Conference (USENIX ATC 13) . 213--218. Neal Cardwell, Yuchung Cheng, Lawrence Brakmo, Matt Mathis, Barath Raghavan, Nandita Dukkipati, Hsiao-keng Jerry Chu, Andreas Terzis, and Tom Herbert. 2013. packetdrill: Scriptable network stack testing, from sockets to packets. In 2013 USENIX Annual Technical Conference (USENIX ATC 13). 213--218."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012426.3022184"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(89)90019-6"},{"key":"e_1_3_2_1_17_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Cho Inho","year":"2020","unstructured":"Inho Cho , Ahmed Saeed , Joshua Fried , Seo Jin Park , Mohammad Alizadeh , and Adam Belay . 2020 . Overload Control for {μs-scale} {RPCs} with Breakwater . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . 299--314. Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, and Adam Belay. 2020. Overload Control for {μs-scale} {RPCs} with Breakwater. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 299--314."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2390231.2390237"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_1_19_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337--340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_13"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_22_1","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 . 2018 . {PCC} Vivace: {Online-Learning} Congestion Control . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) . 343--356. Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, Brighten Godfrey, and Michael Schapira. 2018. {PCC} Vivace: {Online-Learning} Congestion Control. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). 343--356."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111322.1111336"},{"volume-title":"mvfst. https:\/\/github.com\/facebookincubator\/mvfst\/blob\/94722103c32f11b589f9e0e2165a6b54dbda16d7\/quic\/congestion_control\/Copa2.cpp#L195. (June","year":"2022","key":"e_1_3_2_1_24_1","unstructured":"facebookincubator. 2022. mvfst. https:\/\/github.com\/facebookincubator\/mvfst\/blob\/94722103c32f11b589f9e0e2165a6b54dbda16d7\/quic\/congestion_control\/Copa2.cpp#L195. (June 2022 ). https:\/\/github.com\/facebookincubator\/mvfst\/blob\/94722103c32f11b589f9e0e2165a6b54dbda16d7\/quic\/congestion_control\/Copa2.cpp#L195 [Online; accessed 20. Jun. 2022]. facebookincubator. 2022. mvfst. https:\/\/github.com\/facebookincubator\/mvfst\/blob\/94722103c32f11b589f9e0e2165a6b54dbda16d7\/quic\/congestion_control\/Copa2.cpp#L195. (June 2022). https:\/\/github.com\/facebookincubator\/mvfst\/blob\/94722103c32f11b589f9e0e2165a6b54dbda16d7\/quic\/congestion_control\/Copa2.cpp#L195 [Online; accessed 20. Jun. 2022]."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192382"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3484266.3487381"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/347057.347397"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460351"},{"key":"e_1_3_2_1_29_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Fouladi Sadjad","year":"2018","unstructured":"Sadjad Fouladi , John Emmons , Emre Orbay , Catherine Wu , Riad S. Wahby , and Keith Winstein . 2018 . Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) . USENIX Association, Renton, WA, 267--282. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/fouladi Sadjad Fouladi, John Emmons, Emre Orbay, Catherine Wu, Riad S. Wahby, and Keith Winstein. 2018. Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). USENIX Association, Renton, WA, 267--282. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/fouladi"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_25"},{"key":"e_1_3_2_1_31_1","volume-title":"ABC: A Simple Explicit Congestion Controller for Wireless Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Goyal Prateesh","year":"2020","unstructured":"Prateesh Goyal , Anup Agarwal , Ravi Netravali , Mohammad Alizadeh , and Hari Balakrishnan . 2020 . ABC: A Simple Explicit Congestion Controller for Wireless Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 353--372. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/goyal Prateesh Goyal, Anup Agarwal, Ravi Netravali, Mohammad Alizadeh, and Hari Balakrishnan. 2020. ABC: A Simple Explicit Congestion Controller for Wireless Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 353--372. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/goyal"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1802.08730"},{"key":"e_1_3_2_1_33_1","volume-title":"Tiresias: A GPU Cluster Manager for Distributed Deep Learning. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Gu Juncheng","year":"2019","unstructured":"Juncheng Gu , Mosharaf Chowdhury , Kang G. Shin , Yibo Zhu , Myeongjae Jeon , Junjie Qian , Hongqiang Liu , and Chuanxiong Guo . 2019 . Tiresias: A GPU Cluster Manager for Distributed Deep Learning. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19) . USENIX Association, Boston, MA, 485--500. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/gu Juncheng Gu, Mosharaf Chowdhury, Kang G. Shin, Yibo Zhu, Myeongjae Jeon, Junjie Qian, Hongqiang Liu, and Chuanxiong Guo. 2019. Tiresias: A GPU Cluster Manager for Distributed Deep Learning. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). USENIX Association, Boston, MA, 485--500. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/gu"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400105"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIP.2013.6738383"},{"key":"e_1_3_2_1_37_1","volume-title":"David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru.","author":"Jero Samuel","year":"2018","unstructured":"Samuel Jero , Md Endadul Hoque , David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru. 2018 . Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach.. In NDSS. Samuel Jero, Md Endadul Hoque, David R Choffnes, Alan Mislove, and Cristina Nita-Rotaru. 2018. Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach.. In NDSS."},{"key":"e_1_3_2_1_38_1","volume-title":"International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=rywDjg-RW","author":"Kalyan Ashwin","year":"2018","unstructured":"Ashwin Kalyan , Abhishek Mohta , Oleksandr Polozov , Dhruv Batra , Prateek Jain , and Sumit Gulwani . 2018 . Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples . In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=rywDjg-RW Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani. 2018. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=rywDjg-RW"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/964725.633035"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/323"},{"volume-title":"Network calculus: a theory of deterministic queuing systems for the internet","author":"Le Boudec Jean-Yves","key":"e_1_3_2_1_41_1","unstructured":"Jean-Yves Le Boudec and Patrick Thiran . 2001. Network calculus: a theory of deterministic queuing systems for the internet . Springer . Jean-Yves Le Boudec and Patrick Thiran. 2001. Network calculus: a theory of deterministic queuing systems for the internet. Springer."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901326"},{"key":"e_1_3_2_1_43_1","volume-title":"Themis: Fair and Efficient GPU Cluster Scheduling. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Mahajan Kshiteej","year":"2020","unstructured":"Kshiteej Mahajan , Arjun Balasubramanian , Arjun Singhvi , Shivaram Venkataraman , Aditya Akella , Amar Phanishayee , and Shuchi Chawla . 2020 . Themis: Fair and Efficient GPU Cluster Scheduling. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 289--304. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/mahajan Kshiteej Mahajan, Arjun Balasubramanian, Arjun Singhvi, Shivaram Venkataraman, Aditya Akella, Amar Phanishayee, and Shuchi Chawla. 2020. Themis: Fair and Efficient GPU Cluster Scheduling. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 289--304. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/mahajan"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098843"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/263932.264023"},{"key":"e_1_3_2_1_46_1","volume-title":"Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"McClure Sarah","year":"2022","unstructured":"Sarah McClure , Amy Ousterhout , Scott Shenker , and Sylvia Ratnasamy . 2022 . Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) . USENIX Association, Renton, WA, 1--18. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/mcclure Sarah McClure, Amy Ousterhout, Scott Shenker, and Sylvia Ratnasamy. 2022. Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, Renton, WA, 1--18. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/mcclure"},{"key":"e_1_3_2_1_47_1","volume-title":"Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"McClure Sarah","year":"2022","unstructured":"Sarah McClure , Amy Ousterhout , Scott Shenker , and Sylvia Ratnasamy . 2022 . Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) . USENIX Association, Renton, WA, 1--18. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/mcclure Sarah McClure, Amy Ousterhout, Scott Shenker, and Sylvia Ratnasamy. 2022. Efficient Scheduling Policies for Microsecond-Scale Tasks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, Renton, WA, 1--18. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/mcclure"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405891"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230553"},{"key":"e_1_3_2_1_50_1","volume-title":"16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Ousterhout Amy","year":"2019","unstructured":"Amy Ousterhout , Joshua Fried , Jonathan Behrens , Adam Belay , and Hari Balakrishnan . 2019 . Shenango: Achieving high {CPU} efficiency for latency-sensitive datacenter workloads . In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19) . 361--378. Amy Ousterhout, Joshua Fried, Jonathan Behrens, Adam Belay, and Hari Balakrishnan. 2019. Shenango: Achieving high {CPU} efficiency for latency-sensitive datacenter workloads. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). 361--378."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190517"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487552.3487834"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132780"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_26"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_12"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987613"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_26"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2010.5560080"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54013-4_22"},{"key":"e_1_3_2_1_60_1","volume-title":"https:\/\/people.csail.mit.edu\/asolar\/SynthesisCourse\/Lecture13.htm. (April","author":"Solar-Lezama Armando","year":"2021","unstructured":"Armando Solar-Lezama . 2021. Lecture 13. https:\/\/people.csail.mit.edu\/asolar\/SynthesisCourse\/Lecture13.htm. (April 2021 ). [Online; accessed 22. Jun. 2022]. Armando Solar-Lezama. 2021. Lecture 13. https:\/\/people.csail.mit.edu\/asolar\/SynthesisCourse\/Lecture13.htm. (April 2021). [Online; accessed 22. Jun. 2022]."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375599"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2021.3078161"},{"volume-title":"rocc_kernel. https:\/\/github.com\/venkatarun95\/rocc_kernel. (June","year":"2022","key":"e_1_3_2_1_63_1","unstructured":"venkatarun95. 2022. rocc_kernel. https:\/\/github.com\/venkatarun95\/rocc_kernel. (June 2022 ). https:\/\/github.com\/venkatarun95\/rocc_kernel [Online; accessed 20. Jun. 2022]. venkatarun95. 2022. rocc_kernel. https:\/\/github.com\/venkatarun95\/rocc_kernel. (June 2022). https:\/\/github.com\/venkatarun95\/rocc_kernel [Online; accessed 20. Jun. 2022]."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477083.3481582"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355369.3355604"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486020"},{"key":"e_1_3_2_1_67_1","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 . 2013 . Stochastic Forecasts Achieve High Throughput and Low Delay over Cellular Networks . In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13) . USENIX Association, Lombard, IL, 459--471. https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/winstein Keith Winstein, Anirudh Sivaraman, and Hari Balakrishnan. 2013. Stochastic Forecasts Achieve High Throughput and Low Delay over Cellular Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). USENIX Association, Lombard, IL, 459--471. https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/winstein"},{"key":"e_1_3_2_1_68_1","volume-title":"Gandiva: Introspective Cluster Scheduling for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Xiao Wencong","year":"2018","unstructured":"Wencong Xiao , Romil Bhardwaj , Ramachandran Ramjee , Muthian Sivathanu , Nipun Kwatra , Zhenhua Han , Pratyush Patel , Xuan Peng , Hanyu Zhao , Quanlu Zhang , Fan Yang , and Lidong Zhou . 2018 . Gandiva: Introspective Cluster Scheduling for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . USENIX Association, Carlsbad, CA, 595--610. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/xiao Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, and Lidong Zhou. 2018. Gandiva: Introspective Cluster Scheduling for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 595--610. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/xiao"},{"key":"e_1_3_2_1_69_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Yan Francis Y.","year":"2020","unstructured":"Francis Y. Yan , Hudson Ayers , Chenzhi Zhu , Sadjad Fouladi , James Hong , Keyi Zhang , Philip Levis , and Keith Winstein . 2020 . Learning in situ: a randomized experiment in video streaming . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 495--511. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/yan Francis Y. Yan, Hudson Ayers, Chenzhi Zhu, Sadjad Fouladi, James Hong, Keyi Zhang, Philip Levis, and Keith Winstein. 2020. Learning in situ: a randomized experiment in video streaming. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 495--511. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/yan"},{"key":"e_1_3_2_1_70_1","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Yan Francis Y.","year":"2018","unstructured":"Francis Y. Yan , Jestin Ma , Greg D. Hill , Deepti Raghavan , Riad S. Wahby , Philip Levis , and Keith Winstein . 2018 . Pantheon: the training ground for Internet congestion-control research . In 2018 USENIX Annual Technical Conference (USENIX ATC 18) . USENIX Association, Boston, MA, 731--743. https:\/\/www.usenix.org\/conference\/atc18\/presentation\/yan-francis Francis Y. Yan, Jestin Ma, Greg D. Hill, Deepti Raghavan, Riad S. Wahby, Philip Levis, and Keith Winstein. 2018. Pantheon: the training ground for Internet congestion-control research. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). USENIX Association, Boston, MA, 731--743. https:\/\/www.usenix.org\/conference\/atc18\/presentation\/yan-francis"},{"key":"e_1_3_2_1_71_1","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)","author":"Zaharia Matei","year":"2012","unstructured":"Matei Zaharia , Mosharaf Chowdhury , Tathagata Das , Ankur Dave , Justin Ma , Murphy McCauly , Michael J Franklin , Scott Shenker , and Ion Stoica . 2012 . Resilient distributed datasets: A {Fault-Tolerant} abstraction for {In-Memory} cluster computing . In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) . 15--28. Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauly, Michael J Franklin, Scott Shenker, and Ion Stoica. 2012. Resilient distributed datasets: A {Fault-Tolerant} abstraction for {In-Memory} cluster computing. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). 15--28."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787498"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787484"}],"event":{"name":"HotNets '22: The 21st ACM Workshop on Hot Topics in Networks","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Austin Texas","acronym":"HotNets '22"},"container-title":["Proceedings of the 21st ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563766.3564085","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563766.3564085","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563766.3564085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:50Z","timestamp":1750182530000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563766.3564085"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,14]]},"references-count":73,"alternative-id":["10.1145\/3563766.3564085","10.1145\/3563766"],"URL":"https:\/\/doi.org\/10.1145\/3563766.3564085","relation":{},"subject":[],"published":{"date-parts":[[2022,11,14]]},"assertion":[{"value":"2022-11-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}