{"id":"https://openalex.org/W7165196447","doi":"https://doi.org/10.1145/3787109.3816406","title":"Privacy-Preserving Constrained Evaluation of LLM-Generated HLS C/C++","display_name":"Privacy-Preserving Constrained Evaluation of LLM-Generated HLS C/C++","publication_year":2026,"publication_date":"2026-06-18","ids":{"openalex":"https://openalex.org/W7165196447","doi":"https://doi.org/10.1145/3787109.3816406"},"language":null,"primary_location":{"id":"doi:10.1145/3787109.3816406","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816406","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3787109.3816406","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048064145","display_name":"Nuo Xu","orcid":"https://orcid.org/0000-0001-6148-2830"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210101327","display_name":"Twin Cities Orthopedics","ror":"https://ror.org/01en4s460","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nuo Xu","raw_affiliation_strings":["University of Minnesota - Twin Cities, Minneapolis, MN, USA"],"raw_orcid":"https://orcid.org/0000-0001-6148-2830","affiliations":[{"raw_affiliation_string":"University of Minnesota - Twin Cities, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I4210101327","https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138896920","display_name":"Jinwei Tang","orcid":"https://orcid.org/0009-0004-3310-9456"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210101327","display_name":"Twin Cities Orthopedics","ror":"https://ror.org/01en4s460","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinwei Tang","raw_affiliation_strings":["University of Minnesota - Twin Cities, Minneapolis, MN, USA"],"raw_orcid":"https://orcid.org/0009-0004-3310-9456","affiliations":[{"raw_affiliation_string":"University of Minnesota - Twin Cities, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I4210101327","https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138927601","display_name":"Zihang Chen","orcid":"https://orcid.org/0009-0007-1402-765X"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zihang Chen","raw_affiliation_strings":["Simon Fraser University, Burnaby, BC, Canada"],"raw_orcid":"https://orcid.org/0009-0007-1402-765X","affiliations":[{"raw_affiliation_string":"Simon Fraser University, Burnaby, BC, Canada","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054462808","display_name":"Xiaolin Xu","orcid":"https://orcid.org/0000-0001-8393-2783"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaolin Xu","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0001-8393-2783","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103129518","display_name":"Wujie Wen","orcid":"https://orcid.org/0000-0003-3440-1905"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wujie Wen","raw_affiliation_strings":["North Carolina State University, Raleigh, NC, USA"],"raw_orcid":"https://orcid.org/0000-0003-3440-1905","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, NC, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065889904","display_name":"Zhenman Fang","orcid":"https://orcid.org/0000-0003-0603-9697"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210101327","display_name":"Twin Cities Orthopedics","ror":"https://ror.org/01en4s460","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhenman Fang","raw_affiliation_strings":["University of Minnesota - Twin Cities, Minneapolis, MN, USA"],"raw_orcid":"https://orcid.org/0000-0003-0603-9697","affiliations":[{"raw_affiliation_string":"University of Minnesota - Twin Cities, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I4210101327","https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030060072","display_name":"Caiwen Ding","orcid":"https://orcid.org/0000-0003-0891-1231"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210101327","display_name":"Twin Cities Orthopedics","ror":"https://ror.org/01en4s460","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Caiwen Ding","raw_affiliation_strings":["University of Minnesota - Twin Cities, Minneapolis, MN, USA"],"raw_orcid":"https://orcid.org/0000-0003-0891-1231","affiliations":[{"raw_affiliation_string":"University of Minnesota - Twin Cities, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I4210101327","https://openalex.org/I130238516"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"247","last_page":"252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7993000149726868,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7993000149726868,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.053599998354911804,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.023000000044703484,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.5756999850273132},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5382999777793884},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4514000117778778},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4007999897003174},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.398499995470047},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.33719998598098755},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3357999920845032},{"id":"https://openalex.org/keywords/lazy-evaluation","display_name":"Lazy evaluation","score":0.3325999975204468}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7041000127792358},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6299999952316284},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.5756999850273132},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5382999777793884},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4514000117778778},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.398499995470047},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.3325999975204468},{"id":"https://openalex.org/C138852830","wikidata":"https://www.wikidata.org/wiki/Q2292993","display_name":"Design methods","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.25780001282691956},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3787109.3816406","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816406","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3787109.3816406","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816406","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.644587516784668}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2800701409","https://openalex.org/W2899943924","https://openalex.org/W4318686610","https://openalex.org/W4378805929","https://openalex.org/W4400434134","https://openalex.org/W4405034417","https://openalex.org/W4414360256","https://openalex.org/W4415232188","https://openalex.org/W4416047857","https://openalex.org/W4416469058","https://openalex.org/W4417300427","https://openalex.org/W6947920028","https://openalex.org/W7076560986","https://openalex.org/W7125114724","https://openalex.org/W7126120678","https://openalex.org/W7155093301"],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"are":[4,26,88,153],"increasingly":[5],"evaluated":[6],"on":[7,132],"hardware":[8],"design":[9],"tasks":[10,87],"through":[11],"syntax":[12],"checks,":[13],"simulation,":[14],"HLS":[15,29,50,65,80,185,214],"synthesis,":[16,215],"and":[17,20,53,78,102,115,147,156,216],"performance,":[18],"power,":[19],"area":[21,198],"(PPA)":[22],"metrics.":[23],"These":[24,200],"metrics":[25],"necessary":[27],"for":[28,49,62,82],"usability,":[30],"but":[31,126,191],"they":[32],"do":[33],"not":[34,128],"answer":[35],"whether":[36],"generated":[37],"accelerators":[38],"satisfy":[39],"security-relevant":[40],"source-level":[41,69,93,174,211],"constraints.":[42],"This":[43],"paper":[44],"studies":[45],"that":[46,203],"missing":[47],"layer":[48],"C/C++":[51],"generation":[52,101],"repair.":[54,117,158],"We":[55],"construct":[56],"a":[57],"preliminary":[58],"security-constrained":[59,204],"evaluation":[60,97,206],"overlay":[61],"17":[63],"primary":[64],"kernels":[66],"by":[67],"adding":[68],"policies,":[70],"deterministic":[71],"policy":[72,179,212],"checking,":[73],"functional":[74,169],"harnesses":[75],"where":[76],"available,":[77],"Vitis":[79],"synthesis":[81],"pre-HLS-passing":[83,189],"candidates;":[84],"six":[85,99],"NTT/AutoNTT":[86],"additionally":[89],"reported":[90],"as":[91],"G1/G3":[92],"extension":[94],"cases.":[95],"The":[96,159],"compares":[98],"descriptive":[100],"repair":[103,155],"conditions:":[104],"Spec-only":[105],"generation,":[106,108,110,114],"Policy-conditioned":[107],"Rule-aware":[109],"Checker-feedback":[111,154],"repair,":[112],"Strategy-guided":[113],"Semantic-feedback":[116,157],"A":[118],"separate":[119,208],"GateRepair":[120],"case":[121],"study":[122],"repairs":[123],"simple":[124],"cases":[125],"does":[127],"dominate":[129],"one-call":[130,151],"settings":[131,152],"hard":[133],"ciphers.":[134],"Across":[135],"eight":[136],"stable":[137],"model":[138],"conditions,":[139],"pre-HLS":[140],"pass":[141,168,177],"ranges":[142],"from":[143],"23.5%":[144],"to":[145],"37.9%,":[146],"the":[148,173,178],"two":[149,162],"best":[150],"results":[160,201],"expose":[161],"distinct":[163],"mismatch":[164],"patterns:":[165],"candidates":[166],"can":[167],"tests":[170],"while":[171,181],"violating":[172],"policy,":[175],"or":[176,197],"checker":[180],"failing":[182],"functionality.":[183],"Completed":[184],"runs":[186],"synthesize":[187],"most":[188],"candidates,":[190],"PPA":[192,217],"examples":[193],"show":[194,202],"large":[195],"latency":[196],"shifts.":[199],"LLM-HLS":[205],"must":[207],"syntax,":[209],"functionality,":[210],"compliance,":[213],"evidence.":[218]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-06-19T00:00:00"}