{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:19:33Z","timestamp":1759033173535,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CNS-1955965"],"award-info":[{"award-number":["CNS-1955965"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,30]]},"DOI":"10.1145\/3372297.3420024","type":"proceedings-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T18:27:04Z","timestamp":1604341624000},"page":"2085-2087","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["VRLifeTime -- An IDE Tool to Avoid Concurrency and Memory Bugs in Rust"],"prefix":"10.1145","author":[{"given":"Ziyi","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Science and Technology of China & Pennsylvania State University, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boqin","family":"Qin","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications & Pennsylvania State University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yilun","family":"Chen","sequence":"additional","affiliation":[{"name":"HoneycombData Inc., Santa Clara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linhai","family":"Song","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, University Park, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiying","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"unstructured":"David Blaser. 2019. Simple Explanation of Complex Lifetime Errors in Rust. https:\/\/ethz.ch\/content\/dam\/ethz\/special-interest\/infk\/chair-program-method\/pm\/documents\/Education\/Theses\/David_Blaser_BA_Report.pdf.  David Blaser. 2019. Simple Explanation of Complex Lifetime Errors in Rust. https:\/\/ethz.ch\/content\/dam\/ethz\/special-interest\/infk\/chair-program-method\/pm\/documents\/Education\/Theses\/David_Blaser_BA_Report.pdf.","key":"e_1_3_2_1_1_1"},{"volume-title":"KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In OSDI '08","year":"2008","author":"Cadar Cristian","key":"e_1_3_2_1_2_1"},{"unstructured":"Dietler Dominik. 2018. Visualization of Lifetime Constraints in Rust. https:\/\/ethz.ch\/content\/dam\/ethz\/special-interest\/infk\/chair-program-method\/pm\/documents\/Education\/Theses\/Dominik_Dietler_BA_report.pdf.  Dietler Dominik. 2018. Visualization of Lifetime Constraints in Rust. https:\/\/ethz.ch\/content\/dam\/ethz\/special-interest\/infk\/chair-program-method\/pm\/documents\/Education\/Theses\/Dominik_Dietler_BA_report.pdf.","key":"e_1_3_2_1_3_1"},{"unstructured":"Facebook. 2019. Libra's mission is to enable a simple global currency and financial infrastructure that empowers billions of people. https:\/\/developers.libra.org\/  Facebook. 2019. Libra's mission is to enable a simple global currency and financial infrastructure that empowers billions of people. https:\/\/developers.libra.org\/","key":"e_1_3_2_1_4_1"},{"unstructured":"Microsoft. 2019. Visual Studio Code - Code Editing. Redefined. https:\/\/code.visualstudio.com\/.  Microsoft. 2019. Visual Studio Code - Code Editing. Redefined. https:\/\/code.visualstudio.com\/.","key":"e_1_3_2_1_5_1"},{"unstructured":"Miri. 2019. An interpreter for Rust's mid-level intermediate representation. https:\/\/github.com\/rust-lang\/miri  Miri. 2019. An interpreter for Rust's mid-level intermediate representation. https:\/\/github.com\/rust-lang\/miri","key":"e_1_3_2_1_6_1"},{"unstructured":"Parity-ethereum. 2019. The Parity Ethereum Client. https:\/\/www.parity.io\/ethereum\/  Parity-ethereum. 2019. The Parity Ethereum Client. https:\/\/www.parity.io\/ethereum\/","key":"e_1_3_2_1_7_1"},{"unstructured":"Boqin Qin. 2020. ethcore\/client: fix deadlock caused by double-read lock. https:\/\/github.com\/openethereum\/openethereum\/pull\/11766  Boqin Qin. 2020. ethcore\/client: fix deadlock caused by double-read lock. https:\/\/github.com\/openethereum\/openethereum\/pull\/11766","key":"e_1_3_2_1_8_1"},{"volume-title":"Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs. In PLDI '20","year":"2020","author":"Qin Boqin","key":"e_1_3_2_1_9_1"},{"unstructured":"Redox. 2019. The Redox Operating System. https:\/\/www.redox-os.org\/  Redox. 2019. The Redox Operating System. https:\/\/www.redox-os.org\/","key":"e_1_3_2_1_10_1"},{"unstructured":"Rust-clippy. 2019. A bunch of lints to catch common mistakes and improve your Rust code. https:\/\/github.com\/rust-lang\/rust-clippy  Rust-clippy. 2019. A bunch of lints to catch common mistakes and improve your Rust code. https:\/\/github.com\/rust-lang\/rust-clippy","key":"e_1_3_2_1_11_1"},{"unstructured":"Servo. 2019. The Servo Browser Engine. https:\/\/servo.org\/  Servo. 2019. The Servo Browser Engine. https:\/\/servo.org\/","key":"e_1_3_2_1_12_1"},{"unstructured":"Tock. 2019. Tock Embedded Operating System. https:\/\/www.tockos.org\/  Tock. 2019. Tock Embedded Operating System. https:\/\/www.tockos.org\/","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1736020.1736041"}],"event":{"sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"acronym":"CCS '20","name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event USA"},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3420024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3420024","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3420024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:32Z","timestamp":1750197692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3420024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":14,"alternative-id":["10.1145\/3372297.3420024","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3420024","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}