{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:50Z","timestamp":1754144930201,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3735452.3735528","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:11:16Z","timestamp":1749827476000},"page":"109-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6598-9188","authenticated-orcid":false,"given":"Arman","family":"Cham Heidari","sequence":"first","affiliation":[{"name":"Shahid Beheshti University, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7274-9569","authenticated-orcid":false,"given":"Mehran","family":"Alidoost Nia","sequence":"additional","affiliation":[{"name":"Shahid Beheshti University, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3708560"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236950.3236955"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857077"},{"key":"e_1_3_2_2_6_1","article-title":"Mape-k patterns for self-adaptation in cyberphysical systems","volume":"79","author":"Halima Riadh Ben","year":"2023","unstructured":"Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, and Ahmed Hadj Kacem. 2023. Mape-k patterns for self-adaptation in cyberphysical systems. The Journal of Supercomputing 79, 5 ( 2023 ), 4917-4943.","journal-title":"The Journal of Supercomputing"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062358"},{"key":"e_1_3_2_2_8_1","unstructured":"Alan Burns and Robert Ian Davis. 2022. Mixed criticality systems-a review:(february 2022 ). ( 2022 )."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i2.16179"},{"key":"e_1_3_2_2_10_1","volume-title":"Jos\u00e9 Gabriel de Figueiredo Coutinho, and Pedro C Diniz","author":"Paiva Cardoso Jo\u00e3o Manuel","year":"2017","unstructured":"Jo\u00e3o Manuel Paiva Cardoso, Jos\u00e9 Gabriel de Figueiredo Coutinho, and Pedro C Diniz. 2017. Embedded computing for high performance: Eficient mapping of computations using customization, code transformations and compilation. Morgan Kaufmann."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","unstructured":"Arman Cham Heidari and Mehran Alidoost Nia. 2025. JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution (Artifact). doi:10.5281\/zenodo.15378813 10.5281\/zenodo.15378813","DOI":"10.5281\/zenodo.15378813"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Alexandre Esper Geofrey Nelissen Vincent N\u00e9lis and Eduardo Tovar. 2018. An industrial view on the common academic understanding of mixed-criticality systems. Real-Time Systems 54 ( 2018 ) 745-795.","DOI":"10.1007\/s11241-018-9308-9"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134780"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSACW65225"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487921"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528223.3530099"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314595"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","unstructured":"J.O. Kephart and D.M. Chess. 2003. The vision of autonomic computing. Computer 36 1 ( 2003 ) 41-50. doi: 10.1109\/ MC. 2003.1160055 10.1109\/MC.2003.1160055","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519582"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454097"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313808.3313818"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833162"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_2_25_1","volume-title":"ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress.","author":"Leroy Xavier","year":"2016","unstructured":"Xavier Leroy, Sandrine Blazy, Daniel K\u00e4stner, Bernhard Schommer, Markus Pister, and Christian Ferdinand. 2016. CompCert-a formally verified optimizing compiler. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress."},{"volume-title":"Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things","author":"Marwedel Peter","key":"e_1_3_2_2_26_1","unstructured":"Peter Marwedel. 2021. Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things. Springer Nature."},{"volume-title":"The Trusted Computing Base of the CompCert Verified Compiler","author":"Monniaux David","key":"e_1_3_2_2_27_1","unstructured":"David Monniaux and Sylvain Boulm\u00e9. 2022. The Trusted Computing Base of the CompCert Verified Compiler. In Programming Languages and Systems, Ilya Sergey (Ed.). Springer International Publishing, Cham, 204-233."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546918.3546921"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3436809"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss"},{"key":"e_1_3_2_2_31_1","unstructured":"Dumitru Potop-Butucaru. 2015. Real-Time Systems Compilation. Habilitation \u00e0 diriger des recherches. EDITE. https:\/\/inria.hal. science\/tel01264021"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS51251"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580275"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Akank Sha Shinde and Kalyanrao Chimaji Takale. 2012. Study of Black-Scholes model and its applications. Procedia Engineering 38 ( 2012 ) 270-279.","DOI":"10.1016\/j.proeng.2012.06.035"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371076"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Xipeng Wang Sim\u00f3n Ram\u00edrez-Hinestrosa Jure Dobnikar and Daan Frenkel. 2020. The Lennard-Jones potential: when (not) to use it. Physical Chemistry Chemical Physics 22 19 ( 2020 ) 10624-10633.","DOI":"10.1039\/C9CP05445F"},{"key":"e_1_3_2_2_37_1","first-page":"145","volume-title":"SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings 40","author":"Zeller Marc","year":"2021","unstructured":"Marc Zeller. 2021. Towards continuous safety assessment in context of devops. In Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings 40. Springer, 145-157."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689757"}],"event":{"name":"LCTES '25: 26th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Seoul Republic of Korea","acronym":"LCTES '25"},"container-title":["Proceedings of the 26th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735452.3735528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T07:12:12Z","timestamp":1752649932000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735452.3735528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":38,"alternative-id":["10.1145\/3735452.3735528","10.1145\/3735452"],"URL":"https:\/\/doi.org\/10.1145\/3735452.3735528","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}