{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T11:56:49Z","timestamp":1773230209996,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,22]]},"DOI":"10.1145\/3748173.3779196","type":"proceedings-article","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T21:17:35Z","timestamp":1770326255000},"page":"103-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["EagerlyElastic: Correct-by-Construction Eager Execution in Dynamically-Scheduled HLS"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6629-6403","authenticated-orcid":false,"given":"Shun","family":"Katsumi","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3126-7379","authenticated-orcid":false,"given":"Emmet","family":"Murphy","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6659-8533","authenticated-orcid":false,"given":"Lana","family":"Josipovi\u0107","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2026,2,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"257","volume-title":"Proceedings of the 11th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Ballance R. A.","unstructured":"R. A. Ballance, A. B. Maccabe, and K. J. Ottenstein. 1990. The Program Dependence Web: A Representation Supporting Control-, Data-, and Demand-Driven Interpretation of Imperative Languages. In Proceedings of the 11th ACM SIGPLAN Conference on Programming Language Design and Implementation. White Plains, NY, USA, 257-271."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375297"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147077"},{"key":"e_1_3_2_1_5_1","unstructured":"Dynamatic HLS Compiler 2022. https:\/\/dynamatic.epfl.ch\/. Dynamatic HLS Compiler. https:\/\/dynamatic.epfl.ch\/"},{"key":"e_1_3_2_1_6_1","first-page":"175","volume-title":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","author":"Edwards Stephen A.","unstructured":"Stephen A. Edwards, Richard Townsend, and Martha A. Kim. 2017. Compositional Dataflow Circuits. In Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. Vienna, 175-84."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL57034.2022.00046"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626202.3637556"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3676641.3715993"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586110"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2022.3188136"},{"key":"e_1_3_2_1_12_1","first-page":"5s","article-title":"An Out-of-Order Load-Store Queue for Spatial Computing","volume":"16","author":"Lana","year":"2017","unstructured":"Lana Josipovi?, Philip Brisk, and Paolo Ienne. 2017. An Out-of-Order Load-Store Queue for Spatial Computing. ACM Transactions on Embedded Computing Systems 16, 5s (Sept. 2017), 125:1-125:19.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"e_1_3_2_1_13_1","first-page":"127","volume-title":"Proceedings of the 26th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","author":"Lana","year":"2018","unstructured":"Lana Josipovi?, Radhika Ghosal, and Paolo Ienne. 2018. Dynamically Scheduled High-level Synthesis. In Proceedings of the 26th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays. Monterey, CA, 127-36."},{"key":"e_1_3_2_1_14_1","first-page":"162","volume-title":"Proceedings of the 27th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","author":"Lana","year":"2019","unstructured":"Lana Josipovi?, Andrea Guerrieri, and Paolo Ienne. 2019. Speculative Dataflow Circuits. In Proceedings of the 27th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays. Seaside, CA, 162-71."},{"key":"e_1_3_2_1_15_1","first-page":"186","volume-title":"Proceedings of the 28th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","author":"Lana","year":"2020","unstructured":"Lana Josipovi?, Shabnam Sheikhha, Andrea Guerrieri, Paolo Ienne, and Jordi Cortadella. 2020. Buffer Placement and Sizing for High-Performance Dataflow Circuits. In Proceedings of the 28th ACM\/SIGDA International Symposium on Field Programmable Gate Arrays. Seaside, CA, 186-96."},{"key":"e_1_3_2_1_16_1","volume-title":"Automatic SIMD Vectorization of SSA-based Control Flow Graphs","author":"Karrenberg Ralf","unstructured":"Ralf Karrenberg. 2015. Whole-function vectorization. In Automatic SIMD Vectorization of SSA-based Control Flow Graphs. Springer, 85-125."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Shun Katsumi Emmet Murphy and Lana Josipovi?. 2026. EagerlyElastic: Correctby- Construction Eager Execution in Dynamically-Scheduled HLS. Zenodo. doi:10.5281\/zenodo.17703725 Research Artifact.","DOI":"10.5281\/zenodo.17703725"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/279361.279393"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL64840.2024.00024"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC63849.2025.11133015"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC48570.2021.00009"},{"key":"e_1_3_2_1_23_1","first-page":"138","volume-title":"Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Lipasti Mikko H.","unstructured":"Mikko H. Lipasti, Christopher B. Wilkerson, and John P. Shen. 1996. Value Locality and Load Value Prediction. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems. Cambridge, MA, 138-147."},{"key":"e_1_3_2_1_24_1","volume-title":"Symbolic model checking","author":"McMillan Kenneth L","unstructured":"Kenneth L McMillan. 1993. Symbolic model checking. In Symbolic model checking. Springer, 25-60."},{"key":"e_1_3_2_1_25_1","unstructured":"Mentor Graphics. 2016. ModelSim. https:\/\/www.mentor.com\/products\/fv\/ modelsim\/"},{"key":"e_1_3_2_1_26_1","volume-title":"Partial Control-Flow Linearization. ACM SIGPLAN Notices 53 (06","author":"Moll Simon","year":"2018","unstructured":"Simon Moll and Sebastian Hack. 2018. Partial Control-Flow Linearization. ACM SIGPLAN Notices 53 (06 2018), 543-556."},{"key":"e_1_3_2_1_27_1","volume-title":"Flannery","author":"Press William H.","year":"2007","unstructured":"William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. 2007. Numerical Recipes: The Art of Scientific Computing (third ed.). Cambridge University Press."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80515-9"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223514"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL57034.2022.00063"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354252"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58589-0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/800052.801871"},{"key":"e_1_3_2_1_34_1","unstructured":"Smotherman Mark. 2010. Eager Execution\/Dual Path\/Multiple Path. https:\/\/people.computing.clemson.edu\/~mark\/eager.html"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3594736"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1995.476841"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323639"},{"key":"e_1_3_2_1_38_1","volume-title":"RETBLEED: Arbitrary Speculative Code Execution with Return Instructions. In 31st USENIX Security Symposium. 3825-3842","author":"Wikner Johannes","year":"2022","unstructured":"Johannes Wikner and Kaveh Razavi. 2022. RETBLEED: Arbitrary Speculative Code Execution with Return Instructions. In 31st USENIX Security Symposium. 3825-3842."},{"key":"e_1_3_2_1_39_1","volume-title":"Vivado Design Suite User Guide: High-Level Synthesis","author":"Xilinx Inc. 2018.","year":"2017","unstructured":"Xilinx Inc. 2018. Vivado Design Suite User Guide: High-Level Synthesis. Xilinx Inc. https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2017_4\/ug902-vivado-high-level-synthesis.pdf"},{"key":"e_1_3_2_1_40_1","volume-title":"Vivado Design Suite","author":"Xilinx Inc. 2020.","year":"2019","unstructured":"Xilinx Inc. 2020. Vivado Design Suite. Xilinx Inc. https:\/\/docs.xilinx.com\/v\/u\/2019.2-English\/ug901-vivado-synthesis"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 33rd Intl. Workshop on Logic and Synthesis. Zurich, 1-9.","author":"Xu Jiahui","year":"2024","unstructured":"Jiahui Xu and Lana Josipovi?. 2024. CRUSH: A Credit-Based Approach for Functional Unit Sharing in Dynamically Scheduled HLS. In Proceedings of the 33rd Intl. Workshop on Logic and Synthesis. Zurich, 1-9."}],"event":{"name":"FPGA '26:The 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","location":"Seaside CA USA","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748173.3779196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:56:28Z","timestamp":1773154588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748173.3779196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,21]]},"references-count":41,"alternative-id":["10.1145\/3748173.3779196","10.1145\/3748173"],"URL":"https:\/\/doi.org\/10.1145\/3748173.3779196","relation":{},"subject":[],"published":{"date-parts":[[2026,2,21]]},"assertion":[{"value":"2026-02-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}