{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:17Z","timestamp":1750220057082,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"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":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577815","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1380-1383","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous cooperative threading model in MSSL"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6863-0656","authenticated-orcid":false,"given":"Darine","family":"Rammal","sequence":"first","affiliation":[{"name":"LIFO, University of Orleans, Orleans, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8393-9288","authenticated-orcid":false,"given":"Wadoud","family":"Bousdira","sequence":"additional","affiliation":[{"name":"LIFO, University of Orleans, Orleans, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9009-0676","authenticated-orcid":false,"given":"Frederic","family":"Dabrowski","sequence":"additional","affiliation":[{"name":"LIFO, University of Orleans, Orleans, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. The Rust programming language. http:\/\/www.rust-lang.org. ([n. d.]).  [n. d.]. The Rust programming language. http:\/\/www.rust-lang.org. ([n. d.])."},{"key":"e_1_3_2_1_2_1","volume-title":"Concurrency and Computation: Practice and Experience","author":"Boussinot F.","year":"2005","unstructured":"F. Boussinot . 2005 . \" FairThreads: Mixing Cooperative and Preemptive Threads in C .\". Concurrency and Computation: Practice and Experience , (2005). F. Boussinot. 2005. \"FairThreads: Mixing Cooperative and Preemptive Threads in C.\". Concurrency and Computation: Practice and Experience, (2005)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"e_1_3_2_1_5_1","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Michael Hicks Yanling Wang Trevor Jim","year":"2002","unstructured":"Trevor Jim Michael Hicks Yanling Wang Dan Grossman , Greg Morrisett and James Cheney . 2002 . \" Region-Based Memory Management in Cyclone .\". In ACM SIGPLAN Conference on Programming Language Design and Implementation (2002). Trevor Jim Michael Hicks Yanling Wang Dan Grossman, Greg Morrisett and James Cheney. 2002. \"Region-Based Memory Management in Cyclone.\". In ACM SIGPLAN Conference on Programming Language Design and Implementation (2002)."},{"key":"e_1_3_2_1_6_1","volume-title":"Exploit for CVS double free() for Linux pserver. (06","author":"Dobrovitski Igor","year":"2022","unstructured":"Igor Dobrovitski . 2022. Exploit for CVS double free() for Linux pserver. (06 2022 ). Igor Dobrovitski. 2022. Exploit for CVS double free() for Linux pserver. (06 2022)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-014-0203-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604177"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512563"},{"key":"e_1_3_2_1_10_1","unstructured":"Nicolas Halbwachs P. Caspi Pascal Raymond and D. Pilaud. 2000. The synchronous dataflow programming language LUSTRE. (01 2000).  Nicolas Halbwachs P. Caspi Pascal Raymond and D. Pilaud. 2000. The synchronous dataflow programming language LUSTRE. (01 2000)."},{"key":"e_1_3_2_1_11_1","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management.","author":"Jones Richard","year":"1996","unstructured":"Richard Jones and Rafael Lins . 1996 . Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Richard Jones and Rafael Lins. 1996. Garbage Collection: Algorithms for Automatic Dynamic Memory Management."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158154"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"e_1_3_2_1_14_1","unstructured":"Nicholas D. Matsakis. 2016.. Non-lexical lifetimes: introduction. http:\/\/smallcultfollowing.com\/babysteps\/blog\/2016\/04\/27\/non-lexical-lifetimes-introduction\/. Accessed: 2019-02-28. (2016.).  Nicholas D. Matsakis. 2016.. Non-lexical lifetimes: introduction. http:\/\/smallcultfollowing.com\/babysteps\/blog\/2016\/04\/27\/non-lexical-lifetimes-introduction\/. Accessed: 2019-02-28. (2016.)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3443420"},{"key":"e_1_3_2_1_16_1","volume-title":"Logics and Models of Concurrent Systems. Transition from global to modular temporal reasoning about programs (01","author":"Pnueli A.","year":"1984","unstructured":"A. Pnueli . 1984. Logics and Models of Concurrent Systems. Transition from global to modular temporal reasoning about programs (01 1984 ), 123--144. A. Pnueli. 1984. Logics and Models of Concurrent Systems. Transition from global to modular temporal reasoning about programs (01 1984), 123--144."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349331"},{"key":"e_1_3_2_1_18_1","volume-title":"Oxide: The Essence of Rust.","author":"Weiss Aaron","year":"2019","unstructured":"Aaron Weiss , Daniel Patterson , Nicholas Matsakis , and Amal Ahmed . 2019 . Oxide: The Essence of Rust. Aaron Weiss, Daniel Patterson, Nicholas Matsakis, and Amal Ahmed. 2019. Oxide: The Essence of Rust."}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Tallinn Estonia","acronym":"SAC '23"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577815","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:30Z","timestamp":1750183710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":18,"alternative-id":["10.1145\/3555776.3577815","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577815","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}