{"id":"https://openalex.org/W7165125130","doi":"https://doi.org/10.1145/3797248.3816055","title":"FedLLM4HW: Carbon-Aware Federated Triage of Hardware Weaknesses in LLM-Generated Verilog Code","display_name":"FedLLM4HW: Carbon-Aware Federated Triage of Hardware Weaknesses in LLM-Generated Verilog Code","publication_year":2026,"publication_date":"2026-06-19","ids":{"openalex":"https://openalex.org/W7165125130","doi":"https://doi.org/10.1145/3797248.3816055"},"language":null,"primary_location":{"id":"doi:10.1145/3797248.3816055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797248.3816055","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 16th ACM International Green and Sustainable Computing Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3797248.3816055","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138955535","display_name":"Parsa Mirfasihi","orcid":"https://orcid.org/0009-0008-7039-3731"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parsa Mirfasihi","raw_affiliation_strings":["Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0008-7039-3731","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138859997","display_name":"Arthur Kim","orcid":"https://orcid.org/0009-0002-8735-2342"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arthur Kim","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0002-8735-2342","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129652288","display_name":"Hariharan Ramesh","orcid":null},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hariharan Ramesh","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0004-0370-2224","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018331743","display_name":"Josh Dean","orcid":null},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Josh Dean","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0009-9551-2263","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137670559","display_name":"Melika Akbarsharifi","orcid":"https://orcid.org/0009-0004-9163-3707"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Melika Akbarsharifi","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0004-9163-3707","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137694668","display_name":"Roxana Akbarsharifi","orcid":"https://orcid.org/0009-0008-2985-4516"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roxana Akbarsharifi","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0008-2985-4516","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138953173","display_name":"John Martin Encinas","orcid":"https://orcid.org/0009-0003-1217-8471"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Martin Encinas","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0009-0003-1217-8471","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028622409","display_name":"Pratik Satam","orcid":"https://orcid.org/0000-0003-3139-8333"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pratik Satam","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0000-0003-3139-8333","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065225892","display_name":"Jyotikrishna Dass","orcid":"https://orcid.org/0000-0002-7552-8753"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotikrishna Dass","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0000-0002-7552-8753","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021974773","display_name":"Rozhin Yasaei","orcid":"https://orcid.org/0000-0001-5761-9865"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rozhin Yasaei","raw_affiliation_strings":["University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0000-0001-5761-9865","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016438213","display_name":"Soheil Salehi","orcid":"https://orcid.org/0000-0001-5998-8795"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Soheil Salehi","raw_affiliation_strings":["Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA"],"raw_orcid":"https://orcid.org/0000-0001-5998-8795","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA","institution_ids":["https://openalex.org/I138006243"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I138006243"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.78361311,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"143","last_page":"148"},"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.4002000093460083,"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.4002000093460083,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.18709999322891235,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.07599999755620956,"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/code","display_name":"Code (set theory)","score":0.5741000175476074},{"id":"https://openalex.org/keywords/triage","display_name":"Triage","score":0.4697999954223633},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.32589998841285706},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.31700000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.717199981212616},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5741000175476074},{"id":"https://openalex.org/C2777120189","wikidata":"https://www.wikidata.org/wiki/Q780067","display_name":"Triage","level":2,"score":0.4697999954223633},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.397599995136261},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.32589998841285706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32440000772476196},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.31540000438690186},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3140999972820282},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25220000743865967},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797248.3816055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797248.3816055","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 16th ACM International Green and Sustainable Computing Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3797248.3816055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797248.3816055","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 16th ACM International Green and Sustainable Computing Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1983394510","https://openalex.org/W2011712479","https://openalex.org/W2769041395","https://openalex.org/W3134625909","https://openalex.org/W3176436306","https://openalex.org/W3209819948","https://openalex.org/W4294956360","https://openalex.org/W4391681217","https://openalex.org/W4403023622","https://openalex.org/W4410919938","https://openalex.org/W4414360256","https://openalex.org/W4415003296","https://openalex.org/W4416956252"],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"are":[4],"increasingly":[5],"used":[6],"to":[7,43],"generate":[8],"Register-Transfer":[9],"Level":[10],"(RTL)":[11],"hardware,":[12],"but":[13],"functional":[14],"correctness":[15],"does":[16],"not":[17,148],"imply":[18],"security.":[19],"Weaknesses":[20],"introduced":[21],"during":[22],"RTL":[23,53,71,122],"generation":[24,51],"can":[25],"persist":[26],"across":[27,72],"the":[28,50,64,78],"hardware":[29,45],"lifecycle,":[30],"making":[31],"early":[32],"security":[33],"triage":[34,97,146],"essential.":[35],"Prior":[36],"works":[37],"focus":[38],"on":[39,169],"mining":[40],"public":[41],"corpora":[42],"discover":[44],"weakness":[46,155],"trends,":[47],"and":[48,66,80,109,133,139,162,180],"enhancing":[49],"of":[52,68,83,98],"designs":[54],"has":[55],"been":[56],"a":[57,91,115,145,149,170],"growing":[58],"research":[59],"area.":[60],"The":[61,124],"challenge":[62],"is":[63,144,167],"collection":[65],"analysis":[67],"proprietary":[69],"AI-generated":[70],"organizations,":[73],"while":[74,112],"also":[75],"accounting":[76],"for":[77,95,157],"energy":[79],"carbon":[81,141],"cost":[82],"repeated":[84],"LLM-assisted":[85],"analysis.":[86],"Thus,":[87],"we":[88],"present":[89],"FedLLM4HW,":[90],"carbon-aware":[92,181],"federated":[93],"framework":[94],"MIHW/CWE-aligned":[96],"LLM-generated":[99],"Verilog.":[100],"Each":[101],"client":[102],"keeps":[103],"RTL,":[104],"prompts,":[105],"metadata,":[106],"weak":[107],"labels,":[108],"embeddings":[110],"local,":[111],"training":[113],"only":[114],"lightweight":[116],"multi-label":[117],"prediction":[118],"head":[119,128],"over":[120],"frozen":[121],"representations.":[123],"server":[125],"aggregates":[126],"sparse":[127,174],"updates":[129],"using":[130,136],"heterogeneity-aware":[131],"optimization":[132],"schedules":[134],"participation":[135],"utility,":[137],"fairness,":[138],"estimated":[140],"cost.":[142],"FedLLM4HW":[143],"layer,":[147],"vulnerability":[150],"prover:":[151],"it":[152],"ranks":[153],"likely":[154],"classes":[156],"downstream":[158],"formal":[159],"verification,":[160],"simulation,":[161],"expert":[163],"review.":[164],"Its":[165],"value":[166],"conditional":[168],"small":[171],"trainable":[172],"state,":[173],"communication,":[175],"bounded":[176],"local":[177],"LLM":[178],"use,":[179],"participation.":[182]},"counts_by_year":[],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2026-06-19T00:00:00"}