{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T04:08:05Z","timestamp":1776398885456,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2130257,2112562"],"award-info":[{"award-number":["2130257,2112562"]}],"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":[[2023,10,23]]},"DOI":"10.1145\/3623759.3624549","type":"proceedings-article","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T13:05:51Z","timestamp":1697288751000},"page":"66-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Panic Recovery in Rust-based Embedded Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1868-4856","authenticated-orcid":false,"given":"Zhiyao","family":"Ma","sequence":"first","affiliation":[{"name":"Yale University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6450-4983","authenticated-orcid":false,"given":"Guojun","family":"Chen","sequence":"additional","affiliation":[{"name":"Yale University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0840-167X","authenticated-orcid":false,"given":"Lin","family":"Zhong","sequence":"additional","affiliation":[{"name":"Yale University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jorge Aparicio. 2018. panic-halt. https:\/\/crates.io\/crates\/panic-abort"},{"key":"e_1_3_2_1_2_1","unstructured":"ARM Limited 2023. Exception Handling ABI for the Arm Architecture. ARM Limited. https:\/\/github.com\/ARM-software\/abi-aa\/blob\/844a79fd4c77252a11342709e3b27b2c9f590cf1\/ehabi32\/ehabi32.rst"},{"key":"e_1_3_2_1_3_1","unstructured":"Bitcraze. [n. d.]. Crazyflie: A flying open development platform. https:\/\/www.bitcraze.io\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. USENIX OSDI.","author":"Boos Kevin","year":"2020","unstructured":"Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. 2020. Theseus: an experiment in operating system structure and state management. In Proc. USENIX OSDI."},{"key":"e_1_3_2_1_5_1","volume-title":"Microreboot--a technique for cheap recovery. arXiv preprint cs\/0406005","author":"Candea George","year":"2004","unstructured":"George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. 2004. Microreboot--a technique for cheap recovery. arXiv preprint cs\/0406005 (2004)."},{"key":"e_1_3_2_1_6_1","unstructured":"Tom Cargill. 1996. Exception handling: A false sense of security. In C++ gems. 423--431."},{"key":"e_1_3_2_1_7_1","volume-title":"Embassy: The next-generation framework for embedded applications. https:\/\/embassy.dev","author":"Contributors Embassy Project","year":"2023","unstructured":"Embassy Project Contributors. 2023. Embassy: The next-generation framework for embedded applications. https:\/\/embassy.dev"},{"key":"e_1_3_2_1_8_1","unstructured":"Rust Standard Library Contributors. 2023. Rust std::panic::catch_unwind. https:\/\/doc.rust-lang.org\/std\/panic\/fn.catch_unwind.html"},{"key":"e_1_3_2_1_9_1","unstructured":"DWARF Standards Committee 2010. DWARF Debugging Information Format. DWARF Standards Committee. http:\/\/dwarfstd.org\/doc\/DWARF4.pdf"},{"key":"e_1_3_2_1_10_1","unstructured":"FreeRTOS. [n. d.]. Real Time Operating System. http:\/\/www.freertos.org\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Emil Fresk. 2018. panic-halt. https:\/\/crates.io\/crates\/panic-halt"},{"key":"e_1_3_2_1_12_1","unstructured":"Adam Greig. 2018. panic-itm. https:\/\/crates.io\/crates\/panic-itm"},{"key":"e_1_3_2_1_13_1","unstructured":"Adam Greig. 2018. panic-semihosting. https:\/\/crates.io\/crates\/panic-semihosting"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499368.2451168"},{"key":"e_1_3_2_1_15_1","unstructured":"knurling team. 2020. panic-probe. https:\/\/crates.io\/crates\/panic-probe\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_1_17_1","unstructured":"Linux. 2023. Linux Kernel ORC Unwinder. https:\/\/www.kernel.org\/doc\/html\/next\/x86\/orc-unwinder.html"},{"key":"e_1_3_2_1_18_1","unstructured":"Express Logic and Microsoft. 2023. ThreadX. https:\/\/azure.microsoft.com\/en-us\/products\/rtos\/"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2003166"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302516.3307346"},{"key":"e_1_3_2_1_21_1","unstructured":"Wind River. 2023. VxWorks. https:\/\/www.windriver.com\/products\/vxworks"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189257"},{"key":"e_1_3_2_1_23_1","unstructured":"Valentine Valyaeff. 2017. Drone OS. https:\/\/www.drone-os.com\/."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. IEEE Symp. Defect and Fault Tolerance in VLSI Systems.","author":"Zhang Ying","unstructured":"Ying Zhang and Krishnendu Chakrabarty. [n.d.]. Fault recovery based on checkpointing for hard real-time embedded systems. In Proc. IEEE Symp. Defect and Fault Tolerance in VLSI Systems."}],"event":{"name":"SOSP '23: ACM SIGOPS 29th Symposium on Operating Systems Principles","location":"Koblenz Germany","acronym":"SOSP '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 12th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623759.3624549","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3623759.3624549","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3623759.3624549","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3623759.3624549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T18:28:52Z","timestamp":1755973732000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623759.3624549"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":24,"alternative-id":["10.1145\/3623759.3624549","10.1145\/3623759"],"URL":"https:\/\/doi.org\/10.1145\/3623759.3624549","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}