{"id":"https://openalex.org/W4293025174","doi":"https://doi.org/10.1145/3489517.3530626","title":"Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes","display_name":"Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes","publication_year":2022,"publication_date":"2022-07-10","ids":{"openalex":"https://openalex.org/W4293025174","doi":"https://doi.org/10.1145/3489517.3530626"},"language":"en","primary_location":{"id":"doi:10.1145/3489517.3530626","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3489517.3530626","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 59th ACM/IEEE Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766"},"institutions":[{"id":"https://openalex.org/I4210139986","display_name":"Microsoft (Switzerland)","ror":"https://ror.org/03zryq964","country_code":"CH","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210139986"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mathias Soeken","raw_affiliation_strings":["Microsoft Quantum, Z\u00fcrich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Quantum, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I4210139986"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062034324","display_name":"Mariia Mykhailova","orcid":"https://orcid.org/0009-0004-0321-2620"},"institutions":[{"id":"https://openalex.org/I4210135422","display_name":"Microsoft (Norway)","ror":"https://ror.org/03jtz4s80","country_code":"NO","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210135422"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Mariia Mykhailova","raw_affiliation_strings":["Microsoft Quantum"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Quantum","institution_ids":["https://openalex.org/I4210135422"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1363","last_page":"1366"},"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.9998999834060669,"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.9998999834060669,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9973999857902527,"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"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9954000115394592,"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/oracle","display_name":"Oracle","score":0.759064257144928},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7396274209022522},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5222616791725159},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5136460661888123},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.47884321212768555},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4684735834598541},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4422861933708191},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1240113377571106}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.759064257144928},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7396274209022522},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5222616791725159},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5136460661888123},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.47884321212768555},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4684735834598541},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4422861933708191},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1240113377571106},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3489517.3530626","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3489517.3530626","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 59th ACM/IEEE Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1144493394","https://openalex.org/W1184102620","https://openalex.org/W1661190760","https://openalex.org/W1868653600","https://openalex.org/W1871899311","https://openalex.org/W2003858108","https://openalex.org/W2029710382","https://openalex.org/W2061073612","https://openalex.org/W2062938319","https://openalex.org/W2084652510","https://openalex.org/W2121981260","https://openalex.org/W2140132043","https://openalex.org/W2145527206","https://openalex.org/W2150528339","https://openalex.org/W2790668893","https://openalex.org/W2796205655","https://openalex.org/W2884745191","https://openalex.org/W2946075680","https://openalex.org/W2963563052","https://openalex.org/W2964190485","https://openalex.org/W2996674934","https://openalex.org/W2997682999","https://openalex.org/W3024978238","https://openalex.org/W3033997567","https://openalex.org/W3092070466","https://openalex.org/W3100931381","https://openalex.org/W3102773744","https://openalex.org/W4210669946","https://openalex.org/W4214856741","https://openalex.org/W4246166885"],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W3110702597","https://openalex.org/W2125620709","https://openalex.org/W2110441383","https://openalex.org/W2045932760","https://openalex.org/W4233149903","https://openalex.org/W2326878701","https://openalex.org/W2159936604","https://openalex.org/W2163672025","https://openalex.org/W2258184894"],"abstract_inverted_index":{"Automatic":[0],"oracle":[1,19,73],"generation":[2,20,74,107],"techniques":[3,21,75],"can":[4,50],"find":[5],"optimized":[6],"quantum":[7,13,93],"circuits":[8],"for":[9,80],"classical":[10,25,56],"components":[11],"in":[12,29],"algorithms.":[14],"However,":[15],"most":[16],"implementations":[17],"of":[18,31,91,99,108],"require":[22],"that":[23,49],"the":[24,92,109],"component":[26],"is":[27],"expressed":[28],"terms":[30],"a":[32,87,96],"conventional":[33],"logic":[34,38,70],"representation":[35],"such":[36,63],"as":[37],"networks,":[39],"truth":[40],"tables,":[41],"or":[42,105],"decision":[43],"diagrams.":[44],"We":[45,66],"implemented":[46],"LLVM":[47],"passes":[48],"automatically":[51],"generate":[52],"QIR":[53,60],"functions":[54,58,64],"representing":[55],"Q#":[57],"into":[59],"code":[61],"implementing":[62],"quantumly.":[65],"are":[67],"using":[68],"state-of-the-art":[69],"optimization":[71],"and":[72],"based":[76],"on":[77,95],"XOR-AND":[78],"graphs":[79],"this":[81],"purpose.":[82],"This":[83],"enables":[84,103],"not":[85],"only":[86],"more":[88],"natural":[89],"description":[90],"algorithm":[94],"higher":[97],"level":[98],"abstraction,":[100],"but":[101],"also":[102],"technology-dependent":[104],"application-specific":[106],"oracles.":[110]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}