{"id":"https://openalex.org/W4391568804","doi":"https://doi.org/10.1145/3644389","title":"Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search","display_name":"Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search","publication_year":2024,"publication_date":"2024-02-06","ids":{"openalex":"https://openalex.org/W4391568804","doi":"https://doi.org/10.1145/3644389"},"language":"en","primary_location":{"id":"doi:10.1145/3644389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3644389","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101808667","display_name":"Jiawei Ren","orcid":"https://orcid.org/0000-0001-7635-468X"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jiawei Ren","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0001-7635-468X","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036194526","display_name":"Xiao Cheng","orcid":"https://orcid.org/0000-0001-5456-3827"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xiao Cheng","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0001-5456-3827","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022869475","display_name":"Yuan Feng","orcid":"https://orcid.org/0000-0002-3097-3896"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuan Feng","raw_affiliation_strings":["University of Technology Sydney, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-3097-3896","affiliations":[{"raw_affiliation_string":"University of Technology Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065190767","display_name":"Jianjun Zhao","orcid":"https://orcid.org/0000-0001-8083-4352"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jianjun Zhao","raw_affiliation_strings":["Kyushu University, Fukuoka, Japan"],"raw_orcid":"https://orcid.org/0000-0001-8083-4352","affiliations":[{"raw_affiliation_string":"Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3055,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59392668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"33","issue":"5","first_page":"1","last_page":"29"},"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.9994000196456909,"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.9994000196456909,"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.9930999875068665,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9610999822616577,"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/transitive-closure","display_name":"Transitive closure","score":0.7787408828735352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.753085196018219},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5845023393630981},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5505502223968506},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.490951806306839},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4499644637107849},{"id":"https://openalex.org/keywords/lens","display_name":"Lens (geology)","score":0.42758673429489136},{"id":"https://openalex.org/keywords/through-the-lens-metering","display_name":"Through-the-lens metering","score":0.42604896426200867},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.344216525554657},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32269084453582764},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2607990801334381},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19217798113822937},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.17978930473327637},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1166418194770813},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10596588253974915},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07352444529533386}],"concepts":[{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.7787408828735352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.753085196018219},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5845023393630981},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5505502223968506},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.490951806306839},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4499644637107849},{"id":"https://openalex.org/C15336307","wikidata":"https://www.wikidata.org/wiki/Q1766051","display_name":"Lens (geology)","level":2,"score":0.42758673429489136},{"id":"https://openalex.org/C43091099","wikidata":"https://www.wikidata.org/wiki/Q1067788","display_name":"Through-the-lens metering","level":3,"score":0.42604896426200867},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.344216525554657},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32269084453582764},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2607990801334381},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19217798113822937},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.17978930473327637},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1166418194770813},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10596588253974915},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07352444529533386},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3644389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3644389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391568804.pdf","grobid_xml":"https://content.openalex.org/works/W4391568804.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W1507046749","https://openalex.org/W1531074043","https://openalex.org/W1568345435","https://openalex.org/W1926956344","https://openalex.org/W1966032455","https://openalex.org/W1968493380","https://openalex.org/W1989058323","https://openalex.org/W1996567876","https://openalex.org/W2008231303","https://openalex.org/W2009215937","https://openalex.org/W2024779397","https://openalex.org/W2026154596","https://openalex.org/W2030166143","https://openalex.org/W2038073775","https://openalex.org/W2051446825","https://openalex.org/W2059590831","https://openalex.org/W2072385532","https://openalex.org/W2084652510","https://openalex.org/W2093080079","https://openalex.org/W2120252658","https://openalex.org/W2127259150","https://openalex.org/W2131135493","https://openalex.org/W2144344516","https://openalex.org/W2171882483","https://openalex.org/W2297774820","https://openalex.org/W2559394418","https://openalex.org/W2777662281","https://openalex.org/W2780295126","https://openalex.org/W2781738013","https://openalex.org/W2792176898","https://openalex.org/W2799226481","https://openalex.org/W2880299821","https://openalex.org/W2883221138","https://openalex.org/W2906538035","https://openalex.org/W2913190182","https://openalex.org/W2946582523","https://openalex.org/W2990961515","https://openalex.org/W3003273278","https://openalex.org/W3006255022","https://openalex.org/W3013983845","https://openalex.org/W3023478445","https://openalex.org/W3035965352","https://openalex.org/W3045765071","https://openalex.org/W3099200606","https://openalex.org/W3099878876","https://openalex.org/W3100931082","https://openalex.org/W3101135395","https://openalex.org/W3106243186","https://openalex.org/W3107793421","https://openalex.org/W3109913413","https://openalex.org/W3109961245","https://openalex.org/W3117677213","https://openalex.org/W3160805910","https://openalex.org/W3161071537","https://openalex.org/W3173827709","https://openalex.org/W3209612530","https://openalex.org/W4205381966","https://openalex.org/W4281389731","https://openalex.org/W4285490489","https://openalex.org/W4285821122","https://openalex.org/W4307731800","https://openalex.org/W4315605993","https://openalex.org/W4353007627","https://openalex.org/W4376609669","https://openalex.org/W4379537148","https://openalex.org/W4391568804","https://openalex.org/W4394745436"],"related_works":["https://openalex.org/W1553139688","https://openalex.org/W2371151875","https://openalex.org/W2136009070","https://openalex.org/W2362009423","https://openalex.org/W2391133415","https://openalex.org/W2012063573","https://openalex.org/W2123627450","https://openalex.org/W4230967508","https://openalex.org/W203725150","https://openalex.org/W1499233953"],"abstract_inverted_index":{"Many":[0],"existing":[1,116],"static":[2,35,55,194],"analysis":[3,36,56,69],"algorithms":[4,37,91,187],"suffer":[5],"from":[6],"cubic":[7],"bottlenecks":[8],"because":[9],"of":[10,88,115,125,140,154,174,184],"the":[11,21,27,85,104,135,150,172,181,190],"need":[12],"to":[13,92,128,134,188],"compute":[14],"a":[15,122,142],"dynamic":[16],"transitive":[17],"closure":[18],"(DTC).":[19],"For":[20],"first":[22,45],"time,":[23],"this":[24],"article":[25],"studies":[26],"quantum":[28,39,60,81,137,146,186],"speedups":[29],"on":[30,160,180],"searching":[31],"subtasks":[32],"in":[33,50,193],"DTC-based":[34,54,68],"using":[38,157],"search":[40,61,127],"(e.g.,":[41],"Grover\u2019s":[42,51,126],"algorithm).":[43],"We":[44,148],"introduce":[46],"our":[47,59,80,130,155,175],"oracle":[48],"implementation":[49],"algorithm":[52],"for":[53],"and":[57,73,77,152,164,177],"illustrate":[58],"subroutine.":[62],"Then,":[63],"we":[64,120],"take":[65],"two":[66,90],"typical":[67],"algorithms:":[70],"context-free-language":[71],"reachability":[72],"set":[74],"constraint-based":[75],"analysis,":[76],"show":[78],"that":[79],"approach":[82,156,176],"can":[83],"reduce":[84],"time":[86],"complexity":[87],"these":[89],"truly":[93],"subcubic":[94],"(":[95,107,109],"\\(O(N^2\\sqrt":[96],"{N}{\\it":[97],"polylog}(N))\\)":[98],"),":[99],"yielding":[100],"better":[101],"results":[102,170],"than":[103],"upper":[105],"bound":[106],"O":[108],"N":[110,113],"3":[111],"/log":[112],"))":[114],"classical":[117,123],"algorithms.":[118],"Finally,":[119],"conducted":[121],"simulation":[124],"validate":[129],"theoretical":[131],"approach,":[132],"due":[133],"current":[136],"hardware":[138],"limitation":[139],"lacking":[141],"practical,":[143],"large-scale,":[144],"noise-free":[145],"machine.":[147],"evaluated":[149],"correctness":[151],"efficiency":[153],"IBM":[158],"Qiskit":[159],"nine":[161],"open-source":[162],"projects":[163],"randomly":[165],"generated":[166],"edge-labeled":[167],"graphs/constraints.":[168],"The":[169],"demonstrate":[171],"effectiveness":[173],"shed":[178],"light":[179],"promising":[182],"direction":[183],"applying":[185],"address":[189],"general":[191],"challenges":[192],"analysis.":[195]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}