{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:43Z","timestamp":1775873563112,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,7]]},"DOI":"10.1145\/3611096.3611097","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:12:42Z","timestamp":1697497962000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Rusty Links in Local Chains\u2731"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9036-5692","authenticated-orcid":false,"given":"James","family":"Noble","sequence":"first","affiliation":[{"name":"Creative Research & Programming, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3098-3901","authenticated-orcid":false,"given":"Julian","family":"Mackay","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4269-5408","authenticated-orcid":false,"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Learning Rust: How Experienced Programmers Leverage Resources to Learn a New Programming Language. In CHI Ext. Abs.1\u20138.","author":"Abtahi Parastoo","year":"2020","unstructured":"Parastoo Abtahi and Griffin Dietz . 2020 . Learning Rust: How Experienced Programmers Leverage Resources to Learn a New Programming Language. In CHI Ext. Abs.1\u20138. Parastoo Abtahi and Griffin Dietz. 2020. Learning Rust: How Experienced Programmers Leverage Resources to Learn a New Programming Language. In CHI Ext. Abs.1\u20138."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Ellen Arvidsson Elias Castegren Sylvan Clebsch Sophia Drossopoulou James Noble Matthew\u00a0J. Parkinson and Tobias Wrigstad. 2023. Reference Capabilities for Flexible Memory Management. In OOPSLA. To appear.  Ellen Arvidsson Elias Castegren Sylvan Clebsch Sophia Drossopoulou James Noble Matthew\u00a0J. Parkinson and Tobias Wrigstad. 2023. Reference Capabilities for Flexible Memory Management. In OOPSLA. To appear.","DOI":"10.1145\/3622846"},{"key":"e_1_3_2_1_3_1","volume-title":"You can\u2019t spell Trust without Rust. Master\u2019s thesis. Computer Science","author":"Beingessner Aria","unstructured":"Aria Beingessner . 2015. You can\u2019t spell Trust without Rust. Master\u2019s thesis. Computer Science , Carleton University . Aria Beingessner. 2015. You can\u2019t spell Trust without Rust. Master\u2019s thesis. Computer Science, Carleton University."},{"key":"e_1_3_2_1_4_1","volume-title":"Day","author":"Beingessner Aria","year":"2022","unstructured":"Aria Beingessner . 2019. Learn Rust With Entirely Too Many Linked Lists. https:\/\/rust-unofficial.github.io\/too-many-lists. Accessed April Fools \u2019 Day 2022 . Aria Beingessner. 2019. Learn Rust With Entirely Too Many Linked Lists. https:\/\/rust-unofficial.github.io\/too-many-lists. Accessed April Fools\u2019 Day 2022."},{"key":"e_1_3_2_1_5_1","unstructured":"David Blaser. 2019. Simple Explanation of Complex Lifetime Errors in Rust. (2019). ETH Z\u00fcrich.  David Blaser. 2019. Simple Explanation of Complex Lifetime Errors in Rust. (2019). ETH Z\u00fcrich."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"R. Bocchino S. Heumann N. Honarmand S. Adve V. Adve A. Welc and T. Shpeisman. 2011. Safe Nondeterminism in a Deterministic-by-Default Parallel Language. In POPL.  R. Bocchino S. Heumann N. Honarmand S. Adve V. Adve A. Welc and T. Shpeisman. 2011. Safe Nondeterminism in a Deterministic-by-Default Parallel Language. In POPL.","DOI":"10.1145\/1926385.1926447"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Gregory Bollella Tim Canham Vanessa Carson Virgil Champlin Daniel\u00a0L. Dvorak Brian Giovannoni Mark\u00a0B. Indictor Kenny Meyer Alex Murray and Kirk Reinholtz. 2003. Programming with non-heap memory in the real time specification for Java. In OOPSLA Companion. 361\u2013369.  Gregory Bollella Tim Canham Vanessa Carson Virgil Champlin Daniel\u00a0L. Dvorak Brian Giovannoni Mark\u00a0B. Indictor Kenny Meyer Alex Murray and Kirk Reinholtz. 2003. Programming with non-heap memory in the real time specification for Java. In OOPSLA Companion. 361\u2013369.","DOI":"10.1145\/949344.949443"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_4"},{"key":"e_1_3_2_1_10_1","volume-title":"\u201cbest","author":"Cameron Nicholas","year":"2015","unstructured":"Nicholas Cameron . 2015. What\u2019s the \u201cbest \u201d way to implement a doubly-linked list in Rust?http:\/\/featherweightmusings.blogspot.com\/ 2015 \/04\/graphs-in-rust.html. Accessed April Fools\u2019 Day 2022. Nicholas Cameron. 2015. What\u2019s the \u201cbest\u201d way to implement a doubly-linked list in Rust?http:\/\/featherweightmusings.blogspot.com\/2015\/04\/graphs-in-rust.html. Accessed April Fools\u2019 Day 2022."},{"key":"e_1_3_2_1_11_1","unstructured":"Elias Castegren and Tobias Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP.  Elias Castegren and Tobias Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP."},{"key":"e_1_3_2_1_12_1","volume-title":"www.microsoft.com\/en-us\/research\/project\/project-verona","author":"Chisnall David","year":"2021","unstructured":"David Chisnall , Matthew Parkinson , and Sylvan Clebsch . 2021. Project Verona . ( 2021 ). www.microsoft.com\/en-us\/research\/project\/project-verona . David Chisnall, Matthew Parkinson, and Sylvan Clebsch. 2021. Project Verona. (2021). www.microsoft.com\/en-us\/research\/project\/project-verona."},{"key":"e_1_3_2_1_13_1","volume-title":"Ownership Types: A Survey. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, Vol.\u00a07850.","author":"Clarke Dave","year":"2013","unstructured":"Dave Clarke , Johan \u00d6stlund , Ilya Sergey , and Tobias Wrigstad . 2013 . Ownership Types: A Survey. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, Vol.\u00a07850. Dave Clarke, Johan \u00d6stlund, Ilya Sergey, and Tobias Wrigstad. 2013. Ownership Types: A Survey. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, Vol.\u00a07850."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"David Clarke John\u00a0M. Potter and James Noble. 1998. Ownership Types for Flexible Alias Protection. In OOPSLA.  David Clarke John\u00a0M. Potter and James Noble. 1998. Ownership Types for Flexible Alias Protection. In OOPSLA.","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Sylvan Clebsch Sophia Drossopoulou Sebastian Blessing and Andy McNeil. 2015. Deny capabilities for safe fast actors. In AGERE. 1\u201312.  Sylvan Clebsch Sophia Drossopoulou Sebastian Blessing and Andy McNeil. 2015. Deny capabilities for safe fast actors. In AGERE. 1\u201312.","DOI":"10.1145\/2824815.2824816"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Michael Coblenz Michelle\u00a0L. Mazurek and Michael Hicks. 2022. Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. In ICSE.  Michael Coblenz Michelle\u00a0L. Mazurek and Michael Hicks. 2022. Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. In ICSE.","DOI":"10.1145\/3510003.3510107"},{"key":"e_1_3_2_1_17_1","volume-title":"Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. OOPSLA","author":"Coblenz J.","year":"2020","unstructured":"Michael\u00a0 J. Coblenz , Jonathan Aldrich , Brad\u00a0 A. Myers , and Joshua Sunshine . 2020. Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. OOPSLA ( 2020 ). Michael\u00a0J. Coblenz, Jonathan Aldrich, Brad\u00a0A. Myers, and Joshua Sunshine. 2020. Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. OOPSLA (2020)."},{"key":"e_1_3_2_1_18_1","volume-title":"Day","author":"Cohen Russell","year":"2022","unstructured":"Russell Cohen . 2018. Why Writing a Linked List in (safe) Rust is So Damned Hard. https:\/\/rcoh.me\/posts\/rust-linked-list-basically-impossible\/. Accessed April Fools \u2019 Day 2022 . Russell Cohen. 2018. Why Writing a Linked List in (safe) Rust is So Damned Hard. https:\/\/rcoh.me\/posts\/rust-linked-list-basically-impossible\/. Accessed April Fools\u2019 Day 2022."},{"key":"e_1_3_2_1_19_1","volume-title":"Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. In Onward!","author":"Fernandez-Reyes Kiko","year":"2021","unstructured":"Kiko Fernandez-Reyes , Isaac\u00a0Oscar Gariano , James Noble , Erin Greenwood-Thessman , Michael Homer , and Tobias Wrigstad . 2021 . Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. In Onward! Kiko Fernandez-Reyes, Isaac\u00a0Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, and Tobias Wrigstad. 2021. Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. In Onward!"},{"key":"e_1_3_2_1_20_1","volume-title":"Rust Breaks into TIOBE Top 20 Most Popular Programming Languages. (June","author":"Vivian Hu.","year":"2020","unstructured":"Vivian Hu. 2020. Rust Breaks into TIOBE Top 20 Most Popular Programming Languages. (June 2020 ). InfoQ. Vivian Hu. 2020. Rust Breaks into TIOBE Top 20 Most Popular Programming Languages. (June 2020). InfoQ."},{"key":"e_1_3_2_1_21_1","volume-title":"Stacked Borrows: An Aliasing Model for Rust. In POPL.","author":"Jung Ralf","year":"2019","unstructured":"Ralf Jung , Hoang-Hai Dang , Jeehoon Kang , and Derek Dreyer . 2019 . Stacked Borrows: An Aliasing Model for Rust. In POPL. Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, and Derek Dreyer. 2019. Stacked Borrows: An Aliasing Model for Rust. In POPL."},{"key":"e_1_3_2_1_22_1","volume-title":"POPL, Article 66 (Jan.","author":"Jung Ralf","year":"2017","unstructured":"Ralf Jung , Jacques-Henri Jourdan , Robbert Krebbers , and Derek Dreyer . 2017. RustBelt: Securing the Foundations of the Rust Programming Language. PACMPL 2 , POPL, Article 66 (Jan. 2017 ), 66:1\u201366:34\u00a0pages. Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek Dreyer. 2017. RustBelt: Securing the Foundations of the Rust Programming Language. PACMPL 2, POPL, Article 66 (Jan. 2017), 66:1\u201366:34\u00a0pages."},{"key":"e_1_3_2_1_23_1","volume-title":"Safe Systems Programming in Rust: The Promise and the Challenge. Communications of the ACM","author":"Jung Ralf","year":"2020","unstructured":"Ralf Jung , Jacques-Henri Jourdan , Robbert Krebbers , and Derek Dreyer . 2020. Safe Systems Programming in Rust: The Promise and the Challenge. Communications of the ACM ( 2020 ). Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek Dreyer. 2020. Safe Systems Programming in Rust: The Promise and the Challenge. Communications of the ACM (2020)."},{"key":"e_1_3_2_1_24_1","volume-title":"The Rust Programming Language","author":"Klabnik Steve","unstructured":"Steve Klabnik and Carol Nichols . 2018. The Rust Programming Language ( 2 nd ed.). Steve Klabnik and Carol Nichols. 2018. The Rust Programming Language (2nd ed.).","edition":"2"},{"key":"e_1_3_2_1_25_1","volume-title":"Microsoft forms Rust language team. (Feb","author":"Krill Paul","year":"2021","unstructured":"Paul Krill . 2021. Microsoft forms Rust language team. (Feb . 2021 ). InfoWorld . Paul Krill. 2021. Microsoft forms Rust language team. (Feb. 2021). InfoWorld."},{"key":"e_1_3_2_1_26_1","volume-title":"Concurrent Programming in Java","author":"Lea Doug","unstructured":"Doug Lea . 1998. Concurrent Programming in Java ( 2 nd ed.). Addison-Wesley . Doug Lea. 1998. Concurrent Programming in Java (2nd ed.). Addison-Wesley.","edition":"2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Mae Milano Joshua Turcotti and Andrew\u00a0C. Myers. 2022. A Flexible Type System for Fearless Concurrency. In PLDI.  Mae Milano Joshua Turcotti and Andrew\u00a0C. Myers. 2022. A Flexible Type System for Fearless Concurrency. In PLDI.","DOI":"10.1145\/3519939.3523443"},{"key":"e_1_3_2_1_28_1","volume-title":"\u201cbest","author":"What\u2019s","year":"2022","unstructured":"ndrewxie. 2019. What\u2019s the \u201cbest \u201d way to implement a doubly-linked list in Rust?users.rust-lang.org\/t\/whats-the-best-way-to-implement-a-doubly-linked-list-in-rust\/27899\/7. Accessed April Fools\u2019 Day 2022 . ndrewxie. 2019. What\u2019s the \u201cbest\u201d way to implement a doubly-linked list in Rust?users.rust-lang.org\/t\/whats-the-best-way-to-implement-a-doubly-linked-list-in-rust\/27899\/7. Accessed April Fools\u2019 Day 2022."},{"key":"e_1_3_2_1_29_1","volume-title":"Small Memory Software: Patterns for systems with limited memory","author":"Noble James","unstructured":"James Noble and Charles Weir . 2000. Small Memory Software: Patterns for systems with limited memory . Addison-Wesley . James Noble and Charles Weir. 2000. Small Memory Software: Patterns for systems with limited memory. Addison-Wesley."},{"key":"e_1_3_2_1_30_1","volume-title":"A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. TOPLAS 43, 1","author":"Pearce J.","year":"2021","unstructured":"David\u00a0 J. Pearce . 2021. A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. TOPLAS 43, 1 ( 2021 ). David\u00a0J. Pearce. 2021. A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. TOPLAS 43, 1 (2021)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Boqin Qin Yilun Chen Zeming Yu Linhai Song and Yiying Zhang. 2020. Understanding memory and thread safety practices and issues in real-world Rust programs. In PLDI. 763\u2013779.  Boqin Qin Yilun Chen Zeming Yu Linhai Song and Yiying Zhang. 2020. Understanding memory and thread safety practices and issues in real-world Rust programs. In PLDI. 763\u2013779.","DOI":"10.1145\/zenodo.3756301"},{"key":"e_1_3_2_1_32_1","unstructured":"Ryan\u00a0James Spencer. 2020. Four Ways To Avoid The Wrath Of The Borrow Checker. (2020). justanotherdot.com.  Ryan\u00a0James Spencer. 2020. Four Ways To Avoid The Wrath Of The Borrow Checker. (2020). justanotherdot.com."},{"key":"e_1_3_2_1_33_1","unstructured":"Bjarne Stroustrup. 1986. The C++ Programming Language.  Bjarne Stroustrup. 1986. The C++ Programming Language."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"James Noble John Potter and Jan Vitek. 1998. Flexible Alias Protection. In ECOOP.  James Noble John Potter and Jan Vitek. 1998. Flexible Alias Protection. In ECOOP.","DOI":"10.1007\/BFb0054091"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Joshua Yanovski Hoang-Hai Dang Ralf Jung and Derek Dreyer. 2021. GhostCell: separating permissions from data in Rust. In ICFP.  Joshua Yanovski Hoang-Hai Dang Ralf Jung and Derek Dreyer. 2021. GhostCell: separating permissions from data in Rust. In ICFP.","DOI":"10.1145\/3473597"}],"event":{"name":"FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs","location":"Berlin Germany","acronym":"FTfJP '22"},"container-title":["Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611096.3611097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:53Z","timestamp":1750287053000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":35,"alternative-id":["10.1145\/3611096.3611097","10.1145\/3611096"],"URL":"https:\/\/doi.org\/10.1145\/3611096.3611097","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]},"assertion":[{"value":"2023-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}