{"id":"https://openalex.org/W4289855867","doi":"https://doi.org/10.1145/3531130.3533327","title":"Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs","display_name":"Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs","publication_year":2022,"publication_date":"2022-08-02","ids":{"openalex":"https://openalex.org/W4289855867","doi":"https://doi.org/10.1145/3531130.3533327"},"language":"en","primary_location":{"id":"doi:10.1145/3531130.3533327","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533327","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","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/A5100738705","display_name":"Junyi Liu","orcid":"https://orcid.org/0000-0002-4277-1802"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junyi Liu","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, China and University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, China and University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051561743","display_name":"Li Zhou","orcid":"https://orcid.org/0000-0002-9868-8477"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Li Zhou","raw_affiliation_strings":["Max Planck Institute for Security and Privacy, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Security and Privacy, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["DE","ES"],"is_corresponding":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["Max Planck Institute for Security and Privacy, Germany and IMDEA Software Institute, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Security and Privacy, Germany and IMDEA Software Institute, Spain","institution_ids":["https://openalex.org/I4210096592","https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, China and Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, China and Tsinghua University, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I99065089","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8035,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87295925,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9887999892234802,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9793000221252441,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.6768432855606079},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5530397295951843},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5381311774253845},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4972067177295685},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4913994073867798},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.463558554649353},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32827115058898926},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.09627491235733032},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08342665433883667},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06809031963348389}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6768432855606079},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5530397295951843},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5381311774253845},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4972067177295685},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4913994073867798},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.463558554649353},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32827115058898926},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.09627491235733032},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08342665433883667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06809031963348389}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3531130.3533327","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533327","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:cds.cern.ch:2801005","is_oa":false,"landing_page_url":"http://cds.cern.ch/record/2801005","pdf_url":null,"source":{"id":"https://openalex.org/S4306402195","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G769412488","display_name":null,"funder_award_id":"2018YFA0306701","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8332624565","display_name":"\u91cf\u5b50\u7a0b\u5e8f\u8bbe\u8ba1\u7684\u7406\u8bba\u57fa\u7840","funder_award_id":"61832015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W72346910","https://openalex.org/W1524865709","https://openalex.org/W1566596544","https://openalex.org/W1631356911","https://openalex.org/W1774237421","https://openalex.org/W1922177649","https://openalex.org/W1967175382","https://openalex.org/W1999626800","https://openalex.org/W2025956887","https://openalex.org/W2029010113","https://openalex.org/W2044357043","https://openalex.org/W2054665888","https://openalex.org/W2058286540","https://openalex.org/W2101697221","https://openalex.org/W2121087903","https://openalex.org/W2222812367","https://openalex.org/W2256047742","https://openalex.org/W2294370068","https://openalex.org/W2294463722","https://openalex.org/W2322420242","https://openalex.org/W2408755413","https://openalex.org/W2482129511","https://openalex.org/W2735409225","https://openalex.org/W2781738013","https://openalex.org/W2797914422","https://openalex.org/W2887997738","https://openalex.org/W2893610333","https://openalex.org/W2951773754","https://openalex.org/W2955434816","https://openalex.org/W2962822640","https://openalex.org/W2963336730","https://openalex.org/W2964180318","https://openalex.org/W3100931082","https://openalex.org/W3101479050","https://openalex.org/W3102775972","https://openalex.org/W3158434491","https://openalex.org/W4238931494","https://openalex.org/W4289855867"],"related_works":["https://openalex.org/W2155794351","https://openalex.org/W4353086852","https://openalex.org/W1995074057","https://openalex.org/W1028212721","https://openalex.org/W4376876762","https://openalex.org/W1981560782","https://openalex.org/W3183333684","https://openalex.org/W4293574856","https://openalex.org/W4319296304","https://openalex.org/W4384648128"],"abstract_inverted_index":{"We":[0],"study":[1],"expected":[2,17,31,53,76,102],"runtimes":[3,54],"for":[4,50,86],"quantum":[5,23,35,56,79,84,105],"programs.":[6],"Inspired":[7],"by":[8,109],"recent":[9],"work":[10],"on":[11],"probabilistic":[12],"programs,":[13],"we":[14,27],"first":[15],"define":[16],"runtime":[18,32,77,103],"as":[19,40,68],"a":[20,34,83],"generalisation":[21],"of":[22,33,43,55,70,78,99,104],"weakest":[24],"precondition.":[25],"Then,":[26],"show":[28],"that":[29],"the":[30,41,52,75,101],"program":[36],"can":[37],"be":[38],"represented":[39],"expectation":[42],"an":[44,96],"observable":[45],"(in":[46],"physics).":[47],"A":[48],"method":[49],"computing":[51,74,100],"programs":[57],"in":[58],"finite-dimensional":[59],"state":[60],"spaces":[61],"is":[62,115],"developed.":[63],"Several":[64],"examples":[65],"are":[66],"provided":[67],"applications":[69],"this":[71],"method,":[72,95],"including":[73],"Bernoulli":[80],"Factory":[81],"\u2013":[82],"algorithm":[85],"generating":[87],"random":[88,106],"numbers.":[89],"In":[90],"particular,":[91],"using":[92],"our":[93],"new":[94],"open":[97],"problem":[98],"walks":[107],"introduced":[108],"Ambainis":[110],"et":[111],"al.":[112],"(STOC":[113],"2001)":[114],"solved.":[116]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}