{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T16:04:32Z","timestamp":1780675472043,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T00:00:00Z","timestamp":1708128000000},"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":[[2024,2,17]]},"DOI":"10.1145\/3640537.3641581","type":"proceedings-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T21:43:05Z","timestamp":1708465385000},"page":"13-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A Unified Memory Dependency Framework for Speculative High-Level Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9065-1717","authenticated-orcid":false,"given":"Jean-Michel","family":"Gorius","sequence":"first","affiliation":[{"name":"University of Rennes - Inria - CNRS - IRISA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0195-096X","authenticated-orcid":false,"given":"Simon","family":"Rokicki","sequence":"additional","affiliation":[{"name":"ENS Rennes - Inria - CNRS - IRISA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6281-083X","authenticated-orcid":false,"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[{"name":"University of Rennes - Inria - CNRS - IRISA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,2,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488796"},{"key":"e_1_3_2_1_2_1","unstructured":"AMD Xilinx. 2023. Vitis High-Level Synthesis User Guide (UG1399). https:\/\/docs.xilinx.com\/r\/en-US\/ug1399-vitis-hls Accessed 25-08-2023"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/564870.564885"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950423"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(81)90048-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3020078.3021754"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012866"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3543622.3573050"},{"key":"e_1_3_2_1_10_1","volume-title":"Understanding Behavioral Synthesis: A Practical Guide to High-Level Design","author":"Elliott John P.","unstructured":"John P. Elliott. 1999. Understanding Behavioral Synthesis: A Practical Guide to High-Level Design. Kluwer Academic Publishers, USA. isbn:079238542X"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648190"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT56656.2022.9974478"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2022.3188136"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541637"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1995.470346"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580120"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293914"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3174243.3174264"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2018.032271057"},{"key":"e_1_3_2_1_20_1","volume-title":"Behavioral Synthesis: Digital System Design Using the Synopsys Behavioral Compiler","author":"Knapp David W.","year":"1996","unstructured":"David W. Knapp. 1996. Behavioral Synthesis: Digital System Design Using the Synopsys Behavioral Compiler. Prentice-Hall, Inc., USA. isbn:0135692520"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54022"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645540"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT56656.2022.9974425"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2017.8335151"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2783363"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898825"},{"key":"e_1_3_2_1_29_1","unstructured":"Modular. 2023. Mojo \u2013 a new programming language for all AI developers. https:\/\/www.modular.com\/mojo Accessed 01-09-2023"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2228270"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"R. Nozal and J.L. Bosque. 2021. Exploiting Co-execution with OneAPI: Heterogeneity from a Modern Perspective. In Euro-Par 2021: Parallel Processing. https:\/\/doi.org\/10.1007\/978-3-030-85665-6_31 10.1007\/978-3-030-85665-6_31","DOI":"10.1007\/978-3-030-85665-6_31"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2088950"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065043"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"Parthasarathy Ranganathan Daniel Stodolsky Jeff Calow Jeremy Dorfman Marisabel Guevara Clinton Wills Smullen IV Aki Kuusela Raghu Balasubramanian Sandeep Bhatia Prakash Chauhan Anna Cheung In Suk Chong Niranjani Dasharathi Jia Feng Brian Fosco Samuel Foss Ben Gelb Sara J. Gwin Yoshiaki Hase Da-ke He C. Richard Ho Roy W. Huffman Jr. Elisha Indupalli Indira Jayaram Poonacha Kongetira Cho Mon Kyaw Aaron Laursen Yuan Li Fong Lou Kyle A. Lucke JP Maaninen Ramon Macias Maire Mahony David Alexander Munday Srikanth Muroor Narayana Penukonda Eric Perkins-Argueta Devin Persaud Alex Ramirez Ville-Mikko Rautio Yolanda Ripley Amir Salek Sathish Sekar Sergey N. Sokolov Rob Springer Don Stark Mercedes Tan Mark S. Wachsler Andrew C. Walton David A. Wickeraad Alvin Wijaya and Hon Kwan Wu. 2021. Warehouse-Scale Video Acceleration: Co-Design and Deployment in the Wild. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS \u201921). Association for Computing Machinery New York NY USA. 600\u2013615. isbn:9781450383172 https:\/\/doi.org\/10.1145\/3445814.3446723 10.1145\/3445814.3446723","DOI":"10.1145\/3445814.3446723"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2003.1246165"},{"key":"e_1_3_2_1_37_1","unstructured":"Siemens. 2023. Catapult High-Level Synthesis and Verification. https:\/\/eda.sw.siemens.com\/en-US\/ic\/catapult-high-level-synthesis\/ Accessed 20-08-2023"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207115"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/224538.224648"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336199"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.97902"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783723"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3174243.3174255"}],"event":{"name":"CC '24: 33rd ACM SIGPLAN International Conference on Compiler Construction","location":"Edinburgh United Kingdom","acronym":"CC '24","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640537.3641581","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640537.3641581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:24Z","timestamp":1750287024000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640537.3641581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,17]]},"references-count":43,"alternative-id":["10.1145\/3640537.3641581","10.1145\/3640537"],"URL":"https:\/\/doi.org\/10.1145\/3640537.3641581","relation":{},"subject":[],"published":{"date-parts":[[2024,2,17]]},"assertion":[{"value":"2024-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}