{"id":"https://openalex.org/W7167940001","doi":"https://doi.org/10.1145/3801488.3806071","title":"Compiling Linear Algebra Workloads from C to Quantum Circuits via Multi Level Intermediate Representation","display_name":"Compiling Linear Algebra Workloads from C to Quantum Circuits via Multi Level Intermediate Representation","publication_year":2026,"publication_date":"2026-05-19","ids":{"openalex":"https://openalex.org/W7167940001","doi":"https://doi.org/10.1145/3801488.3806071"},"language":null,"primary_location":{"id":"doi:10.1145/3801488.3806071","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801488.3806071","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 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions","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/3801488.3806071","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140450434","display_name":"Salvatore Pio Conte","orcid":"https://orcid.org/0009-0009-5386-9045"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Salvatore Pio Conte","raw_affiliation_strings":["DEIB, Politecnico di Milano, Milano, Italy"],"raw_orcid":"https://orcid.org/0009-0009-5386-9045","affiliations":[{"raw_affiliation_string":"DEIB, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050515504","display_name":"Simone Cosenza","orcid":null},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Cosenza","raw_affiliation_strings":["DEIB, Politecnico di Milano, Milano, Italy"],"raw_orcid":"https://orcid.org/0009-0006-4890-3753","affiliations":[{"raw_affiliation_string":"DEIB, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114554055","display_name":"Giacomo Lancellotti","orcid":"https://orcid.org/0009-0005-0405-6073"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giacomo Lancellotti","raw_affiliation_strings":["DEIB, Politecnico di Milano, Milano, Italy"],"raw_orcid":"https://orcid.org/0009-0005-0405-6073","affiliations":[{"raw_affiliation_string":"DEIB, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069191452","display_name":"Giovanni Agosta","orcid":"https://orcid.org/0000-0002-0255-4475"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Agosta","raw_affiliation_strings":["DEIB, Politecnico di Milano, Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0255-4475","affiliations":[{"raw_affiliation_string":"DEIB, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I93860229"],"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":"66","last_page":"73"},"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.9488000273704529,"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.9488000273704529,"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.0071000000461936,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-fourier-transform","display_name":"Quantum Fourier transform","score":0.6051999926567078},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.588699996471405},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5860000252723694},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5551000237464905},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5006999969482422},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.46790000796318054},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4429999887943268},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.43479999899864197},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4235999882221222}],"concepts":[{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.6051999926567078},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.588699996471405},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5860000252723694},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5551000237464905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5113999843597412},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5006999969482422},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.46790000796318054},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4429999887943268},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.43479999899864197},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4235999882221222},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.42080000042915344},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.40459999442100525},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.3880999982357025},{"id":"https://openalex.org/C103275481","wikidata":"https://www.wikidata.org/wiki/Q6787889","display_name":"Matrix representation","level":3,"score":0.37709999084472656},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.37040001153945923},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3693999946117401},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.3605000078678131},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.35659998655319214},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.3540000021457672},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.3449999988079071},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3199000060558319},{"id":"https://openalex.org/C15353042","wikidata":"https://www.wikidata.org/wiki/Q7269009","display_name":"Quantum algebra","level":4,"score":0.29490000009536743},{"id":"https://openalex.org/C163834973","wikidata":"https://www.wikidata.org/wiki/Q2004891","display_name":"Numerical linear algebra","level":3,"score":0.2930999994277954},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.2897999882698059},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28360000252723694},{"id":"https://openalex.org/C60321788","wikidata":"https://www.wikidata.org/wiki/Q1197190","display_name":"Multilinear algebra","level":5,"score":0.2773999869823456},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.2745000123977661},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.2581000030040741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3801488.3806071","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801488.3806071","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 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3801488.3806071","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801488.3806071","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 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1866699241","https://openalex.org/W2029010113","https://openalex.org/W2040792108","https://openalex.org/W2153185479","https://openalex.org/W2963563052","https://openalex.org/W3122286897","https://openalex.org/W3170012598","https://openalex.org/W4213428754","https://openalex.org/W4214951473","https://openalex.org/W4220978240","https://openalex.org/W4290648346","https://openalex.org/W4302010773","https://openalex.org/W4383342234","https://openalex.org/W4391724739","https://openalex.org/W4394966830","https://openalex.org/W4401687284","https://openalex.org/W4407863036","https://openalex.org/W7134914542","https://openalex.org/W7164036367"],"related_works":[],"abstract_inverted_index":{"Linear":[0],"algebra":[1,43],"kernels":[2],"are":[3],"central":[4],"to":[5,22,34],"many":[6],"quantum":[7,11,46,84,88,93],"algorithms,":[8],"yet":[9],"existing":[10,75],"compilers":[12],"primarily":[13],"target":[14],"scalar":[15],"arithmetic,":[16],"limiting":[17],"their":[18],"expressiveness":[19],"and":[20,56,64,67,87,108,129],"applicability":[21],"such":[23],"workloads.":[24],"In":[25],"this":[26,119],"work,":[27],"we":[28,97],"extend":[29],"the":[30,36,74,135],"QuantumC":[31,76],"compilation":[32,37],"framework":[33],"support":[35],"of":[38,53],"C":[39],"programs":[40],"containing":[41],"linear":[42],"operations":[44],"into":[45,73],"circuits.":[47],"Our":[48],"approach":[49],"introduces":[50],"pattern-based":[51],"recognition":[52],"common":[54],"vector":[55,60,107],"matrix":[57,109,117],"computations,":[58],"including":[59],"addition,":[61],"dot":[62],"product,":[63],"matrix\u2013matrix":[65],"multiplication,":[66,118],"integrates":[68],"a":[69,99],"dedicated":[70],"intermediate":[71],"representation":[72],"pipeline.":[77],"This":[78],"design":[79],"allows":[80],"selecting":[81],"between":[82],"two":[83],"arithmetic":[85,137],"backends\u2014ripple-carry":[86],"Fourier":[89],"transform\u2014enabling":[90],"trade-offs":[91],"in":[92,116],"resource":[94],"usage.":[95],"Additionally,":[96],"introduce":[98],"compile-time":[100],"sparsity":[101,115],"optimization":[102,120],"pass":[103],"that":[104],"statically":[105],"analyzes":[106],"structures.":[110],"For":[111],"matrices":[112],"with":[113],"\\(90\\%\\)":[114],"reduces":[121],"qubit":[122],"count":[123],"by":[124,127,131],"91\u2013\\(97\\%\\),":[125],"T-depth":[126],"85\u2013\\(99\\%\\),":[128],"T-count":[130],"\\(99\\%\\),":[132],"depending":[133],"on":[134],"selected":[136],"backend.":[138]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-11T00:00:00"}