{"id":"https://openalex.org/W4416874702","doi":"https://doi.org/10.1109/qce65121.2025.00094","title":"Productive Quantum Programming Needs Better Abstract Machines","display_name":"Productive Quantum Programming Needs Better Abstract Machines","publication_year":2025,"publication_date":"2025-08-30","ids":{"openalex":"https://openalex.org/W4416874702","doi":"https://doi.org/10.1109/qce65121.2025.00094"},"language":null,"primary_location":{"id":"doi:10.1109/qce65121.2025.00094","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qce65121.2025.00094","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":"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/A5031855529","display_name":"Santiago N\u00fa\u00f1ez-Corrales","orcid":"https://orcid.org/0000-0003-4342-6223"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Santiago N\u00fa\u00f1ez-Corrales","raw_affiliation_strings":["University of Illinois Urbana-Champaign,NCSA/IQUIST,Urbana,IL,USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign,NCSA/IQUIST,Urbana,IL,USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010177941","display_name":"Olivia Di Matteo","orcid":"https://orcid.org/0000-0002-1372-7706"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Olivia Di Matteo","raw_affiliation_strings":["Stewart Blusson Quantum Matter Institute, The University of British Columbia,Electrical and Computer Engineering,Vancouver,BC,Canada"],"affiliations":[{"raw_affiliation_string":"Stewart Blusson Quantum Matter Institute, The University of British Columbia,Electrical and Computer Engineering,Vancouver,BC,Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117444709","display_name":"John Dumbell","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114455","display_name":"Cambridge Quantum Computing (United Kingdom)","ror":"https://ror.org/024779x77","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210114455"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Dumbell","raw_affiliation_strings":["Quantum Science & Exploratory Research, Oxford Quantum Circuits, Reading,United Kingdom"],"affiliations":[{"raw_affiliation_string":"Quantum Science & Exploratory Research, Oxford Quantum Circuits, Reading,United Kingdom","institution_ids":["https://openalex.org/I4210114455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112890098","display_name":"Marcus Edwards","orcid":null},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marcus Edwards","raw_affiliation_strings":["Stewart Blusson Quantum Matter Institute, The University of British Columbia,Electrical and Computer Engineering,Vancouver,BC,Canada"],"affiliations":[{"raw_affiliation_string":"Stewart Blusson Quantum Matter Institute, The University of British Columbia,Electrical and Computer Engineering,Vancouver,BC,Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064110332","display_name":"Edoardo Giusto","orcid":"https://orcid.org/0000-0001-8371-6685"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Edoardo Giusto","raw_affiliation_strings":["University of Naples Federico II,DIETI,Naples,Italy"],"affiliations":[{"raw_affiliation_string":"University of Naples Federico II,DIETI,Naples,Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060855642","display_name":"Scott Pakin","orcid":"https://orcid.org/0000-0002-5220-1985"},"institutions":[{"id":"https://openalex.org/I1343871089","display_name":"Los Alamos National Laboratory","ror":"https://ror.org/01e41cf67","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I1343871089","https://openalex.org/I198811213","https://openalex.org/I4210120050"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Pakin","raw_affiliation_strings":["Los Alamos National Laboratory,Computer, Computational, and Statistical Sciences Division,Los Alamos,NM,USA"],"affiliations":[{"raw_affiliation_string":"Los Alamos National Laboratory,Computer, Computational, and Statistical Sciences Division,Los Alamos,NM,USA","institution_ids":["https://openalex.org/I1343871089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018911783","display_name":"Vlad Stirbu","orcid":"https://orcid.org/0000-0001-9462-5922"},"institutions":[{"id":"https://openalex.org/I94722563","display_name":"University of Jyv\u00e4skyl\u00e4","ror":"https://ror.org/05n3dz165","country_code":"FI","type":"education","lineage":["https://openalex.org/I94722563"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Vlad Stirbu","raw_affiliation_strings":["University of Jyväskylä,Faculty of Information Technology,Jyväskylä,Finland"],"affiliations":[{"raw_affiliation_string":"University of Jyväskylä,Faculty of Information Technology,Jyväskylä,Finland","institution_ids":["https://openalex.org/I94722563"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5031855529"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.3568,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91993441,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"816","last_page":"826"},"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.9370999932289124,"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.9370999932289124,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.012799999676644802,"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"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.004100000020116568,"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/hierarchy","display_name":"Hierarchy","score":0.7486000061035156},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6315000057220459},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6074000000953674},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.572700023651123},{"id":"https://openalex.org/keywords/parallels","display_name":"Parallels","score":0.555400013923645},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5217000246047974},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.521399974822998}],"concepts":[{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7486000061035156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6901000142097473},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6315000057220459},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6074000000953674},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.572700023651123},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5641999840736389},{"id":"https://openalex.org/C2775922551","wikidata":"https://www.wikidata.org/wiki/Q7135033","display_name":"Parallels","level":2,"score":0.555400013923645},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5217000246047974},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.521399974822998},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4514999985694885},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41260001063346863},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.3492000102996826},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.3443000018596649},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3034999966621399},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qce65121.2025.00094","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qce65121.2025.00094","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7188606538","display_name":null,"funder_award_id":"89233218CNA000001","funder_id":"https://openalex.org/F5375429187","funder_display_name":"Triad National Security"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320312143","display_name":"National Centre for Supercomputing Applications","ror":"https://ror.org/03r10zj06"},{"id":"https://openalex.org/F4320323180","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20"},{"id":"https://openalex.org/F4320328501","display_name":"Business Finland","ror":"https://ror.org/05bgf9v38"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320338304","display_name":"Los Alamos National Laboratory","ror":"https://ror.org/01e41cf67"},{"id":"https://openalex.org/F5375429187","display_name":"Triad National Security","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W89869412","https://openalex.org/W1537615043","https://openalex.org/W1874721034","https://openalex.org/W1993248778","https://openalex.org/W1993688167","https://openalex.org/W2014704465","https://openalex.org/W2030942926","https://openalex.org/W2049471987","https://openalex.org/W2059542879","https://openalex.org/W2065953381","https://openalex.org/W2101088258","https://openalex.org/W2107914128","https://openalex.org/W2117489143","https://openalex.org/W2133779302","https://openalex.org/W2136922540","https://openalex.org/W2142519528","https://openalex.org/W2148132004","https://openalex.org/W2323803659","https://openalex.org/W2503698052","https://openalex.org/W2571490773","https://openalex.org/W2579555219","https://openalex.org/W2604182187","https://openalex.org/W2987907651","https://openalex.org/W3099063449","https://openalex.org/W3163122677","https://openalex.org/W4242098806","https://openalex.org/W4242275969","https://openalex.org/W4246166885","https://openalex.org/W4294991430","https://openalex.org/W4298155111","https://openalex.org/W4386220353","https://openalex.org/W4396240267","https://openalex.org/W4402502752","https://openalex.org/W4406261114"],"related_works":[],"abstract_inverted_index":{"An":[0],"effective,":[1],"accessible":[2],"abstraction":[3,210],"hierarchy":[4,20,47],"has":[5],"made":[6],"using":[7],"and":[8,36,92,119,155,180,206],"programming":[9,23],"computers":[10],"possible":[11],"for":[12,21,86,97,186,211],"people":[13],"across":[14],"all":[15],"disciplines.":[16],"Establishing":[17],"such":[18,114],"a":[19,31,56,94,102,112,184,191,201,208],"quantum":[22,80,127,204,212],"is":[24,48,84,195],"an":[25,138],"outstanding":[26],"challenge,":[27],"especially":[28],"due":[29],"to":[30,146,189,198,200],"proliferation":[32],"of":[33,40,45,60,104,111,126,150,175,203],"different":[34],"conventions":[35],"the":[37,46,49,52,61,78,90,124,148],"rapid":[38],"pace":[39],"innovation.":[41],"One":[42],"critical":[43],"portion":[44],"abstract":[50,81],"machine,":[51],"layer":[53],"that":[54,171,194],"separates":[55],"programmer's":[57],"mental":[58],"model":[59],"hardware":[62],"from":[63],"its":[64],"physical":[65],"realization.":[66],"Drawing":[67],"on":[68,101,159],"historical":[69],"parallels":[70],"in":[71,89,123],"classical":[72],"computing,":[73],"we":[74,133,169],"explain":[75],"why":[76],"having":[77],"\u201cright\u201d":[79],"machine":[82],"(QAM)":[83],"essential":[85],"making":[87],"progress":[88],"field":[91],"propose":[93],"novel":[95],"framework":[96,132,145,179],"evaluating":[98],"QAMs":[99],"based":[100,158],"set":[103,183],"desirable":[105],"criteria.":[106,161],"These":[107],"criteria":[108],"capture":[109],"aspects":[110],"QAM":[113,193],"as":[115],"universality,":[116],"compactness,":[117],"expressiveness,":[118],"composability,":[120],"which":[121],"aid":[122],"representation":[125],"programs.":[128],"By":[129],"defining":[130,137],"this":[131],"take":[134],"steps":[135],"toward":[136],"optimal":[139],"QAM.":[140],"We":[141],"further":[142],"apply":[143],"our":[144,160,176,181],"survey":[147],"landscape":[149],"existing":[151],"proposals,":[152],"draw":[153],"comparisons,":[154],"assess":[156],"them":[157],"While":[162],"these":[163],"proposals":[164],"share":[165],"many":[166],"common":[167],"strengths,":[168],"find":[170],"each":[172],"falls":[173],"short":[174],"ideal.":[177],"Our":[178],"findings":[182],"direction":[185],"subsequent":[187],"efforts":[188],"define":[190],"future":[192],"both":[196],"straightforward":[197],"map":[199],"variety":[202],"computers,":[205],"provides":[207],"stable":[209],"software":[213],"development.":[214]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-12-01T00:00:00"}