{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:31:08Z","timestamp":1754145068801,"version":"3.41.2"},"reference-count":62,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["u19a2060, 62172431, 62472432, and 62472086"],"award-info":[{"award-number":["u19a2060, 62172431, 62472432, and 62472086"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2024YFB4405600"],"award-info":[{"award-number":["2024YFB4405600"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Pre-Research Project","award":["31511100101"],"award-info":[{"award-number":["31511100101"]}]},{"DOI":"10.13039\/501100005144","name":"Basic Research Program of Jiangsu Education Department","doi-asserted-by":"publisher","award":["BK20243042"],"award-info":[{"award-number":["BK20243042"]}],"id":[{"id":"10.13039\/501100005144","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Major Special Program of Jiangsu","award":["BG2024010"],"award-info":[{"award-number":["BG2024010"]}]},{"name":"Start-up Research Fund of Southeast University","award":["RF1028624005"],"award-info":[{"award-number":["RF1028624005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2025,7,31]]},"abstract":"<jats:p>Programming languages play a crucial role in ensuring the safety of the Operating System (OS). Traditional low-level languages (e.g., C, C++), while high-performance, usually offer very limited protections on safety, and their vulnerability patches (e.g., AddressSanitizer, DangSan), while effective in mitigating some issues, are often too expensive. Rust language combines memory safety with performance, providing a fresh paradigm for constructing efficient, reliable, and dependable. However, existing Rust rely on unsafe code fragments to interface with low-level hardware and other programming languages, introducing critical issues: (1) compromised system-wide safety due to the presence of unsafe code, (2)\u00a0inaccurate defect detection because of unavoidable interactions between unsafe and safe code; and (3)\u00a0difficulty in finding an optimal balance between accuracy and efficiency of defect detection and elimination.<\/jats:p>\n          <jats:p>\n            In contrast to the previous work, we believe \u2014 \u201c\n            <jats:italic toggle=\"yes\">prevention is always better than cure<\/jats:italic>\n            \u201d. Therefore, we propose a new methodology (namely Thetis) to detect and guide the minimization of unsafe fragments in Rust source code. For unsafe code detection, Thetis designs an automated inspection method based on feature extraction. For unsafe code elimination based on Unsafe Rust types and interchangeability, Thetis prop defect optimization suggestions and designs a framework to automatically provide safer code recommendations. We have designed and implemented a new tool called Thetis-lathe based on Thetis and have also ported Thetis-lathe to three mainstream Rust applications, i.e., BlogOS, rCore, and Miri Failure Set. Evaluations show that our tool improved the accuracy of defects and decreased the amount of unsafe code by 35% and undefined behavior by approximately 50%. Furthermore, Thetis-lathe speeds up the run-time about 5x compared with the sanitizer and LMbench results indicate that our approach introduces 7.6% (average) performance overhead on the entire system.\n          <\/jats:p>","DOI":"10.1145\/3736729","type":"journal-article","created":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T06:48:41Z","timestamp":1748242121000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes"],"prefix":"10.1145","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-4411-8150","authenticated-orcid":false,"given":"Renshuang","family":"Jiang","sequence":"first","affiliation":[{"name":"School of Computing, National University of Defense Technology","place":["Changsha, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2890-260X","authenticated-orcid":false,"given":"Pan","family":"Dong","sequence":"additional","affiliation":[{"name":"Computer Science, National University of Defense Technology","place":["Changsha, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4741-517X","authenticated-orcid":false,"given":"Yan","family":"Ding","sequence":"additional","affiliation":[{"name":"National University of Defense Technology","place":["Changsha, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2191-1359","authenticated-orcid":false,"given":"Ran","family":"Wei","sequence":"additional","affiliation":[{"name":"Computing and Communications, Lancaster University","place":["Lancaster, United Kingdom of Great Britain and Northern Ireland"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8509-3167","authenticated-orcid":false,"given":"Zhe","family":"Jiang","sequence":"additional","affiliation":[{"name":"University of Cambridge","place":["Cambridge, United Kingdom"]},{"name":"Southeast University","place":["Nanjing, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,11]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1080\/14786440009463897"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01086178"},{"key":"e_1_3_1_4_2","first-page":"60","volume-title":"Proceedings of the International Joint Conference on AI","volume":"55","author":"Veropoulos Konstantinos","year":"1999","unstructured":"Konstantinos Veropoulos, Colin Campbell, and Nello Cristianini. 1999. Controlling the sensitivity of support vector machines. In Proceedings of the International Joint Conference on AI, Vol. 55. Stockholm, 60."},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.665"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134000"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_1_9_2","volume-title":"WBIA\u201909: Proceedings of the Workshop on Binary Instrumentation and Applications","author":"Iskhodzhanov Konstantin Serebryany and Timur","year":"2009","unstructured":"Konstantin Serebryany and Timur Iskhodzhanov. 2009. ThreadSanitizer: Data race detection in practice. In WBIA\u201909: Proceedings of the Workshop on Binary Instrumentation and Applications."},{"key":"e_1_3_1_10_2","first-page":"309","volume-title":"Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC\u201912)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC\u201912). 309\u2013318."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2013.25"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_1_14_2","first-page":"103","article-title":"Exploring semantic preference and semantic prosody across English and Chinese: Their roles for cross-linguistic equivalence","author":"Wei Xiaohong Li and Naixing","year":"2014","unstructured":"Xiaohong Li and Naixing Wei. 2014. Exploring semantic preference and semantic prosody across English and Chinese: Their roles for cross-linguistic equivalence. Corpus Linguistics and Linguistic Theory 10, 1 (2014), 103\u2013138.","journal-title":"Corpus Linguistics and Linguistic Theory"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663188"},{"key":"e_1_3_1_16_2","volume-title":"ASIA CCS\u201915: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security","author":"Wagner Thurston H. Y. Dang, Petros Maniatis, and David","year":"2015","unstructured":"Thurston H. Y. Dang, Petros Maniatis, and David Wagner. 2015. The performance cost of shadow stacks and stack canaries. In ASIA CCS\u201915: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2325"},{"key":"e_1_3_1_18_2","volume-title":"PLOS\u201917: Proceedings of the 9th Workshop on Programming Languages and Operating Systems","author":"Zhong Kevin Boos and Lin","year":"2017","unstructured":"Kevin Boos and Lin Zhong. 2017. Theseus: A state spill-free operating system. In PLOS\u201917: Proceedings of the 9th Workshop on Programming Languages and Operating Systems."},{"key":"e_1_3_1_19_2","unstructured":"Filip Nilsson and Sebastian Lund. 2018. Abstraction layers and energy efficiency in TockOS a rust-based runtime for the internet of things. (2018)."},{"key":"e_1_3_1_20_2","unstructured":"Philipp. 2018. BlogOS. Retrieved May 31 2025 from https:\/\/github.com\/phil-opp\/blog_os"},{"key":"e_1_3_1_21_2","first-page":"601","volume-title":"Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC\u201918)","author":"Lawall Julia","year":"2018","unstructured":"Julia Lawall and Gilles Muller. 2018. Coccinelle: 10 years of automated evolution in the Linux kernel. In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC\u201918). 601\u2013614."},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.00014"},{"key":"e_1_3_1_24_2","unstructured":"Steve Klabnik and Carol Nichols. 2018. The Rust Programming Language. Retrieved May 31 2025 from https:\/\/doc.rust-lang.org\/stable\/book\/2018-edition\/"},{"key":"e_1_3_1_25_2","volume-title":"Proceedings of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL\u201918)","author":"Dreyer Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek","year":"2018","unstructured":"Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek Dreyer. 2018. RustBelt: Securing the foundations of the rust programming language. In Proceedings of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL\u201918)."},{"key":"e_1_3_1_26_2","first-page":"919","volume-title":"Proceedings of the 27th USENIX Security Symposium (USENIX Security\u201918)","author":"Mu Dongliang","year":"2018","unstructured":"Dongliang Mu, Alejandro Cuevas, Limin Yang, Hang Hu, Xinyu Xing, Bing Mao, and Gang Wang. 2018. Understanding the reproducibility of crowd-reported security vulnerabilities. In Proceedings of the 27th USENIX Security Symposium (USENIX Security\u201918). 919\u2013936."},{"key":"e_1_3_1_27_2","unstructured":"Tom Alexander. 2018. What is a Software Defect. Retrieved May 31 2025 fromhttps:\/\/smartbear.com\/blog\/what-is-software-defect\/"},{"key":"e_1_3_1_28_2","first-page":"80","article-title":"Recent progress in program analysis","author":"Zhang JiFeng Xuan, YingFei Xiong , Qianxiang Wang, Bin Liang, Lian Li, Wensheng Dou , ZhenBang Chen ; Liqian Chen, Yan Cai, Jian Zhang, Chao","year":"2019","unstructured":"JiFeng Xuan, YingFei Xiong , Qianxiang Wang, Bin Liang, Lian Li, Wensheng Dou , ZhenBang Chen ; Liqian Chen, Yan Cai, Jian Zhang, Chao Zhang. 2019. Recent progress in program analysis. Ruan Jian Xue Bao\/Journal of Software 30, 1 (2019), 80\u2013109.","journal-title":"Ruan Jian Xue Bao\/Journal of Software"},{"key":"e_1_3_1_29_2","volume-title":"Proceedings of the 2019 IEEE Symposium on Security and Privacy (SP\u201919)","author":"Payer Nathan Burow, Xinping Zhang, and Mathias","year":"2019","unstructured":"Nathan Burow, Xinping Zhang, and Mathias Payer. 2019. SoK: Shining light on shadow stacks. In Proceedings of the 2019 IEEE Symposium on Security and Privacy (SP\u201919)."},{"key":"e_1_3_1_30_2","unstructured":"Stackoverflow.com. 2019. Stack Overflow Developer Survey 2021. Retrieved May 31 2025 from https:\/\/insights.stackoverflow.com\/survey\/2019#most-loved-dreaded-and-wanted"},{"key":"e_1_3_1_31_2","unstructured":"Miller M.2019. Trends Challenges and Strategic Shifts in the Software Vulnerability Mitigation Landscape. Retrieved May 31 2025 from https:\/\/github.com\/microsoft\/MSRC-Security-Research"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3386263.3407586"},{"key":"e_1_3_1_33_2","unstructured":"rust lang.org. 2020. HashMap. Retrieved May 31 2025 from https:\/\/doc.rust-lang.org\/rust-by-example\/std\/hash.html"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"e_1_3_1_35_2","volume-title":"Proceedings of the 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE\u201920)","author":"Soffa Ana Nora Evans, Bradford Campbell, and Mary Lou","year":"2020","unstructured":"Ana Nora Evans, Bradford Campbell, and Mary Lou Soffa. 2020. Is rust used safely by software developers?. In Proceedings of the 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE\u201920)."},{"key":"e_1_3_1_36_2","unstructured":"rust lang.org. 2020. Miri. Retrieved April 17 2024 from https:\/\/github.com\/rust-lang\/miri"},{"key":"e_1_3_1_37_2","first-page":"234","article-title":"On the semantic equivalence of language syntax formalisms","author":"Mastroeni Samuele Buro and Isabella","year":"2020","unstructured":"Samuele Buro and Isabella Mastroeni. 2020. On the semantic equivalence of language syntax formalisms. Theoretical Computer Science 840, B (2020), 234\u2013248.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_1_38_2","unstructured":"Yu Chen. 2020. rCore. Retrieved April 17 2024 from https:\/\/github.com\/rcore-os\/rCore-Tutorial-v3"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380325"},{"key":"e_1_3_1_40_2","unstructured":"Stackoverflow.com. 2020. Stack Overflow Developer Survey 2021. Retrieved May 31 2025 from https:\/\/insights.stackoverflow.com\/survey\/2020#most-loved-dreaded-and-wanted"},{"issue":"7","key":"e_1_3_1_41_2","first-page":"2040","article-title":"Survey of software vulnerability mining methods based on machine learning","volume":"31","author":"Li Yun","year":"2020","unstructured":"Yun Li, Chenlin Huang, Zhongfeng Wang, Lu Yuan, and Xiaochuan Wang. 2020. Survey of software vulnerability mining methods based on machine learning. Journal of Software 31, 7 (2020), 2040\u20132061.","journal-title":"Journal of Software"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-021-1593-4"},{"key":"e_1_3_1_44_2","volume-title":"SOSP\u201921: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles","author":"Kim Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, and Taesoo","year":"2021","unstructured":"Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, and Taesoo Kim. 2021. Rudra: Finding memory safety bugs in rust at the ecosystem scale. In SOSP\u201921: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles."},{"key":"e_1_3_1_45_2","volume-title":"ASE\u201921: Proceedings of the 36th IEEE\/ACM International Conference on Automated Software Engineering","author":"Zhou Jianfeng Jiang, Hui Xu, and Yangfan","year":"2021","unstructured":"Jianfeng Jiang, Hui Xu, and Yangfan Zhou. 2021. RULF: Rust library fuzzing via API dependency graph traversal. In ASE\u201921: Proceedings of the 36th IEEE\/ACM International Conference on Automated Software Engineering."},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW53611.2021.00089"},{"key":"e_1_3_1_47_2","unstructured":"Stackoverflow.com. 2021. Stack Overflow Developer Survey 2021. Retrieved May 31 2025 from https:\/\/insights.stackoverflow.com\/survey\/2021#most-loved-dreaded-and-wanted"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00048"},{"key":"e_1_3_1_49_2","unstructured":"Yu Chen. 2022. ArceOS. Retrieved May 31 2025 from https:\/\/github.com\/rcore-os\/arceos"},{"key":"e_1_3_1_50_2","volume-title":"ICSE\u201922: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings","author":"Hassan Michael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R. Cordy, and Ahmed E.","year":"2022","unstructured":"Michael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R. Cordy, and Ahmed E. Hassan. 2022. In rust we trust: A transpiler from unsafe C to safer rust. In ICSE\u201922: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings."},{"key":"e_1_3_1_51_2","unstructured":"Google. 2022. KatoOS. Retrieved May 31 2025 from https:\/\/opensource.googleblog.com\/2022\/10\/announcing-kataos-and-sparrow.html"},{"key":"e_1_3_1_52_2","volume-title":"ICSE\u201922: Proceedings of the 44th International Conference on Software Engineering","author":"Song Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, and Linhai","year":"2022","unstructured":"Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, and Linhai Song. 2022. Learning and programming challenges of rust: A mixed-methods study. In ICSE\u201922: Proceedings of the 44th International Conference on Software Engineering."},{"key":"e_1_3_1_53_2","volume-title":"Proceedings of the 2022 IEEE Conference on Dependable and Secure Computing (DSC\u201922)","author":"Wu Shao-Fu Chen and Yu-Sung","year":"2022","unstructured":"Shao-Fu Chen and Yu-Sung Wu. 2022. Linux kernel module development with rust. In Proceedings of the 2022 IEEE Conference on Dependable and Secure Computing (DSC\u201922)."},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSC54232.2022.9888822"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3488269"},{"key":"e_1_3_1_56_2","volume-title":"EuroSys\u201922: Proceedings of the 17th European Conference on Computer Systems","author":"Franz Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, and Michael","year":"2022","unstructured":"Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, and Michael Franz. 2022. PKRU-safe: Automatically locking down the heap between safe and unsafe languages. In EuroSys\u201922: Proceedings of the 17th European Conference on Computer Systems."},{"key":"e_1_3_1_57_2","unstructured":"Rust std. 2022. std::thread. Retrieved May 31 2025 from https:\/\/doc.rust-lang.org\/stable\/std\/thread\/index.html"},{"key":"e_1_3_1_58_2","unstructured":"Zbus. 2022. Zbus. Retrieved May 31 2025 from https:\/\/docs.rs\/zbus\/latest\/zbus\/"},{"key":"e_1_3_1_59_2","unstructured":"Pan Dong Renshuang Jiang. 2023. A method and system for automatic defect detection in rust programs based on feature extraction. Patent No. 202310947118.4."},{"key":"e_1_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.3390\/app132312738"},{"key":"e_1_3_1_61_2","unstructured":"TOP500.org. 2023. Top 500 HPC. Retrieved May 31 2025 from https:\/\/www.top500.org\/"},{"key":"e_1_3_1_62_2","unstructured":"Inyoung Bang Martin Kayondo Hyungon Moon and Yunheung Paek. 2023. TRust: A compilation framework for in-process isolation to protect safe rust against untrusted code. In Proceedings of the 32nd USENIX Security Symposium (USENIX Security\u201923). 6947\u20136964."},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1875"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T11:58:49Z","timestamp":1752667129000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,11]]},"references-count":62,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7,31]]}},"alternative-id":["10.1145\/3736729"],"URL":"https:\/\/doi.org\/10.1145\/3736729","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2025,7,11]]},"assertion":[{"value":"2024-01-22","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}