{"id":"https://openalex.org/W4410086875","doi":"https://doi.org/10.1109/ms.2025.3566634","title":"Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]","display_name":"Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]","publication_year":2025,"publication_date":"2025-05-05","ids":{"openalex":"https://openalex.org/W4410086875","doi":"https://doi.org/10.1109/ms.2025.3566634"},"language":"en","primary_location":{"id":"doi:10.1109/ms.2025.3566634","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ms.2025.3566634","pdf_url":null,"source":{"id":"https://openalex.org/S6725529","display_name":"IEEE Software","issn_l":"0740-7459","issn":["0740-7459","1937-4194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013621550","display_name":"Joshua A.C. Behler","orcid":"https://orcid.org/0009-0006-3104-7743"},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua A. C. Behler","raw_affiliation_strings":["Department of Computer Science, Kent State University, Kent, OH, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0009-0006-3104-7743","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, OH, USA","institution_ids":["https://openalex.org/I149910238"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099393454","display_name":"Ali F. Al-Ramadan","orcid":null},"institutions":[{"id":"https://openalex.org/I110152177","display_name":"University of Akron","ror":"https://ror.org/02kyckx55","country_code":"US","type":"education","lineage":["https://openalex.org/I110152177"]},{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali F. Al-Ramadan","raw_affiliation_strings":["Department of Computer Science, The University of Akron, Akron, OH, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0009-0003-5383-464X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Akron, Akron, OH, USA","institution_ids":["https://openalex.org/I110152177"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052199458","display_name":"Betis Baheri","orcid":"https://orcid.org/0000-0002-2130-8106"},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Betis Baheri","raw_affiliation_strings":["Department of Computer Science, Kent State University, Kent, OH, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0000-0002-2130-8106","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, OH, USA","institution_ids":["https://openalex.org/I149910238"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062788507","display_name":"Michael L. Collard","orcid":"https://orcid.org/0000-0002-4271-1383"},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael L. Collard","raw_affiliation_strings":["Department of Computer Science, Kent State University, Kent, OH, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0000-0002-4271-1383","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, OH, USA","institution_ids":["https://openalex.org/I149910238"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102787759","display_name":"Qiang Guan","orcid":"https://orcid.org/0000-0002-3804-8945"},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]},{"id":"https://openalex.org/I159428640","display_name":"SUNY Canton","ror":"https://ror.org/00tdmgj61","country_code":"US","type":"education","lineage":["https://openalex.org/I159428640"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiang Guan","raw_affiliation_strings":["Department of Cybersecurity, State University of New York at Canton, Canton, NY, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0000-0002-3804-8945","affiliations":[{"raw_affiliation_string":"Department of Cybersecurity, State University of New York at Canton, Canton, NY, USA","institution_ids":["https://openalex.org/I159428640"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021222755","display_name":"Jonathan I. Maletic","orcid":"https://orcid.org/0000-0001-5289-135X"},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan I. Maletic","raw_affiliation_strings":["Department of Computer Science, Kent State University, Kent, OH, USA","Department of Computer Science, Kent State University, Kent, United States"],"raw_orcid":"https://orcid.org/0000-0001-5289-135X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, OH, USA","institution_ids":["https://openalex.org/I149910238"]},{"raw_affiliation_string":"Department of Computer Science, Kent State University, Kent, United States","institution_ids":["https://openalex.org/I149910238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.396,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.83386006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"42","issue":"5","first_page":"58","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9968000054359436,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9968000054359436,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9578999876976013,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.946399986743927,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6994825601577759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6727027893066406},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5595013499259949},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4737306833267212},{"id":"https://openalex.org/keywords/fifth-generation-programming-language","display_name":"Fifth-generation programming language","score":0.4596746265888214},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.33009403944015503}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6994825601577759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6727027893066406},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5595013499259949},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4737306833267212},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.4596746265888214},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.33009403944015503},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ms.2025.3566634","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ms.2025.3566634","pdf_url":null,"source":{"id":"https://openalex.org/S6725529","display_name":"IEEE Software","issn_l":"0740-7459","issn":["0740-7459","1937-4194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1058800339","display_name":null,"funder_award_id":"OAC 23-11950","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1314388628","display_name":null,"funder_award_id":"OAC 22-17021","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2644107791","display_name":null,"funder_award_id":"CNS 20-16465/16452","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G321206628","display_name":null,"funder_award_id":"OAC 22-30111","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6974134299","display_name":null,"funder_award_id":"OAC 22-38734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1987353911","https://openalex.org/W2079887492","https://openalex.org/W3100931381","https://openalex.org/W4310854203","https://openalex.org/W4384345659","https://openalex.org/W4385287098","https://openalex.org/W4385288380","https://openalex.org/W4387935020","https://openalex.org/W4399296759","https://openalex.org/W4400582509","https://openalex.org/W4403118554","https://openalex.org/W4403123242","https://openalex.org/W4403834027","https://openalex.org/W4406261117"],"related_works":["https://openalex.org/W4246657653","https://openalex.org/W4253687001","https://openalex.org/W2795955092","https://openalex.org/W1713414949","https://openalex.org/W625381833","https://openalex.org/W1968275544","https://openalex.org/W1559170648","https://openalex.org/W4205997139","https://openalex.org/W1534488117","https://openalex.org/W2018351456"],"abstract_inverted_index":{"Quantum":[0],"computing":[1],"is":[2,19],"advancing":[3],"rapidly,":[4],"with":[5],"developers":[6,30],"increasingly":[7],"adopting":[8],"quantum":[9,16,35,64,91,99,104],"programming":[10],"languages.":[11],"However,":[12],"despite":[13],"progress":[14],"in":[15,31,98],"research,":[17],"there":[18],"a":[20,45,68],"notable":[21],"lack":[22],"of":[23,62,90],"development":[24],"tools":[25],"and":[26,33,60,78,88],"technologies":[27],"that":[28],"assist":[29],"designing":[32],"analyzing":[34],"programs.":[36],"This":[37],"work":[38],"aims":[39],"to":[40,55,106],"address":[41],"this":[42],"gap":[43],"using":[44],"software":[46],"engineering":[47],"approach.":[48],"Specifically,":[49],"we":[50],"leverage":[51],"the":[52,57,86],"srcML":[53],"infrastructure":[54],"automate":[56],"static":[58],"analysis":[59],"refactoring":[61,79],"OpenQASM":[63],"programs":[65],"by":[66,76],"implementing":[67],"tool,":[69],"QStatic.":[70],"We":[71],"then":[72],"demonstrate":[73],"QStatic\u2019s":[74],"potential":[75],"identifying":[77],"common":[80],"code":[81],"patterns.":[82],"Our":[83],"approach":[84],"enables":[85],"exploration":[87],"manipulation":[89],"source":[92],"code,":[93],"effectively":[94],"addressing":[95],"numerous":[96],"challenges":[97],"programming,":[100],"such":[101],"as":[102],"optimizing":[103],"gates":[105],"reduce":[107],"runtime":[108],"costs.":[109]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-05-06T00:00:00"}