{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:12:12Z","timestamp":1767046332119,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742875.3754680","type":"proceedings-article","created":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:13:02Z","timestamp":1767031982000},"page":"62-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Efficient compilation and execution of synchronous programs via type-state programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7524-8292","authenticated-orcid":false,"given":"Avinash","family":"Malik","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2025,12,29]]},"reference":[{"unstructured":"[n. d.]. CEC: Benchmarks. https:\/\/github.com\/dilawar\/cec-esteral.git. Accessed: 2024-07-04.","key":"e_1_3_2_1_1_1"},{"unstructured":"[n. d.]. RUSTC: Compiler. https:\/\/bitbucket.org\/anon1980\/rustc\/src\/main\/. Accessed: 2024-07-04.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/JPROC.2002.805826"},{"unstructured":"G\u00e9rard Berry. 1999. The constructive semantics of pure Esterel. http:\/\/www.inria.fr\/meije\/esterel\/esterel-eng.html (1999).","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"The Esterel v5 language primer version 5.21 release 2.0. Draft book 36","author":"Berry G\u00e9rard","year":"1999","unstructured":"G\u00e9rard Berry. 1999. The Esterel v5 language primer version 5.21 release 2.0. Draft book 36 (1999)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/S0167-6423(99)00015-5"},{"key":"e_1_3_2_1_7_1","volume-title":"Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9\u201311","author":"Berry G\u00e9rard","year":"1984","unstructured":"G\u00e9rard Berry and Laurent Cosserat. 1985. The ESTEREL synchronous programming language and its mathematical semantics. In Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9\u201311, 1984. Springer, 389\u2013448."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/ICSE-COMPANION.2009.5070960"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/5.97299"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/TASE.2017.8285623"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the seventh international workshop on Hardware\/software codesign. 147\u2013151","author":"Edwards Stephen A","year":"1999","unstructured":"Stephen A Edwards. 1999. Compiling Esterel into sequential code. In Proceedings of the seventh international workshop on Hardware\/software codesign. 147\u2013151."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1155\/2007\/52651"},{"unstructured":"Esterel.org. [n. d.]. Esterel Compiler v5_92. https:\/\/www-sop.inria.fr\/esterel.org\/files\/Html\/Downloads\/Downloads.htm","key":"e_1_3_2_1_13_1"},{"unstructured":"Miguel Bernardino Ferreira. 2023. MODEL-BASED SOFTWARE DEVELOPMENT FOR AVIONICS. Master's thesis.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2629609"},{"volume-title":"Synchronous programming of reactive systems","author":"Halbwachs Nicolas","unstructured":"Nicolas Halbwachs. 1992. Synchronous programming of reactive systems. Vol. 215. Springer Science & Business Media.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/5.97300"},{"doi-asserted-by":"crossref","unstructured":"Avinash Malik. 2025. Efficient compilation and execution of synchronous programs via type-state programming. arXiv:2508.01199 [cs.PL] https:\/\/arxiv.org\/abs\/2508.01199","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3742875.3754680"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/2661020.2661030"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.cl.2015.08.006"},{"volume-title":"Compiling esterel","author":"Potop-Butucaru Dumitru","unstructured":"Dumitru Potop-Butucaru, Stephen A Edwards, and G\u00e9rard Berry. 2007. Compiling esterel. Vol. 86. Springer Science & Business Media.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","volume-title":"Typestate: A programming language concept for enhancing software reliability","author":"Strom Robert E","year":"1986","unstructured":"Robert E Strom and Shaula Yemini. 1986. Typestate: A programming language concept for enhancing software reliability. IEEE transactions on software engineering 1 (1986), 157\u2013171."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3591594"}],"event":{"sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CAS","IEEE CEDA"],"acronym":"MEMOCODE '25","name":"MEMOCODE '25: International Symposium on Formal Methods and Models for System Design","location":"Taipei International Convention Center (TICC) Taipei Taiwan"},"container-title":["Proceedings of the International Symposium on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742875.3754680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:15:41Z","timestamp":1767035741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742875.3754680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":23,"alternative-id":["10.1145\/3742875.3754680","10.1145\/3742875"],"URL":"https:\/\/doi.org\/10.1145\/3742875.3754680","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}