{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:12Z","timestamp":1742596812317,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575023"},{"type":"electronic","value":"9783540482017"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57502-2_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:03:36Z","timestamp":1330261416000},"page":"449-463","source":"Crossref","is-referenced-by-count":0,"title":["Experience with techniques for refining data race detection"],"prefix":"10.1007","author":[{"given":"R.","family":"Netzer","sequence":"first","affiliation":[]},{"given":"B.","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"unstructured":"Todd R. Allen and David A. Padua, \u201cDebugging Fortran on a Shared Memory Machine,\u201d 1987 Intl. Conf. on Parallel Processing, pp. 721\u2013727 St. Charles, IL, (August 1987).","key":"29_CR1"},{"doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi and Sang Lyul Min, \u201cRace Frontier: Reproducing Data Races in Parallel Program Debugging,\u201d 3rd ACM Symposium on Principles and Practice of Parallel Programming, pp. 145\u2013154 Williamsburg, VA, (April 1991).","key":"29_CR2","DOI":"10.1145\/109625.109641"},{"doi-asserted-by":"crossref","unstructured":"Anne Dinning and Edith Schonberg, \u201cAn Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection,\u201d 2nd ACM Symposium on Principles and Practice of Parallel Programming, pp. 1\u201310 Seattle, WA, (March 1990).","key":"29_CR3","DOI":"10.1145\/99163.99165"},{"issue":"1","key":"29_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/52.108783","volume":"9","author":"P. A. Emrath","year":"1992","unstructured":"Perry A. Emrath, Sanjoy Ghosh, and David A. Padua, \u201cDetecting Non-Determinacy in Parallel Programs,\u201d IEEE Software 9(1) pp. 69\u201377 (January 1992).","journal-title":"IEEE Software"},{"unstructured":"David P. Helmbold, Charles E. McDowell, and Jian-Zhong Wang, \u201cAnalyzing Traces with Anonymous Synchronization,\u201d 1990 Intl. Conf. on Parallel Processing, pp. 70\u201377 St. Charles, IL, (August 1990).","key":"29_CR5"},{"doi-asserted-by":"crossref","unstructured":"Robert Hood, Ken Kennedy, and John Mellor-Crummey, \u201cParallel Program Debugging with On-the-fly Anomaly Detection,\u201d Supercomputing '90, pp. 74\u201381 New York, NY, (November 1990).","key":"29_CR6","DOI":"10.1109\/SUPERC.1990.130004"},{"doi-asserted-by":"crossref","unstructured":"Barton P. Miller and Jong-Deok Choi, \u201cA Mechanism for Efficient Debugging of Parallel Programs,\u201d SIGPLAN Conf. on Programming Language Design and Implementation, pp. 135\u2013144 Atlanta, GA, (June 1988). Also appears in SIGPLAN Notices 23(7) (July 1988).","key":"29_CR7","DOI":"10.1145\/960116.54004"},{"unstructured":"Robert H. B. Netzer and Barton P. Miller, \u201cDetecting Data Races in Parallel Program Executions,\u201d pp. 109\u2013129 in Advances in Languages and Compilers for Parallel Processing, ed. A. Nicolau, D. Gelernter, T. Gross, and D. Padua, MIT Press (1991).","key":"29_CR8"},{"doi-asserted-by":"crossref","unstructured":"Robert H. B. Netzer and Barton P. Miller, \u201cImproving the Accuracy of Data Race Detection,\u201d 3rd ACM Symposium on Principles and Practice of Parallel Programming, pp. 133\u2013144 Williamsburg, VA, (April 1991).","key":"29_CR9","DOI":"10.1145\/109625.109640"},{"doi-asserted-by":"crossref","unstructured":"Robert H. B. Netzer and Barton P. Miller, \u201cWhat are Race Conditions? Some Issues and Formalizations,\u201d ACM Letters on Programming Languages and Systems 1(1)(March 1992).","key":"29_CR10","DOI":"10.1145\/130616.130623"},{"unstructured":"Itzhak Nudler and Larry Rudolph, \u201cTools for the Efficient Development of Efficient Parallel Programs,\u201d 1st Israeli Conf. on Computer System Engineering, (1988).","key":"29_CR11"},{"doi-asserted-by":"crossref","unstructured":"Guy L. Steele, \u201cMaking Asynchronous Parallelism Safe for the World,\u201d 17th Annual ACM Symp. on Principles of Programming Languages, pp. 218\u2013231 San Francisco, CA, (January 1990).","key":"29_CR12","DOI":"10.1145\/96709.96731"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57502-2_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:10:31Z","timestamp":1742595031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57502-2_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575023","9783540482017"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57502-2_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}