{"id":"https://openalex.org/W3116389844","doi":"https://doi.org/10.1145/3412377","title":"RegionTrack","display_name":"RegionTrack","publication_year":2020,"publication_date":"2020-12-31","ids":{"openalex":"https://openalex.org/W3116389844","doi":"https://doi.org/10.1145/3412377","mag":"3116389844"},"language":"en","primary_location":{"id":"doi:10.1145/3412377","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3412377","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051831276","display_name":"Xiaoxue Ma","orcid":"https://orcid.org/0000-0001-7745-7154"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiaoxue Ma","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-7745-7154","affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082557247","display_name":"Shangru Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shangru Wu","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069979960","display_name":"Ernest Pobee","orcid":"https://orcid.org/0000-0002-5022-7081"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ernest Pobee","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083386748","display_name":"Xiupei Mei","orcid":"https://orcid.org/0000-0002-2677-4528"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiupei Mei","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100396937","display_name":"Hao Zhang","orcid":"https://orcid.org/0000-0002-6227-9815"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Hao Zhang","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101765169","display_name":"Bo Jiang","orcid":"https://orcid.org/0000-0003-0864-1665"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Jiang","raw_affiliation_strings":["Beihang University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beihang University","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049384556","display_name":"W.K. Chan","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wing-Kwong Chan","raw_affiliation_strings":["City University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8125,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.7993446,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"30","issue":"1","first_page":"1","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9977999925613403,"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/T11424","display_name":"Security and Verification in Computing","score":0.9977999925613403,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/atomicity","display_name":"Atomicity","score":0.9727632999420166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8419128656387329},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.7482254505157471},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.5998546481132507},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5913331508636475},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.5222792625427246},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5199648141860962},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.5051308274269104},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.47348177433013916},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.45796823501586914},{"id":"https://openalex.org/keywords/timestamp","display_name":"Timestamp","score":0.43223634362220764},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.424124538898468},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4163430631160736},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.34006792306900024},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.17793357372283936},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08258205652236938}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9727632999420166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419128656387329},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.7482254505157471},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5998546481132507},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5913331508636475},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.5222792625427246},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5199648141860962},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.5051308274269104},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.47348177433013916},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.45796823501586914},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.43223634362220764},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.424124538898468},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4163430631160736},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34006792306900024},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17793357372283936},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08258205652236938},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3412377","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3412377","pdf_url":null,"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":null,"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1652742168","https://openalex.org/W2010830544","https://openalex.org/W2050238751","https://openalex.org/W2071423705","https://openalex.org/W2072062729","https://openalex.org/W2146766856","https://openalex.org/W2157888439","https://openalex.org/W2165663378","https://openalex.org/W2258891924","https://openalex.org/W2293308013","https://openalex.org/W2621304065","https://openalex.org/W2735695426","https://openalex.org/W2788806342","https://openalex.org/W2884538421","https://openalex.org/W3137220996","https://openalex.org/W4239249613","https://openalex.org/W4242219660","https://openalex.org/W4246263814","https://openalex.org/W4248073216","https://openalex.org/W4250912393","https://openalex.org/W4254694354","https://openalex.org/W4300420355","https://openalex.org/W4376272906"],"related_works":["https://openalex.org/W4252722439","https://openalex.org/W2172064476","https://openalex.org/W2103847662","https://openalex.org/W2783561925","https://openalex.org/W2963373502","https://openalex.org/W4300145204","https://openalex.org/W3155619820","https://openalex.org/W2063050381","https://openalex.org/W2912336518","https://openalex.org/W2029089965"],"abstract_inverted_index":{"Atomicity":[0],"is":[1,97,117],"a":[2,12],"correctness":[3],"criterion":[4],"to":[5,32,138],"reason":[6],"about":[7,225,235],"isolated":[8],"code":[9,25],"regions":[10],"in":[11,36,52,101,232],"multithreaded":[13],"program":[14],"when":[15],"they":[16],"are":[17],"executed":[18],"concurrently.":[19],"However,":[20],"dynamic":[21,41,70,78],"instances":[22],"of":[23,113,129,147,156],"these":[24],"regions,":[26],"called":[27],"transactions":[28,54,82,175],",":[29],"may":[30],"fail":[31],"behave":[33],"atomically,":[34],"resulting":[35],"transactional":[37,56,84,104,178],"atomicity":[38,43,57,105,179],"violations.":[39,58],"Existing":[40],"online":[42,120],"checkers":[44],"incur":[45],"either":[46],"false":[47,50],"positives":[48],"or":[49],"negatives":[51],"detecting":[53,102],"experiencing":[55],"This":[59],"article":[60],"proposes":[61],"<monospace>RegionTrack</monospace>.":[62],"<monospace>RegionTrack</monospace>":[63,96,152,170,192],"tracks":[64],"cross-thread":[65],"dependences":[66],"at":[67],"the":[68,111,118,125,143,157,160],"event,":[69],"subregion,":[71],"and":[72,83,99,107,159,181,195,199,204,206],"transaction":[73,141],"levels.":[74],"It":[75],"maintains":[76],"both":[77,103],"subregions":[79],"within":[80],"selected":[81],"happens-before":[85,130],"relations":[86,131],"through":[87],"its":[88],"novel":[89],"timestamp":[90],"propagation":[91],"approach.":[92],"We":[93,149],"prove":[94],"that":[95,122,169,191],"sound":[98],"complete":[100],"violations":[106,180,228,238],"non-serializable":[108,184],"traces.":[109,185],"To":[110],"best":[112],"our":[114],"knowledge,":[115],"it":[116,213],"first":[119],"technique":[121],"precisely":[123,171],"captures":[124],"transitively":[126],"closed":[127],"set":[128],"over":[132],"all":[133,173,183],"conflicting":[134],"events":[135],"with":[136],"respect":[137],"every":[139],"running":[140],"for":[142],"above":[144],"two":[145],"kinds":[146],"issues.":[148],"have":[150],"evaluated":[151],"on":[153],"19":[154],"subjects":[155],"DaCapo":[158],"Java":[161],"Grande":[162],"Forum":[163],"benchmarks.":[164],"The":[165,186],"empirical":[166],"results":[167,188],"confirm":[168],"detected":[172,224],"those":[174],"which":[176,231],"experienced":[177],"identified":[182],"overall":[187],"also":[189],"show":[190],"incurred":[193,214],"1.10x":[194],"1.08x":[196],"lower":[197,208,216],"memory":[198,217],"runtime":[200],"overheads":[201],"than":[202,209,219,229,239],"<monospace>Velodrome</monospace>":[203,223],"2.10x":[205],"1.21x":[207],"<monospace>Aerodrome</monospace>,":[210],"respectively.":[211],"Moreover,":[212],"2.89x":[215],"overhead":[218],"<monospace>DoubleChecker</monospace>.":[220,240],"On":[221],"average,":[222],"55%":[226],"fewer":[227,237],"<monospace>RegionTrack</monospace>,":[230],"turn":[233],"reported":[234],"3%\u201370%":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2021-01-05T00:00:00"}