{"id":"https://openalex.org/W2314450363","doi":"https://doi.org/10.1145/2872362.2872384","title":"TxRace","display_name":"TxRace","publication_year":2016,"publication_date":"2016-03-25","ids":{"openalex":"https://openalex.org/W2314450363","doi":"https://doi.org/10.1145/2872362.2872384","mag":"2314450363"},"language":"en","primary_location":{"id":"doi:10.1145/2872362.2872384","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2872362.2872384","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-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/A5100378804","display_name":"Tong Zhang","orcid":"https://orcid.org/0000-0002-8268-2214"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tong Zhang","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065310265","display_name":"Dongyoon Lee","orcid":"https://orcid.org/0000-0002-2240-3316"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dongyoon Lee","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102903612","display_name":"Changhee Jung","orcid":"https://orcid.org/0000-0002-6422-6549"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Changhee Jung","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100378804"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":5.676,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.96341922,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"159","last_page":"173"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9983000159263611,"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.8324131369590759},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.6344555020332336},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5632505416870117},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.5178737640380859},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.49956464767456055},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49913501739501953},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.4839172959327698},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.4448878765106201},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.43762820959091187},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4249991774559021},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.4132741093635559},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3717295825481415},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.28423869609832764},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20942184329032898},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1691950559616089},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1520921289920807}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8324131369590759},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.6344555020332336},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5632505416870117},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.5178737640380859},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.49956464767456055},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49913501739501953},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.4839172959327698},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.4448878765106201},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.43762820959091187},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4249991774559021},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.4132741093635559},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3717295825481415},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.28423869609832764},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20942184329032898},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1691950559616089},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1520921289920807},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2872362.2872384","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2872362.2872384","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6870947581","display_name":null,"funder_award_id":"Google Faculty Research Awards","funder_id":"https://openalex.org/F4320309327","funder_display_name":"Google"}],"funders":[{"id":"https://openalex.org/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320323641","display_name":"Vedeck\u00e1 Grantov\u00e1 Agent\u00fara M\u0160VVa\u0160 SR a SAV","ror":"https://ror.org/044gwpv05"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W220935706","https://openalex.org/W1482397304","https://openalex.org/W1572187826","https://openalex.org/W1663973292","https://openalex.org/W1972544179","https://openalex.org/W1973108383","https://openalex.org/W1978896667","https://openalex.org/W1979330015","https://openalex.org/W1994591424","https://openalex.org/W2003215037","https://openalex.org/W2014433051","https://openalex.org/W2017700354","https://openalex.org/W2025819261","https://openalex.org/W2034256728","https://openalex.org/W2034297532","https://openalex.org/W2041205948","https://openalex.org/W2043854189","https://openalex.org/W2057769886","https://openalex.org/W2068530820","https://openalex.org/W2078197548","https://openalex.org/W2087476542","https://openalex.org/W2091085450","https://openalex.org/W2093755302","https://openalex.org/W2100091242","https://openalex.org/W2101161997","https://openalex.org/W2105391037","https://openalex.org/W2107529624","https://openalex.org/W2109033563","https://openalex.org/W2113751407","https://openalex.org/W2114768063","https://openalex.org/W2116030344","https://openalex.org/W2120261600","https://openalex.org/W2120476011","https://openalex.org/W2121816623","https://openalex.org/W2127445923","https://openalex.org/W2127532866","https://openalex.org/W2128717053","https://openalex.org/W2134633067","https://openalex.org/W2135874888","https://openalex.org/W2135954168","https://openalex.org/W2141758526","https://openalex.org/W2141975313","https://openalex.org/W2143869535","https://openalex.org/W2145471566","https://openalex.org/W2149473197","https://openalex.org/W2149538119","https://openalex.org/W2150602145","https://openalex.org/W2152885346","https://openalex.org/W2153174073","https://openalex.org/W2153185479","https://openalex.org/W2156858199","https://openalex.org/W2157479538","https://openalex.org/W2161038602","https://openalex.org/W2161600851","https://openalex.org/W2161652554","https://openalex.org/W2161958410","https://openalex.org/W2161992906","https://openalex.org/W2165199599","https://openalex.org/W2167744164","https://openalex.org/W2169875292","https://openalex.org/W2189606786","https://openalex.org/W2289234327","https://openalex.org/W2294903570","https://openalex.org/W3004104485","https://openalex.org/W3022086628","https://openalex.org/W3142915758","https://openalex.org/W4236306709","https://openalex.org/W4239813889","https://openalex.org/W4248655060"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W4252722439","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W2076409732","https://openalex.org/W120707803","https://openalex.org/W2104221844"],"abstract_inverted_index":{"Detecting":[0],"data":[1,21,31,44,68,89,130,142,174],"races":[2,156],"is":[3],"important":[4],"for":[5,66,88,115,146],"debugging":[6],"shared-memory":[7],"multithreaded":[8,50],"programs,":[9],"but":[10],"the":[11,16,60,74,77,147,163,168],"high":[12],"runtime":[13,170],"overhead":[14,171],"prevents":[15],"wide":[17],"use":[18],"of":[19,64,76,94,108,150,172,186],"dynamic":[20,173],"race":[22,32,45,69,90,131,143,175],"detectors.":[23],"This":[24],"paper":[25],"presents":[26],"TxRace,":[27],"a":[28,49,183],"new":[29],"software":[30],"detector":[33],"that":[34],"leverages":[35],"commodity":[36,80],"hardware":[37],"transactional":[38,113],"memory":[39],"(HTM)":[40],"to":[41,52,96,138,162,179],"speed":[42],"up":[43],"detection.":[46],"TxRace":[47,126,166],"instruments":[48],"program":[51],"transform":[53],"synchronization-free":[54],"regions":[55],"into":[56],"transactions,":[57],"and":[58,111,135],"exploits":[59],"conflict":[61,109],"detection":[62,70,132,144,176],"mechanism":[63],"HTM":[65],"lightweight":[67,128],"at":[71,133],"runtime.":[72],"However,":[73],"limitations":[75],"current":[78],"best-effort":[79],"HTMs":[81],"expose":[82],"several":[83],"challenges":[84],"in":[85,153],"using":[86],"them":[87],"detection:":[91],"(1)":[92],"lack":[93],"ability":[95],"pinpoint":[97],"racy":[98],"instructions,":[99],"(2)":[100],"false":[101,187],"positives":[102],"caused":[103],"by":[104,159],"cache":[105],"line":[106],"granularity":[107],"detection,":[110],"(3)":[112],"aborts":[114],"non-conflict":[116],"reasons":[117],"(e.g.,":[118],"capacity":[119],"or":[120],"unknown).":[121],"To":[122],"overcome":[123],"these":[124],"challenges,":[125],"performs":[127],"HTM-based":[129],"first,":[134],"occasionally":[136],"switches":[137],"slow":[139],"yet":[140],"precise":[141],"only":[145,182],"small":[148,184],"fraction":[149],"execution":[151],"intervals":[152],"which":[154],"potential":[155],"are":[157],"reported":[158],"HTM.":[160],"According":[161],"experimental":[164],"results,":[165],"reduces":[167],"average":[169],"from":[177],"11.68x":[178],"4.65x":[180],"with":[181],"number":[185],"negatives.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":10}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}