{"id":"https://openalex.org/W4391558509","doi":"https://doi.org/10.1145/3597503.3623300","title":"Reorder Pointer Flow in Sound Concurrency Bug Prediction","display_name":"Reorder Pointer Flow in Sound Concurrency Bug Prediction","publication_year":2024,"publication_date":"2024-02-06","ids":{"openalex":"https://openalex.org/W4391558509","doi":"https://doi.org/10.1145/3597503.3623300"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3623300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3623300","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3623300","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3623300","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101450066","display_name":"Yuqi Guo","orcid":"https://orcid.org/0000-0001-8864-3606"},"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/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":"Yuqi Guo","raw_affiliation_strings":["School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8864-3606","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067487401","display_name":"Shihao Zhu","orcid":"https://orcid.org/0009-0008-9973-9871"},"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/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":"Shihao Zhu","raw_affiliation_strings":["School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-9973-9871","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019924930","display_name":"Yan Cai","orcid":"https://orcid.org/0000-0002-4768-0272"},"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/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":"Yan Cai","raw_affiliation_strings":["School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4768-0272","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101473326","display_name":"Liang He","orcid":"https://orcid.org/0000-0002-6627-4691"},"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/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":"Liang He","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China","School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","Institute of Software, Chinese Academy of Sciences, Beijing, China School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-6627-4691","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071652543","display_name":"Jian Zhang","orcid":"https://orcid.org/0000-0001-8523-3505"},"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/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":"Jian Zhang","raw_affiliation_strings":["School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8523-3505","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.443,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53365623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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/T11349","display_name":"Music Technology and Sound Studies","score":0.9840999841690063,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10201","display_name":"Speech Recognition and Synthesis","score":0.9775000214576721,"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/computer-science","display_name":"Computer science","score":0.8034824132919312},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8022037744522095},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.652001678943634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4503322243690491},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12097355723381042}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8034824132919312},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8022037744522095},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.652001678943634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4503322243690491},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12097355723381042}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3623300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3623300","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3623300","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3597503.3623300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3623300","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3623300","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1665320942","display_name":null,"funder_award_id":"62372437","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3196640441","display_name":null,"funder_award_id":"61932012","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6800602771","display_name":null,"funder_award_id":"62232016","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7094203040","display_name":null,"funder_award_id":"ZDBS-LY-7006","funder_id":"https://openalex.org/F4320338202","funder_display_name":"Key Research Program of Frontier Science, Chinese Academy of Sciences"},{"id":"https://openalex.org/G7847764161","display_name":null,"funder_award_id":"Y2021041","funder_id":"https://openalex.org/F4320322847","funder_display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences"},{"id":"https://openalex.org/G8121135803","display_name":null,"funder_award_id":"2019111","funder_id":"https://openalex.org/F4320322847","funder_display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences"},{"id":"https://openalex.org/G8267205545","display_name":null,"funder_award_id":"62132020","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8685415359","display_name":null,"funder_award_id":"2022YFB3104004","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program 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/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320322847","display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences","ror":"https://ror.org/031141b54"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null},{"id":"https://openalex.org/F4320338202","display_name":"Key Research Program of Frontier Science, Chinese Academy of Sciences","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391558509.pdf","grobid_xml":"https://content.openalex.org/works/W4391558509.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W1972544179","https://openalex.org/W1986463648","https://openalex.org/W2002179840","https://openalex.org/W2025819261","https://openalex.org/W2046368282","https://openalex.org/W2054739713","https://openalex.org/W2061504544","https://openalex.org/W2066535672","https://openalex.org/W2068530820","https://openalex.org/W2101161997","https://openalex.org/W2112521545","https://openalex.org/W2121816623","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2137530017","https://openalex.org/W2141975313","https://openalex.org/W2153174073","https://openalex.org/W2159856414","https://openalex.org/W2161600851","https://openalex.org/W2170922286","https://openalex.org/W2285599141","https://openalex.org/W2295857493","https://openalex.org/W2508374411","https://openalex.org/W2531260568","https://openalex.org/W2606910946","https://openalex.org/W2756868382","https://openalex.org/W2767161562","https://openalex.org/W2767836542","https://openalex.org/W2790562154","https://openalex.org/W2794682558","https://openalex.org/W2799137521","https://openalex.org/W2887512784","https://openalex.org/W2898242299","https://openalex.org/W2903402038","https://openalex.org/W2911485256","https://openalex.org/W2912456980","https://openalex.org/W2913006997","https://openalex.org/W2927543040","https://openalex.org/W2962349163","https://openalex.org/W2968450123","https://openalex.org/W2979880065","https://openalex.org/W2982476190","https://openalex.org/W2995880861","https://openalex.org/W2999002499","https://openalex.org/W3016185124","https://openalex.org/W3019415692","https://openalex.org/W3032865144","https://openalex.org/W3093824853","https://openalex.org/W3103543923","https://openalex.org/W3114146851","https://openalex.org/W3137220996","https://openalex.org/W3160978791","https://openalex.org/W3174250772","https://openalex.org/W3174544859","https://openalex.org/W3195446863","https://openalex.org/W3195605733","https://openalex.org/W4236306709","https://openalex.org/W4243700390","https://openalex.org/W4248655060","https://openalex.org/W4284687346","https://openalex.org/W4307731867","https://openalex.org/W4384345769","https://openalex.org/W4385478034"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2387387477","https://openalex.org/W2394051415","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W82217049","https://openalex.org/W2355140909","https://openalex.org/W1980881991"],"abstract_inverted_index":{"Due":[0],"to":[1,71,89,115],"the":[2,33,37,43,59,63,68,93,97,143,154,158],"non-determinism":[3],"of":[4,36,62,119,153,168],"thread":[5,155],"interleaving,":[6],"predicting":[7,41],"concurrency":[8,120,164],"bugs":[9],"has":[10],"long":[11],"been":[12],"an":[13],"extremely":[14],"difficult":[15],"task.":[16],"Recently,":[17],"several":[18],"sound":[19,110],"bug-detecting":[20,112,182],"approaches":[21,25,183],"were":[22],"proposed.":[23],"These":[24],"are":[26,123],"based":[27],"on":[28,103,170],"local":[29],"search,":[30],"i.e.,":[31],"mutating":[32],"sequential":[34,45,98],"order":[35,46,99],"observed":[38],"trace":[39],"and":[40,136,160,187,192],"whether":[42],"mutated":[44],"can":[47,66,147],"trigger":[48],"a":[49,82,108,149],"bug.":[50],"Surprisingly,":[51],"during":[52,96,157],"this":[53,78],"process,":[54],"they":[55],"never":[56],"consider":[57],"reordering":[58,142],"data":[60],"flow":[61,95],"pointers,":[64],"which":[65],"be":[67],"key":[69],"point":[70],"detecting":[72],"many":[73],"complex":[74],"bugs.":[75,121,165],"To":[76],"alleviate":[77],"weakness,":[79],"we":[80,105],"propose":[81,107],"new":[83,109],"flow-sensitive":[84],"point-to":[85],"analysis":[86],"technique":[87],"ConPTA":[88],"help":[90],"actively":[91,141],"reorder":[92],"pointer":[94,125,129,144],"mutation":[100,159],"process.":[101],"Based":[102],"ConPTA,":[104],"further":[106],"predictive":[111],"approach":[113],"Eagle":[114,146,169,177],"predict":[116],"four":[117,180],"types":[118],"They":[122],"null":[124],"dereference":[126],"(NPD),":[127],"uninitialized":[128],"use":[130,132],"(UPU),":[131],"after":[133],"free":[134,138],"(UAF),":[135],"double":[137],"(DF).":[139],"By":[140],"flow,":[145],"explore":[148],"larger":[150],"search":[151],"space":[152],"interleaving":[156],"thus":[161],"detect":[162],"more":[163],"Our":[166],"evaluation":[167],"10":[171],"real-world":[172],"multi-threaded":[173],"programs":[174],"shows":[175],"that":[176],"significantly":[178],"outperforms":[179],"state-of-the-art":[181],"UFO,":[184],"ConVul,":[185],"ConVulPOE":[186],"Period":[188],"in":[189],"both":[190],"effectiveness":[191],"efficiency.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}