{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:48:13Z","timestamp":1773193693046,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:00:00Z","timestamp":1747180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2326576"],"award-info":[{"award-number":["2326576"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,14]]},"DOI":"10.1145\/3713082.3730384","type":"proceedings-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T09:53:51Z","timestamp":1749203631000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["How I learned to stop worrying and love learned OS policies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7568-0624","authenticated-orcid":false,"given":"Divyanshu","family":"Saxena","sequence":"first","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7458-9619","authenticated-orcid":false,"given":"Jiayi","family":"Chen","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6850-5579","authenticated-orcid":false,"given":"Sujay","family":"Yadalam","sequence":"additional","affiliation":[{"name":"UW-Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9034-0377","authenticated-orcid":false,"given":"Yeonju","family":"Ro","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2132-5707","authenticated-orcid":false,"given":"Rohit","family":"Dwivedula","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5954-2136","authenticated-orcid":false,"given":"Eric H.","family":"Campbell","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5920-170X","authenticated-orcid":false,"given":"Aditya","family":"Akella","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0329-3657","authenticated-orcid":false,"given":"Christopher J.","family":"Rossbach","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7926-648X","authenticated-orcid":false,"given":"Michael","family":"Swift","sequence":"additional","affiliation":[{"name":"UW-Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405892"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3465332.3470875"},{"key":"e_1_3_2_1_3_1","first-page":"6172","volume-title":"Advances in Neural Information Processing Systems","volume":"33","author":"Anderson Greg","year":"2020","unstructured":"Greg Anderson, Abhinav Verma, Isil Dillig, and Swarat Chaudhuri. Neurosymbolic reinforcement learning with formally verified exploration. In H. Larochelle, M. Ranzato, R. Hadsell, M.F. Balcan, and H. Lin, editors, Advances in Neural Information Processing Systems, volume 33, pages 6172--6183. Curran Associates, Inc., 2020. URL https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2020\/file\/448d5eda79895153938a8431919f4c9f-Paper.pdf."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544223"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3625549.3658659"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_7_1","first-page":"155","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Dai Yifan","year":"2020","unstructured":"Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau. From WiscKey to bourbon: A learned index for Log-Structured merge trees. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 155--171, November 2020. URL https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/dai."},{"key":"e_1_3_2_1_8_1","volume-title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","author":"Dalrymple David","year":"2024","unstructured":"David \"davidad\" Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, and Joshua Tenenbaum. Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems, 2024. URL https:\/\/arxiv.org\/abs\/2405.06624."},{"key":"e_1_3_2_1_9_1","first-page":"37","volume-title":"Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing","author":"Doudali Thaleia Dimitra","year":"2019","unstructured":"Thaleia Dimitra Doudali, Sergey Blagodurov, Abhinav Vishnu, Sudhanva Gurumurthi, and Ada Gavrilovska. Kleio: A hybrid memory page scheduler with machine intelligence. In Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, pages 37--48, 2019. URL https:\/\/dl.acm.org\/doi\/10.1145\/3307681.3325398."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472936"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575697"},{"key":"e_1_3_2_1_12_1","first-page":"173","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--190, 2020. URL https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/hao."},{"key":"e_1_3_2_1_13_1","volume-title":"Llama guard: Llm-based input-output safeguard for human-ai conversations","author":"Inan Hakan","year":"2023","unstructured":"Hakan Inan, Kartikeya Upasani, Jianfeng Chi, Rashi Rungta, Krithika Iyer, Yuning Mao, Michael Tontchev, Qing Hu, Brian Fuller, Davide Testuggine, and Madian Khabsa. Llama guard: Llm-based input-output safeguard for human-ai conversations, 2023. URL https:\/\/arxiv.org\/abs\/2312.06674."},{"key":"e_1_3_2_1_14_1","first-page":"1097","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Karthikeyan Ajaykrishna","year":"2023","unstructured":"Ajaykrishna Karthikeyan, Nagarajan Natarajan, Gagan Somashekar, Lei Zhao, Ranjita Bhagwan, Rodrigo Fonseca, Tatiana Racheva, and Yogesh Bansal. SelfTune: Tuning cluster managers. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23), pages 1097--1114, April 2023. URL https:\/\/www.usenix.org\/conference\/nsdi23\/presentation\/karthikeyan."},{"key":"e_1_3_2_1_15_1","volume-title":"Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, and Mike Burrows. A learned performance model for tensor processing units","author":"Kaufman Samuel J.","year":"2021","unstructured":"Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, and Mike Burrows. A learned performance model for tensor processing units, 2021. URL https:\/\/arxiv.org\/abs\/2008.01040."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196909"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/3685800.3685852"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901326"},{"key":"e_1_3_2_1_19_1","first-page":"593","volume-title":"2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Mansi Mark","year":"2022","unstructured":"Mark Mansi, Bijan Tabatabai, and Michael M. Swift. CBMM: Financial advice for kernel memory managers. In 2022 USENIX Annual Technical Conference (USENIX ATC 22), pages 593--608, July 2022. URL https:\/\/www.usenix.org\/conference\/atc22\/presentation\/mansi."},{"key":"e_1_3_2_1_20_1","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Mao Hongzi","year":"2019","unstructured":"Hongzi Mao, Parimarjan Negi, Akshay Narayan, Hanrui Wang, Jiacheng Yang, Haonan Wang, Ryan Marcus, ravichandra addanki, Mehrdad Khani Shirkoohi, Songtao He, Vikram Nathan, Frank Cangialosi, Shaileshh Venkatakrishnan, Wei-Hung Weng, Song Han, Tim Kraska, and Dr.Mohammad Alizadeh. Park: An open platform for learning-augmented computer systems. In Advances in Neural Information Processing Systems, volume 32, 2019. URL https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2019\/file\/f69e505b08403ad2298b9f262659929a-Paper.pdf."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342644"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3542700.3542703"},{"key":"e_1_3_2_1_23_1","first-page":"1557","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Perry Yarin","year":"2023","unstructured":"Yarin Perry, Felipe Vieira Frujeri, Chaim Hoch, Srikanth Kandula, Ishai Menache, Michael Schapira, and Aviv Tamar. DOTE: Rethinking (predictive) WAN traffic engineering. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23), pages 1557--1581, April 2023. URL https:\/\/www.usenix.org\/conference\/nsdi23\/presentation\/perry."},{"key":"e_1_3_2_1_24_1","volume-title":"Nemo guardrails: A toolkit for controllable and safe llm applications with programmable rails","author":"Rebedea Traian","year":"2023","unstructured":"Traian Rebedea, Razvan Dinu, Makesh Sreedhar, Christopher Parisien, and Jonathan Cohen. Nemo guardrails: A toolkit for controllable and safe llm applications with programmable rails, 2023. URL https:\/\/arxiv.org\/abs\/2310.10501."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527442"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741964"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507704"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604857"},{"key":"e_1_3_2_1_29_1","volume-title":"C3: Learning congestion controllers with formal certificates","author":"Yang Chenxi","year":"2024","unstructured":"Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula, Kshiteej Mahajan, Swarat Chaudhuri, and Aditya Akella. C3: Learning congestion controllers with formal certificates. 2024. URL https:\/\/arxiv.org\/abs\/2412.10915."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544229"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314638"}],"event":{"name":"HOTOS '25: Workshop on Hot Topics in Operating Systems","location":"Banff AB Canada","acronym":"HOTOS '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3713082.3730384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3713082.3730384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T16:49:17Z","timestamp":1756486157000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3713082.3730384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,14]]},"references-count":31,"alternative-id":["10.1145\/3713082.3730384","10.1145\/3713082"],"URL":"https:\/\/doi.org\/10.1145\/3713082.3730384","relation":{},"subject":[],"published":{"date-parts":[[2025,5,14]]},"assertion":[{"value":"2025-06-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}