{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:47:53Z","timestamp":1775868473632,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,7]],"date-time":"2017-05-07T00:00:00Z","timestamp":1494115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1319076, 1527526"],"award-info":[{"award-number":["1319076, 1527526"]}],"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":[[2017,5,7]]},"DOI":"10.1145\/3102980.3103006","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"156-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["System Programming in Rust"],"prefix":"10.1145","author":[{"given":"Abhiram","family":"Balasubramanian","sequence":"first","affiliation":[{"name":"University of Utah and Samsung Reserch America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek S.","family":"Baranowski","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Burtsev","sequence":"additional","affiliation":[{"name":"UC Irvine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurojit","family":"Panda","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zvonimir","family":"Rakamari\u0107","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[{"name":"VMware Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the Thirty-Sixth Australasian Computer Science Conference -","volume":"135","author":"Atkins Daniel","year":"2013","unstructured":"Daniel Atkins , Alex Potanin , and Lindsay Groves . 2013 . The Design and Implementation of Clocked Variables in X10 . In Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135 (ACSC '13). Adelaide, Australia, 87--95. Daniel Atkins, Alex Potanin, and Lindsay Groves. 2013. The Design and Implementation of Clocked Variables in X10. In Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135 (ACSC '13). Adelaide, Australia, 87--95."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103805"},{"key":"e_1_3_2_1_6_1","unstructured":"Intel Corporation. DPDK: Data Plane Development Kit. http:\/\/dpdk.org\/. (????). Intel Corporation. DPDK: Data Plane Development Kit. http:\/\/dpdk.org\/. (????)."},{"key":"e_1_3_2_1_7_1","unstructured":"Alex Crichton. 2017. scoped-tls. https:\/\/github.com\/alexcrichton\/scoped-tls. (2017). Alex Crichton. 2017. scoped-tls. https:\/\/github.com\/alexcrichton\/scoped-tls. (2017)."},{"key":"e_1_3_2_1_8_1","unstructured":"CVE. Vulnerabilities on Linux Kernel Machines. https:\/\/www.cvedetails.com\/product\/47\/Linux-Linux-Kernel.html?vendor_id=33. (????). CVE. Vulnerabilities on Linux Kernel Machines. https:\/\/www.cvedetails.com\/product\/47\/Linux-Linux-Kernel.html?vendor_id=33. (????)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_10_1","unstructured":"Redox Project Developers. Redox - Your Next(Gen) OS. (????). http:\/\/www.redox-os.org\/. Redox Project Developers. Redox - Your Next(Gen) OS. (????). http:\/\/www.redox-os.org\/."},{"key":"e_1_3_2_1_11_1","unstructured":"The Rust Project Developers. 2017. Implementation of Rust stack unwinding. https:\/\/doc.rust-lang.org\/1.3.0\/std\/rt\/unwind\/. (2017). The Rust Project Developers. 2017. Implementation of Rust stack unwinding. https:\/\/doc.rust-lang.org\/1.3.0\/std\/rt\/unwind\/. (2017)."},{"key":"e_1_3_2_1_12_1","unstructured":"The Rust Project Developers. 2017. Struct std::rc::Weak. https:\/\/doc.rust-lang.org\/std\/rc\/struct.Weak.html. (2017). The Rust Project Developers. 2017. Struct std::rc::Weak. https:\/\/doc.rust-lang.org\/std\/rc\/struct.Weak.html. (2017)."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation (NSDI'16)","author":"Eisenbud Daniel E.","year":"2016","unstructured":"Daniel E. Eisenbud , Cheng Yi , Carlo Contavalli , Cody Smith , Roman Kononov , Eric Mann-Hielscher , Ardas Cilingiroglu , Bin Cheyney , Wentao Shang , and Jinnah Dylan Hosein . 2016 . Maglev: A Fast and Reliable Software Network Load Balancer . In Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation (NSDI'16) . Santa Clara, CA, 523--535. Daniel E. Eisenbud, Cheng Yi, Carlo Contavalli, Cody Smith, Roman Kononov, Eric Mann-Hielscher, Ardas Cilingiroglu, Bin Cheyney, Wentao Shang, and Jinnah Dylan Hosein. 2016. Maglev: A Fast and Reliable Software Network Load Balancer. In Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation (NSDI'16). Santa Clara, CA, 523--535."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06)","author":"Erlingsson \u00dalfar","unstructured":"\u00dalfar Erlingsson , Mart\u00edn Abadi , Michael Vrable , Mihai Budiu , and George C. Necula . 2006. XFI: Software Guards for System Address Spaces . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06) . Seattle, Washington, 75--88. \u00dalfar Erlingsson, Mart\u00edn Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. 2006. XFI: Software Guards for System Address Spaces. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06). Seattle, Washington, 75--88."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_18_1","unstructured":"Mozilla Foundation. The Rust programming language. https:\/\/doc.rust-lang.org\/book\/. (????). Mozilla Foundation. The Rust programming language. https:\/\/doc.rust-lang.org\/book\/. (????)."},{"key":"e_1_3_2_1_19_1","volume-title":"The JX Operating System. In USENIX Annual Technical Conference","author":"Golm Michael","year":"2002","unstructured":"Michael Golm , Meik Felser , Christian Wawersich , and J\u00fcrgen Klein\u00f6der . 2002 . The JX Operating System. In USENIX Annual Technical Conference . Monterey, CA, USA, 45--58. Michael Golm, Meik Felser, Christian Wawersich, and J\u00fcrgen Klein\u00f6der. 2002. The JX Operating System. In USENIX Annual Technical Conference. Monterey, CA, USA, 45--58."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"},{"key":"e_1_3_2_1_22_1","volume-title":"Session Types for Rust. In Workshop on Generic Programming.","author":"Laumann Jespersen Thomas Bracht","year":"2015","unstructured":"Thomas Bracht Laumann Jespersen , Philip Munksgaard , and Ken Friis Larsen . 2015 . Session Types for Rust. In Workshop on Generic Programming. Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen. 2015. Session Types for Rust. In Workshop on Generic Programming."},{"key":"e_1_3_2_1_23_1","volume-title":"Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference (ATEC '02)","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , J. Greg Morrisett , Dan Grossman , Michael W. Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference (ATEC '02) . Monterey, CA, USA, 275--288. Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference (ATEC '02). Monterey, CA, USA, 275--288."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818302.2818306"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI'14)","author":"Lim Hyeontaek","year":"2014","unstructured":"Hyeontaek Lim , Dongsu Han , David G. Andersen , and Michael Kaminsky . 2014 . MICA: A Holistic Approach to Fast In-memory Key-value Storage . In Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI'14) . Seattle, WA, 429--444. Hyeontaek Lim, Dongsu Han, David G. Andersen, and Michael Kaminsky. 2014. MICA: A Holistic Approach to Fast In-memory Key-value Storage. In Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI'14). Seattle, WA, 429--444."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043568"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2015.83"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"e_1_3_2_1_30_1","unstructured":"Nginx. Nginx: High Performance Load Balancer Web Server and Reverse Proxy. https:\/\/www.nginx.com\/. (????). Nginx. Nginx: High Performance Load Balancer Web Server and Reverse Proxy. https:\/\/www.nginx.com\/. (????)."},{"key":"e_1_3_2_1_31_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","volume":"16","author":"Panda Aurojit","year":"2016","unstructured":"Aurojit Panda , Sangjin Han , Keon Jang , Melvin Walls , Sylvia Ratnasamy , and Scott Shenker . 2016 . NetBricks: Taking the V out of NFV . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) , USENIX OSDI, Vol. 16 . Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, and Scott Shenker. 2016. NetBricks: Taking the V out of NFV. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), USENIX OSDI, Vol. 16."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1123001"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268950"},{"key":"e_1_3_2_1_35_1","unstructured":"\"servo\". Servo web browser engine. http:\/\/www.servo.org. (????). \"servo\". Servo web browser engine. http:\/\/www.servo.org. (????)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787501"},{"key":"e_1_3_2_1_38_1","unstructured":"Intel Open Source.org. 2016. Storage Performance Development Kit (SPDK). https:\/\/01.org\/spdk. (2016). Intel Open Source.org. 2016. Storage Performance Development Kit (SPDK). https:\/\/01.org\/spdk. (2016)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Philip Wadler. 1990. Linear types can change the world!. In IFIP TC 2 Working Conference on Programming Concepts and Methods. Sea of Galilee Israel 347--359. Philip Wadler. 1990. Linear types can change the world!. In IFIP TC 2 Working Conference on Programming Concepts and Methods. Sea of Galilee Israel 347--359.","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.25"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231983"}],"event":{"name":"HotOS '17: Workshop on Hot Topics in Operating Systems","location":"Whistler BC Canada","acronym":"HotOS '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 16th Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3103006","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102980.3103006","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102980.3103006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T16:53:33Z","timestamp":1750784013000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3103006"}},"subtitle":["Beyond Safety"],"short-title":[],"issued":{"date-parts":[[2017,5,7]]},"references-count":44,"alternative-id":["10.1145\/3102980.3103006","10.1145\/3102980"],"URL":"https:\/\/doi.org\/10.1145\/3102980.3103006","relation":{},"subject":[],"published":{"date-parts":[[2017,5,7]]},"assertion":[{"value":"2017-05-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}