{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:51Z","timestamp":1750309611156,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"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":[[2025,3,31]]},"DOI":"10.1145\/3672608.3707920","type":"proceedings-article","created":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:26:54Z","timestamp":1747247214000},"page":"1383-1390","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Kernel Source Code Management for BMC Optimization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0886-9056","authenticated-orcid":false,"given":"Kyungeun","family":"Oh","sequence":"first","affiliation":[{"name":"Soongsil University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6654-326X","authenticated-orcid":false,"given":"Jeonghwan","family":"Oh","sequence":"additional","affiliation":[{"name":"Soongsil University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9300-8114","authenticated-orcid":false,"given":"Hangyeol","family":"Kim","sequence":"additional","affiliation":[{"name":"Soongsil University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9858-7365","authenticated-orcid":false,"given":"Seongmo","family":"An","sequence":"additional","affiliation":[{"name":"Soongsil University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6407-6678","authenticated-orcid":false,"given":"Junyoung","family":"Heo","sequence":"additional","affiliation":[{"name":"Hansung University, Seoul, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7937-6358","authenticated-orcid":false,"given":"Jiman","family":"Hong","sequence":"additional","affiliation":[{"name":"Soongil University, Seoul, Republic of Korea"}]}],"member":"320","published-online":{"date-parts":[[2025,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Technavio. Data Center Market Size Growth Report 2024\u20132028. https:\/\/www.technavio.com\/report\/data-center-market-industry-analysis"},{"key":"e_1_3_2_1_2_1","volume-title":"Forbes, (Oct. 2018","author":"Peter W.","year":"2018","unstructured":"W. Peter. Protecting Data Without Blowing the Budget, Part 1: Onsite Backup. Forbes, (Oct. 2018), www.forbes.com\/sites\/forbestechcouncil\/2018\/10\/04\/protecting-data-without-blowing-the-budget-part-1-onsite-backup"},{"key":"e_1_3_2_1_3_1","unstructured":"The Linux Kernel\/ftrace - Function Tracer. 2008. https:\/\/www.kernel.org\/doc\/html\/v4.17\/trace\/ftrace.html"},{"key":"e_1_3_2_1_4_1","unstructured":"The Linux Kernel\/Boot-time tracing. 2020. https:\/\/www.kernel.org\/doc\/html\/v5.8\/trace\/boottime-trace.html"},{"key":"e_1_3_2_1_5_1","unstructured":"Bootchart - eLinux.org. (Nov. 2021) https:\/\/elinux.org\/Bootchart"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577723"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"Tracey L. Weissgerber et al. From Static to Interactive: Transforming Data Visualization to Improve Transparency. PLoS Biology 14 6 (Jun. 2016) 10.1371\/journal.pbio.1002484","DOI":"10.1371\/journal.pbio.1002484"},{"key":"e_1_3_2_1_8_1","unstructured":"Data Compression Explained. (Apr. 2013) mattmahoney.net\/dc\/dce.html"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3390\/s23125759"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/322063.322075"},{"key":"e_1_3_2_1_11_1","unstructured":"AST2600. 2019. https:\/\/www.aspeedtech.com\/server_ast2600"}],"event":{"name":"SAC '25: 40th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Catania International Airport Catania Italy","acronym":"SAC '25"},"container-title":["Proceedings of the 40th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672608.3707920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672608.3707920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:57:36Z","timestamp":1750298256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672608.3707920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":11,"alternative-id":["10.1145\/3672608.3707920","10.1145\/3672608"],"URL":"https:\/\/doi.org\/10.1145\/3672608.3707920","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]},"assertion":[{"value":"2025-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}