{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T16:03:02Z","timestamp":1773676982311,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,9]]},"DOI":"10.1145\/1273647.1273658","type":"proceedings-article","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T15:32:03Z","timestamp":1339774323000},"page":"54-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Healing data races on-the-fly"],"prefix":"10.1145","author":[{"given":"Bohuslav","family":"Krena","sequence":"first","affiliation":[{"name":"Brno University of Technology, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zdenek","family":"Letko","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachel","family":"Tzoref","sequence":"additional","affiliation":[{"name":"Haifa University Campus, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[{"name":"Haifa University Campus, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/115952.115976"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of ATVA'04, LNCS 3299","author":"Artho C.","year":"2004","unstructured":"C. Artho , K. Havelund , and A. Biere . Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors . In Proc. of ATVA'04, LNCS 3299 , 2004 . Springer . C. Artho, K. Havelund, and A. Biere. Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. In Proc. of ATVA'04, LNCS 3299, 2004. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/318789.318809"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of CAV'01, LNCS 2102","author":"Ball T.","year":"2001","unstructured":"T. Ball and S. Rajamani . The SLAM Toolkit . In Proc. of CAV'01, LNCS 2102 . Springer , 2001 . T. Ball and S. Rajamani. The SLAM Toolkit. In Proc. of CAV'01, LNCS 2102. Springer, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147416"},{"key":"e_1_3_2_1_7_1","volume-title":"d. Rivieres. Eclipse Platform Technical Overview. Technical report","author":"Beaton W.","year":"2006","unstructured":"W. Beaton and J. d. Rivieres. Eclipse Platform Technical Overview. Technical report , The Eclipse Foundation , 2006 . W. Beaton and J. d. Rivieres. Eclipse Platform Technical Overview. Technical report, The Eclipse Foundation, 2006."},{"key":"e_1_3_2_1_8_1","volume-title":"e. a. Brian Goetz. Java Concurrency in Practice","author":"T.","year":"2006","unstructured":"T. P. e. a. Brian Goetz. Java Concurrency in Practice . Addison-Wesley , 2006 . T. P. e. a. Brian Goetz. Java Concurrency in Practice. Addison-Wesley, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040026.56959.91"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277696"},{"key":"e_1_3_2_1_11_1","volume-title":"Efficient and Precise Data Race Detection for Multithreaded Object-Oriented Programs","author":"Choi J.","year":"2002","unstructured":"J. Choi , K. Lee , A. Loginov , R. O'Callahan , V. Sarkar , and M. Sridharan . Efficient and Precise Data Race Detection for Multithreaded Object-Oriented Programs , 2002 . J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and Precise Data Race Detection for Multithreaded Object-Oriented Programs, 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/99163.99165"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122767"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69224"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838485"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379687"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_13"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.47"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/174266.171370"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-003-0104-x"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of STMCS'07","author":"Nagpaly R.","year":"2007","unstructured":"R. Nagpaly , K. Pattabiramanz , D. Kirovski , and B. Zorn . ToleRace: Tolerating and Detecting Races . In Proc. of STMCS'07 , 2007 . R. Nagpaly, K. Pattabiramanz, D. Kirovski, and B. Zorn. ToleRace: Tolerating and Detecting Races. In Proc. of STMCS'07, 2007."},{"key":"e_1_3_2_1_28_1","volume-title":"Advances in Languages and Compilers for Parallel Computing, 1990 Workshop","author":"Netzer R.","year":"1990","unstructured":"R. Netzer and B. Miller . Detecting Data Races in Parallel Program Executions . In Advances in Languages and Compilers for Parallel Computing, 1990 Workshop , 1990 . MIT Press. R. Netzer and B. Miller. Detecting Data Races in Parallel Program Executions. In Advances in Languages and Compilers for Parallel Computing, 1990 Workshop, 1990. MIT Press."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/109625.109640"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.888645"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281040"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_36_1","volume-title":"Garg VK. Software Fault Tolerance of Concurrent Programs Using Controlled Re-Execution. In Proc. of DISC'99","author":"Tarafdar A.","year":"1999","unstructured":"A. Tarafdar and V. K. Garg VK. Software Fault Tolerance of Concurrent Programs Using Controlled Re-Execution. In Proc. of DISC'99 , 1999 . A. Tarafdar and V.K. Garg VK. Software Fault Tolerance of Concurrent Programs Using Controlled Re-Execution. In Proc. of DISC'99, 1999."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273469"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. of RV'03, ENTCS 89(2)","author":"Wang L.","year":"2003","unstructured":"L. Wang and S. D. Stoller . Run-time Analysis for Atomicity . In Proc. of RV'03, ENTCS 89(2) , 2003 . Elsevier . L. Wang and S. D. Stoller. Run-time Analysis for Atomicity. In Proc. of RV'03, ENTCS 89(2), 2003. Elsevier."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065953"}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","location":"London United Kingdom","acronym":"ISSTA07","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273647.1273658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273647.1273658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273647.1273658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":40,"alternative-id":["10.1145\/1273647.1273658","10.1145\/1273647"],"URL":"https:\/\/doi.org\/10.1145\/1273647.1273658","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}