{"id":"https://openalex.org/W2036093091","doi":"https://doi.org/10.1145/1273647.1273658","title":"Healing data races on-the-fly","display_name":"Healing data races on-the-fly","publication_year":2007,"publication_date":"2007-07-09","ids":{"openalex":"https://openalex.org/W2036093091","doi":"https://doi.org/10.1145/1273647.1273658","mag":"2036093091"},"language":"en","primary_location":{"id":"doi:10.1145/1273647.1273658","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273647.1273658","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging","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/A5004570591","display_name":"Bohuslav K\u0159ena","orcid":"https://orcid.org/0000-0001-9572-1799"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Bohuslav Krena","raw_affiliation_strings":["Brno University of Technology, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brno University of Technology, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002571943","display_name":"Zden\u011bk Letko","orcid":null},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Zdenek Letko","raw_affiliation_strings":["Brno University of Technology, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brno University of Technology, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039919911","display_name":"Rachel Tzoref","orcid":null},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Rachel Tzoref","raw_affiliation_strings":["Haifa University Campus, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Haifa University Campus, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112810878","display_name":"Shmuel Ur","orcid":null},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Shmuel Ur","raw_affiliation_strings":["Haifa University Campus, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Haifa University Campus, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086446392","display_name":"Tom\u00e1\u0161 Vojnar","orcid":"https://orcid.org/0000-0002-2746-8792"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Vojnar","raw_affiliation_strings":["Brno University of Technology, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brno University of Technology, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.7705,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.97867711,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"54","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9988999962806702,"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/interleaving","display_name":"Interleaving","score":0.9103147983551025},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8069989681243896},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7156790494918823},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6152668595314026},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.4549344480037689},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.44174450635910034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42502760887145996},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.35426682233810425},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20353031158447266},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10172510147094727}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.9103147983551025},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8069989681243896},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7156790494918823},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6152668595314026},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.4549344480037689},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.44174450635910034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42502760887145996},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35426682233810425},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20353031158447266},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10172510147094727},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1273647.1273658","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273647.1273658","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W125251596","https://openalex.org/W1487375638","https://openalex.org/W1532324212","https://openalex.org/W1535237014","https://openalex.org/W1539816220","https://openalex.org/W1562462425","https://openalex.org/W1567462511","https://openalex.org/W1596552075","https://openalex.org/W1965462925","https://openalex.org/W1972544179","https://openalex.org/W1974583144","https://openalex.org/W1976848527","https://openalex.org/W1978076389","https://openalex.org/W1994816063","https://openalex.org/W2002096014","https://openalex.org/W2002179840","https://openalex.org/W2002946738","https://openalex.org/W2005031208","https://openalex.org/W2019611783","https://openalex.org/W2019734147","https://openalex.org/W2034256728","https://openalex.org/W2039350582","https://openalex.org/W2040851906","https://openalex.org/W2059600276","https://openalex.org/W2061239425","https://openalex.org/W2066952803","https://openalex.org/W2072062729","https://openalex.org/W2072419942","https://openalex.org/W2082766667","https://openalex.org/W2088270410","https://openalex.org/W2141607910","https://openalex.org/W2144118030","https://openalex.org/W2144249474","https://openalex.org/W2147506153","https://openalex.org/W2159765571","https://openalex.org/W2160189327","https://openalex.org/W2172255864","https://openalex.org/W2913459036","https://openalex.org/W3141930102","https://openalex.org/W4234167000","https://openalex.org/W4250016899","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W3129933233","https://openalex.org/W4385080390","https://openalex.org/W2109947791","https://openalex.org/W2998398829","https://openalex.org/W4206956498","https://openalex.org/W4233982289","https://openalex.org/W2172311396","https://openalex.org/W2092794003","https://openalex.org/W2517814849","https://openalex.org/W2984863199"],"abstract_inverted_index":{"Testing":[0],"of":[1,22,38,64,85,114,143,150,157,191,198],"concurrent":[2,17,47,96],"software":[3],"is":[4,78],"extremely":[5],"difficult.":[6],"Despite":[7],"all":[8],"the":[9,12,19,31,56,65,83,106,112,115,122,155,189,196,201,214],"progress":[10],"in":[11,41,71,121],"testing":[13],"and":[14,26,125,178,184,186],"verification":[15],"technology,":[16],"bugs,":[18],"most":[20],"common":[21],"which":[23,138],"are":[24,109],"deadlocks":[25],"races,":[27,145],"make":[28],"it":[29],"to":[30,49,213,218],"field.":[32],"This":[33],"paper":[34],"describes":[35],"a":[36,42,99],"set":[37],"techniques,":[39],"implemented":[40],"tool":[43],"called":[44],"ConTest,":[45],"allowing":[46],"programs":[48],"self-heal":[50],"at":[51],"run-time.":[52],"Concurrent":[53],"bugs":[54,73,89],"have":[55,119,205],"very":[57],"desirable":[58],"property":[59],"for":[60],"healing":[61,95,151,216],"that":[62,88,111,203],"some":[63],"interleaving":[66,158,172],"produce":[67],"correct":[68],"results":[69],"while":[70],"others":[72],"manifest.":[74],"Healing":[75],"concurrency":[76],"problems":[77],"about":[79],"limiting,":[80],"or":[81,162,165,182],"changing":[82,154,167],"probability":[84,156],"interleaving,":[86,107],"such":[87],"will":[90],"be":[91],"seen":[92],"less.":[93],"When":[94],"programs,":[97],"if":[98],"deadlock":[100],"does":[101],"not":[102],"result":[103,113,190],"from":[104],"limiting":[105],"we":[108,146],"sure":[110],"healed":[116],"program":[117,124],"could":[118],"been":[120,132,206],"original":[123],"therefore":[126],"no":[127],"new":[128],"functional":[129],"bug":[130],"has":[131],"introduced.":[133],"In":[134],"this":[135],"initial":[136],"work":[137],"deals":[139],"with":[140],"different":[141],"types":[142,149],"data":[144],"suggest":[147],"three":[148],"mechanisms:":[152],"(1)":[153],"by":[159,166,194,200],"introducing":[160],"sleep":[161],"yield":[163],"statements":[164],"thread":[168],"priorities,":[169],"(2)":[170],"removing":[171,188],"using":[173],"synchronisation":[174],"commands":[175],"like":[176],"locking":[177],"unlocking":[179],"certain":[180],"mutexes":[181],"waits":[183],"notifies,":[185],"(3)":[187],"\"bad":[192],"interleaving\"":[193],"replacing":[195],"value":[197],"variables":[199],"one":[202],"\"should\"":[204],"taken.":[207],"We":[208],"also":[209],"classify":[210],"races":[211],"according":[212],"relevant":[215],"strategies":[217],"apply.":[219]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}