{"id":"https://openalex.org/W2169019163","doi":"https://doi.org/10.1145/2642937.2642972","title":"Localization of concurrency bugs using shared memory access pairs","display_name":"Localization of concurrency bugs using shared memory access pairs","publication_year":2014,"publication_date":"2014-09-15","ids":{"openalex":"https://openalex.org/W2169019163","doi":"https://doi.org/10.1145/2642937.2642972","mag":"2169019163"},"language":"en","primary_location":{"id":"doi:10.1145/2642937.2642972","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2642937.2642972","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2642972&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2642972&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100768918","display_name":"Wenwen Wang","orcid":"https://orcid.org/0000-0003-0840-4846"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wenwen Wang","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008379454","display_name":"Zhenjiang Wang","orcid":"https://orcid.org/0000-0001-7783-6648"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenjiang Wang","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046439614","display_name":"Chenggang Wu","orcid":"https://orcid.org/0000-0003-1777-8110"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenggang Wu","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052005800","display_name":"Pen-Chung Yew","orcid":"https://orcid.org/0000-0001-9653-8777"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210101327","display_name":"Twin Cities Orthopedics","ror":"https://ror.org/01en4s460","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pen-Chung Yew","raw_affiliation_strings":["University of Minnesota at Twin-Cities, Minneapolis, MN, USA"],"affiliations":[{"raw_affiliation_string":"University of Minnesota at Twin-Cities, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I4210101327","https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100624451","display_name":"Xipeng Shen","orcid":"https://orcid.org/0000-0003-3599-8010"},"institutions":[{"id":"https://openalex.org/I267592682","display_name":"Williams (United States)","ror":"https://ror.org/007zhvp17","country_code":"US","type":"company","lineage":["https://openalex.org/I267592682"]},{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xipeng Shen","raw_affiliation_strings":["College of William and Mary, Williamsburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"College of William and Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277","https://openalex.org/I267592682"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101652755","display_name":"Xiang Yuan","orcid":"https://orcid.org/0009-0009-4927-7039"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yuan","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101518424","display_name":"Jianjun Li","orcid":"https://orcid.org/0000-0002-1127-6067"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianjun Li","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053070701","display_name":"Xiaobing Feng","orcid":"https://orcid.org/0000-0003-2909-7750"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaobing Feng","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087366755","display_name":"Yong Guan","orcid":"https://orcid.org/0000-0002-2373-2779"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Guan","raw_affiliation_strings":["Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5100768918"],"corresponding_institution_ids":["https://openalex.org/I19820366"],"apc_list":null,"apc_paid":null,"fwci":1.58,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.84148442,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"611","last_page":"622"},"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.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9003374576568604},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8952962160110474},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.6721038818359375},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5053642392158508},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.47012436389923096},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.45112860202789307},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44344601035118103},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4300166964530945},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35415035486221313},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20008453726768494}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9003374576568604},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8952962160110474},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.6721038818359375},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5053642392158508},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.47012436389923096},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.45112860202789307},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44344601035118103},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4300166964530945},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35415035486221313},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20008453726768494}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2642937.2642972","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2642937.2642972","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2642972&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2642937.2642972","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2642937.2642972","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2642972&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1065316766","display_name":null,"funder_award_id":"Award","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G1116051475","display_name":null,"funder_award_id":"2012AA010901","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1465150485","display_name":null,"funder_award_id":"61221062","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1606245942","display_name":null,"funder_award_id":"61303051","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1779250146","display_name":"CyberCorp Cadre","funder_award_id":"1303051","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1795454165","display_name":null,"funder_award_id":"61221062","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2906838924","display_name":"Quantum Affine Algebras: BGG reciprocity, Macdonald Polynomials, Schur postivity","funder_award_id":"1303052","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G460697733","display_name":null,"funder_award_id":"1320796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4883629846","display_name":null,"funder_award_id":"61332009","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5184694756","display_name":null,"funder_award_id":"2011CB302504","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G5270514466","display_name":null,"funder_award_id":"60925009","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5467892540","display_name":null,"funder_award_id":"2012AA010901","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5625589362","display_name":null,"funder_award_id":"61303052","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6164470887","display_name":null,"funder_award_id":"60925009","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6874861956","display_name":null,"funder_award_id":"2011CB302504","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7068879837","display_name":null,"funder_award_id":"130305","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7174558747","display_name":null,"funder_award_id":"Group","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7733967793","display_name":null,"funder_award_id":"61332","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2169019163.pdf","grobid_xml":"https://content.openalex.org/works/W2169019163.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1505468428","https://openalex.org/W1873898332","https://openalex.org/W1972544179","https://openalex.org/W2049381173","https://openalex.org/W2091543666","https://openalex.org/W2100505193","https://openalex.org/W2101161997","https://openalex.org/W2101819268","https://openalex.org/W2102967730","https://openalex.org/W2109875364","https://openalex.org/W2110852599","https://openalex.org/W2111413199","https://openalex.org/W2112401557","https://openalex.org/W2115015193","https://openalex.org/W2122295525","https://openalex.org/W2127989655","https://openalex.org/W2134633067","https://openalex.org/W2135023759","https://openalex.org/W2135948849","https://openalex.org/W2136650506","https://openalex.org/W2137270184","https://openalex.org/W2137422315","https://openalex.org/W2137955133","https://openalex.org/W2147506153","https://openalex.org/W2150290060","https://openalex.org/W2153229512","https://openalex.org/W2153418968","https://openalex.org/W2155479707","https://openalex.org/W2158449625","https://openalex.org/W2159856414","https://openalex.org/W2162376048","https://openalex.org/W3020947624","https://openalex.org/W4206635466","https://openalex.org/W4210712189","https://openalex.org/W4233319527","https://openalex.org/W4233793161","https://openalex.org/W4239813889","https://openalex.org/W4244169215","https://openalex.org/W4249000722","https://openalex.org/W4254906220","https://openalex.org/W6629325410","https://openalex.org/W6639456316"],"related_works":["https://openalex.org/W2153723363","https://openalex.org/W1837558792","https://openalex.org/W2093198767","https://openalex.org/W2098482419","https://openalex.org/W2108637333","https://openalex.org/W4254638342","https://openalex.org/W2020936745","https://openalex.org/W1982466989","https://openalex.org/W2070983336","https://openalex.org/W2169019163"],"abstract_inverted_index":{"We":[0],"propose":[1],"an":[2],"effective":[3],"approach":[4,21,39,91],"to":[5,17,56,77],"automatically":[6],"localize":[7,41],"buggy":[8,42,102,142],"shared":[9,43,103,143],"memory":[10,44,104,144],"accesses":[11,45,105,145],"that":[12,110,140,146],"trigger":[13,147],"concurrency":[14,137],"bugs.":[15],"Compared":[16],"existing":[18,65,118],"approaches,":[19],"our":[20,38,90],"has":[22],"two":[23],"advantages.":[24],"First,":[25],"as":[26,28,54],"long":[27],"enough":[29],"successful":[30,85],"runs":[31,63,82,86,109],"of":[32,59],"a":[33,69,128],"concurrent":[34],"program":[35],"are":[36,114],"collected,":[37],"can":[40,150],"even":[46],"with":[47,156],"only":[48,157],"one":[49,158],"single":[50],"failed":[51,62,81,108,159],"run":[52,160],"captured,":[53],"opposed":[55],"the":[57,79,84],"requirement":[58],"capturing":[60],"multiple":[61],"in":[64,87,106,117],"approaches.":[66,119],"This":[67],"is":[68,74],"significant":[70],"advantage":[71],"because":[72,98],"it":[73,99],"more":[75,93],"difficult":[76],"capture":[78],"elusive":[80],"than":[83],"practice.":[88],"Second,":[89],"exhibits":[92],"precise":[94],"bug":[95],"localization":[96],"results":[97,133],"also":[100,126],"captures":[101],"those":[107],"terminate":[111],"prematurely,":[112],"which":[113],"often":[115],"neglected":[116],"Based":[120],"on":[121,134],"this":[122],"proposed":[123],"approach,":[124],"we":[125],"implement":[127],"prototype,":[129],"named":[130],"LOCON.":[131],"Evaluation":[132],"16":[135],"common":[136],"bugs":[138,149],"show":[139],"all":[141],"these":[148],"be":[151],"precisely":[152],"localized":[153],"by":[154],"LOCON":[155],"captured.":[161]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}