{"id":"https://openalex.org/W4416875202","doi":"https://doi.org/10.1109/qce65121.2025.10316","title":"Quantum Program Linting with LLMs: Emerging Results from a Comparative Study","display_name":"Quantum Program Linting with LLMs: Emerging Results from a Comparative Study","publication_year":2025,"publication_date":"2025-08-30","ids":{"openalex":"https://openalex.org/W4416875202","doi":"https://doi.org/10.1109/qce65121.2025.10316"},"language":"en","primary_location":{"id":"doi:10.1109/qce65121.2025.10316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qce65121.2025.10316","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Quantum Computing and Engineering (QCE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/handle/10993/64692","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088550214","display_name":"Seung Yeob Shin","orcid":"https://orcid.org/0000-0001-9025-7173"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Seung Yeob Shin","raw_affiliation_strings":["University of Luxembourg,Luxembourg,Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg,Luxembourg,Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042872250","display_name":"Fabrizio Pastore","orcid":"https://orcid.org/0000-0003-3541-3641"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Fabrizio Pastore","raw_affiliation_strings":["University of Luxembourg,Luxembourg,Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg,Luxembourg,Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038017715","display_name":"Domenico Bianculli","orcid":"https://orcid.org/0000-0002-4854-685X"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Domenico Bianculli","raw_affiliation_strings":["University of Luxembourg,Luxembourg,Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg,Luxembourg,Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"186"},"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.8036999702453613,"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.8036999702453613,"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/T13197","display_name":"Spreadsheets and End-User Computing","score":0.03460000082850456,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.013700000010430813,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.6855999827384949},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5698000192642212},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5537999868392944},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5091999769210815},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.4316999912261963},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.3856000006198883}],"concepts":[{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.6855999827384949},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6692000031471252},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5698000192642212},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5537999868392944},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5091999769210815},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.4316999912261963},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3856000006198883},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3409999907016754},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3027999997138977},{"id":"https://openalex.org/C82214349","wikidata":"https://www.wikidata.org/wiki/Q657339","display_name":"Software metric","level":5,"score":0.29440000653266907},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2892000079154968},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2791999876499176},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2696000039577484},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.2644999921321869},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.25780001282691956}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/qce65121.2025.10316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qce65121.2025.10316","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Quantum Computing and Engineering (QCE)","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/64692","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/64692","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Proceedings of the 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 181-186 (2025-12-01); 5th International Workshop on Quantum Software Engineering and Technology, from 31 August 2025 to 5 September 2025","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/64692","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/64692","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Proceedings of the 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 181-186 (2025-12-01); 5th International Workshop on Quantum Software Engineering and Technology, from 31 August 2025 to 5 September 2025","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1553894716","https://openalex.org/W2889126882","https://openalex.org/W2889426946","https://openalex.org/W3128474234","https://openalex.org/W4289606390","https://openalex.org/W4384345659","https://openalex.org/W4384938773","https://openalex.org/W4385288380","https://openalex.org/W4391974543","https://openalex.org/W4396242417","https://openalex.org/W4400582509"],"related_works":[],"abstract_inverted_index":{"Ensuring":[0],"the":[1,18,70],"quality":[2,174],"of":[3,21,72],"quantum":[4,22,60,85,148,172],"programs":[5],"is":[6,128],"increasingly":[7],"important;":[8],"however,":[9,38],"traditional":[10],"static":[11],"analysis":[12,45],"techniques":[13],"are":[14],"insufficient":[15],"due":[16],"to":[17,33,51,58,78,92,104,109],"unique":[19],"characteristics":[20],"computing.":[23],"Quantum-specific":[24],"linting":[25,82,94,101],"tools,":[26],"such":[27],"as":[28],"LintQ,":[29,134],"have":[30],"been":[31],"developed":[32],"detect":[34,105],"quantum-specific":[35,106],"programming":[36,61,149],"problems;":[37],"they":[39],"typically":[40],"rely":[41],"on":[42],"manually":[43],"crafted":[44],"queries.":[46],"The":[47],"manual":[48],"effort":[49],"required":[50],"update":[52],"these":[53],"tools":[54],"limits":[55],"their":[56],"adaptability":[57,144],"evolving":[59],"practices.":[62],"To":[63],"address":[64],"this":[65,67,159],"challenge,":[66],"study":[68,118,160],"investigates":[69],"feasibility":[71],"employing":[73],"Large":[74],"Language":[75],"Models":[76],"(LLMs)":[77],"develop":[79],"a":[80,129,153],"novel":[81],"technique":[83],"for":[84,146,155,165],"software":[86,173],"development":[87],"and":[88,143,170],"explores":[89],"potential":[90,145],"avenues":[91],"advance":[93],"approaches.":[95],"We":[96],"introduce":[97],"LintQ-LLM,":[98],"an":[99,115],"LLM-based":[100],"tool":[102],"designed":[103],"problems":[107],"comparable":[108],"those":[110],"identified":[111],"by":[112,177],"LintQ.":[113],"Through":[114],"empirical":[116],"comparative":[117],"using":[119],"realworld":[120],"Qiskit":[121],"programs,":[122],"our":[123],"results":[124],"show":[125],"that":[126,132],"LintQ-LLM":[127],"viable":[130],"solution":[131],"complements":[133],"with":[135],"particular":[136],"strengths":[137],"in":[138],"problem":[139],"localization,":[140],"explanation":[141],"clarity,":[142],"emerging":[147],"frameworks,":[150],"thus":[151],"providing":[152],"basis":[154],"further":[156],"research.":[157],"Furthermore,":[158],"discusses":[161],"several":[162],"research":[163],"opportunities":[164],"developing":[166],"more":[167],"advanced,":[168],"adaptable,":[169],"feedback-aware":[171],"assurance":[175],"methods":[176],"leveraging":[178],"LLMs.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-12-01T00:00:00"}
