{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:54:15Z","timestamp":1781794455372,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Science Foundation","award":["CNS-2348733"],"award-info":[{"award-number":["CNS-2348733"]}]},{"name":"National Science Foundation","award":["CNS-2505747"],"award-info":[{"award-number":["CNS-2505747"]}]},{"name":"National Science Foundation","award":["CNS-2247892"],"award-info":[{"award-number":["CNS-2247892"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,22]]},"DOI":"10.1145\/3787109.3816406","type":"proceedings-article","created":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:17:19Z","timestamp":1781792239000},"page":"247-252","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Privacy-Preserving Constrained Evaluation of LLM-Generated HLS C\/C++"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6148-2830","authenticated-orcid":false,"given":"Nuo","family":"Xu","sequence":"first","affiliation":[{"name":"University of Minnesota - Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3310-9456","authenticated-orcid":false,"given":"Jinwei","family":"Tang","sequence":"additional","affiliation":[{"name":"University of Minnesota - Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1402-765X","authenticated-orcid":false,"given":"Zihang","family":"Chen","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Burnaby, BC, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8393-2783","authenticated-orcid":false,"given":"Xiaolin","family":"Xu","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3440-1905","authenticated-orcid":false,"given":"Wujie","family":"Wen","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0603-9697","authenticated-orcid":false,"given":"Zhenman","family":"Fang","sequence":"additional","affiliation":[{"name":"University of Minnesota - Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0891-1231","authenticated-orcid":false,"given":"Caiwen","family":"Ding","sequence":"additional","affiliation":[{"name":"University of Minnesota - Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Stefan Abi-Karam and Cong Hao. 2025. HLS-Eval: A Benchmark and Framework for Evaluating LLMs on High-Level Synthesis Design Tasks. arxiv:https:\/\/arXiv.org\/abs\/2504.1226810.48550\/arXiv.2504.12268","DOI":"10.48550\/arXiv.2504.12268"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Qirui Chen Jingxian Shuai Shuangwu Chen Shenghao Ye Zijian Wen Xufei Su Jie Jin Jiangming Li Jun Chen Xiaobin Tan and Jian Yang. 2026. HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation. arxiv:https:\/\/arXiv.org\/abs\/2601.1386410.48550\/arXiv.2601.13864","DOI":"10.48550\/arXiv.2601.13864"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2025\/895"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Ziteng Hu Yingjie Xia Xiyuan Chen and Li Kuang. 2025. SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip. arxiv:https:\/\/arXiv.org\/abs\/2508.1291010.48550\/arXiv.2508.12910","DOI":"10.48550\/arXiv.2508.12910"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3243415"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"M.\u00a0Zafir\u00a0Sadik Khan Kimia\u00a0Zamiri Azar and Hadi Kamali. 2026. Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generation. arxiv:https:\/\/arXiv.org\/abs\/2601.1994110.48550\/arXiv.2601.19941","DOI":"10.48550\/arXiv.2601.19941"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-TSA\/VLSI-DAT57221.2023.10134115"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Runkai Li Jia Xiong Xiuyuan He Jieru Zhao Qiang Xu and Xi Wang. 2025. ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis. arxiv:https:\/\/arXiv.org\/abs\/2507.0064210.48550\/arXiv.2507.00642","DOI":"10.48550\/arXiv.2507.00642"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Runkai Li Jia Xiong and Xi Wang. 2025. iDSE: Navigating Design Space Exploration in High-Level Synthesis Using LLMs. arxiv:https:\/\/arXiv.org\/abs\/2505.2208610.48550\/arXiv.2505.22086","DOI":"10.48550\/arXiv.2505.22086"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Nowfel Mashnoor Mohammad Akyash Hadi Kamali and Kimia\u00a0Zamiri Azar. 2025. TimelyHLS: LLM-Based Timing-Aware and Architecture-Specific FPGA HLS Optimization. arxiv:https:\/\/arXiv.org\/abs\/2507.1796210.48550\/arXiv.2507.17962","DOI":"10.48550\/arXiv.2507.17962"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Ali\u00a0Emre Oztas and Mahdi Jelodari. 2024. Agentic-HLS: An Agentic Reasoning Based High-Level Synthesis System Using Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2412.0160410.48550\/arXiv.2412.01604","DOI":"10.48550\/arXiv.2412.01604"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Christian Pilato Kaijie Wu Siddharth Garg Ramesh Karri and Francesco Regazzoni. 2019. TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38 5 (2019) 798\u2013808. 10.1109\/TCAD.2018.2834421","DOI":"10.1109\/TCAD.2018.2834421"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567926"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Hanyu Wang Xinrui Wu Zijian Ding Su Zheng Chengyue Wang Neha Prakriya Tony Nowatzki Yizhou Sun and Jason Cong. 2025. LLM-DSE: Searching Accelerator Parameters with LLM Agents. arxiv:https:\/\/arXiv.org\/abs\/2505.1218810.48550\/arXiv.2505.12188","DOI":"10.48550\/arXiv.2505.12188"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Zeng Wang Minghao Shao Weimin Fu Prithwish\u00a0Basu Roy Xiaolong Guo Ramesh Karri Muhammad Shafique Johann Knechtel and Ozgur Sinanoglu. 2026. HarmChip: Evaluating Hardware Security Centric LLM Safety via Jailbreak Benchmarking. arxiv:https:\/\/arXiv.org\/abs\/2604.1709310.48550\/arXiv.2604.17093","DOI":"10.48550\/arXiv.2604.17093"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Kangwei Xu Grace\u00a0Li Zhang Xunzhao Yin Cheng Zhuo Ulf Schlichtmann and Bing Li. 2024. Automated C\/C++ Program Repair for High-Level Synthesis via Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2407.0388910.48550\/arXiv.2407.03889","DOI":"10.48550\/arXiv.2407.03889"}],"event":{"name":"GLSVLSI '26: Great Lakes Symposium on VLSI 2026","location":"Canandaigua , NY , USA","acronym":"GLSVLSI '26","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2026"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3787109.3816406","content-type":"text\/html","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:21:46Z","timestamp":1781792506000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787109.3816406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":16,"alternative-id":["10.1145\/3787109.3816406","10.1145\/3787109"],"URL":"https:\/\/doi.org\/10.1145\/3787109.3816406","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}