{"id":"https://openalex.org/W6911596759","doi":"https://doi.org/10.5281/zenodo.10781381","title":"Artifact: Symbolic Execution for Quantum Error Correction Programs","display_name":"Artifact: Symbolic Execution for Quantum Error Correction Programs","publication_year":2024,"publication_date":"2024-03-05","ids":{"openalex":"https://openalex.org/W6911596759","doi":"https://doi.org/10.5281/zenodo.10781381"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10781381","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10781381","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10781381","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Fang, Wang","orcid":"https://orcid.org/0000-0001-7628-1185"},"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fang, Wang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0001-7628-1185","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ying, Mingsheng","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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying, Mingsheng","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0003-4847-702X","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7113999724388123},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6208999752998352},{"id":"https://openalex.org/keywords/stabilizer","display_name":"Stabilizer (aeronautics)","score":0.5313000082969666},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5008999705314636},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4912000000476837},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4887000024318695},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4634000062942505},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.4544000029563904},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.3952000141143799}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7113999724388123},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6852999925613403},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6208999752998352},{"id":"https://openalex.org/C2777502316","wikidata":"https://www.wikidata.org/wiki/Q2712515","display_name":"Stabilizer (aeronautics)","level":2,"score":0.5313000082969666},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5008999705314636},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4912000000476837},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4887000024318695},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4634000062942505},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.4544000029563904},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4081000089645386},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3952000141143799},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3837999999523163},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.3833000063896179},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.374099999666214},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3736000061035156},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3167000114917755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3012999892234802},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.2896000146865845},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27219998836517334},{"id":"https://openalex.org/C134537474","wikidata":"https://www.wikidata.org/wiki/Q17144832","display_name":"Naturalness","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C2776141515","wikidata":"https://www.wikidata.org/wiki/Q1274479","display_name":"Repetition (rhetorical device)","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.26440000534057617},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.25940001010894775},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.25}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10781381","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10781381","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10781381","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10781381","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,42,96],"define":[1],"QSE,":[2],"a":[3,30,84,107,159,166,179],"symbolic":[4,12,37,45,72,103,149],"execution":[5,38],"framework":[6],"for":[7,55,134,162],"quantum":[8,15,21,60,119,126],"programs":[9,137],"by":[10,144],"integrating":[11],"variables":[13],"into":[14],"states":[16,105],"and":[17,125],"the":[18,34,50,56,66,76,100,130,171,184],"outcomes":[19],"of":[20,25,36,52,59,102,132,151],"measurements.":[22],"The":[23],"soundness":[24],"QSE":[26,67,98],"is":[27,155],"established":[28],"through":[29],"theorem":[31],"that":[32,90],"ensures":[33],"correctness":[35],"within":[39],"operational":[40],"semantics.":[41],"further":[43],"introduce":[44],"stabilizer":[46,53,104,163,173],"states,":[47],"which":[48],"symbolize":[49],"phases":[51],"generators,":[54],"efficient":[57],"analysis":[58],"error":[61],"correction":[62],"(QEC)":[63],"programs.":[64],"Within":[65],"framework,":[68],"we":[69],"can":[70],"use":[71],"expressions":[73,150],"to":[74],"characterize":[75],"possible":[77],"discrete":[78],"Pauli":[79],"errors":[80],"in":[81,106,148,183],"QEC,":[82],"providing":[83],"significant":[85],"improvement":[86],"over":[87,139],"existing":[88],"methods":[89],"rely":[91],"on":[92,114],"sampling":[93,160,181],"with":[94,99,138,158],"simulators.":[95],"implement":[97],"support":[101],"prototype":[108],"tool":[109],"named":[110],"QuantumSE.jl.":[111],"Our":[112],"experiments":[113],"representative":[115],"QEC":[116,136],"codes,":[117,121,124,128],"including":[118],"repetition":[120],"Kitaev's":[122],"toric":[123],"Tanner":[127],"demonstrate":[129],"efficiency":[131],"QuantumSE.jl":[133,154,177],"debugging":[135],"1000":[140],"qubits.":[141],"In":[142],"addition,":[143],"substituting":[145],"concrete":[146],"values":[147],"measurement":[152],"results,":[153],"also":[156],"equipped":[157],"feature":[161],"circuits.":[164],"Despite":[165],"longer":[167],"initialization":[168],"time":[169],"than":[170],"state-of-the-art":[172],"simulator,":[174],"Google's":[175],"Stim,":[176],"offers":[178],"quicker":[180],"rate":[182],"experiments.":[185]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}