{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:02Z","timestamp":1763467922841,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005893"},{"type":"electronic","value":"9783642005909"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00590-9_28","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T08:05:58Z","timestamp":1238141158000},"page":"394-409","source":"Crossref","is-referenced-by-count":53,"title":["SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs"],"prefix":"10.1007","author":[{"given":"Caitlin","family":"Sadowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen N.","family":"Freund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Java Grande benchmark suite (2008), http:\/\/www.javagrande.org"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Cheng, G.-I., Feng, M., Leiserson, C.E., Randall, K.H., Stark, A.F.: Detecting data races in Cilk programs that use locks. In: SPAA, pp. 298\u2013309 (1998)","DOI":"10.1145\/277651.277696"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridhara, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: PLDI, pp. 258\u2013269 (2002)","DOI":"10.1145\/543552.512560"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/3-540-45718-6_81","volume-title":"Computational Science - ICCS 2001","author":"M. Christiaens","year":"2001","unstructured":"Christiaens, M., Bosschere, K.D.: TRaDe: Data Race Detection for Java. In: Alexandrov, V.N., Dongarra, J., Juliano, B.A., Renner, R.S., Tan, C.J.K. (eds.) ICCS-ComputSci 2001. LNCS, vol.\u00a02074, pp. 761\u2013770. Springer, Heidelberg (2001)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware Java runtime. In: PLDI, pp. 245\u2013255 (2007)","DOI":"10.1145\/1273442.1250762"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/11817963_30","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2006","unstructured":"Farzan, A., Madhusudan, P.: Causal atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 315\u2013328. Springer, Heidelberg (2006)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Feng, M., Leiserson, C.E.: Efficient detection of determinacy races in Cilk programs. In: SPAA, pp. 1\u201311 (1997)","DOI":"10.1145\/258492.258493"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: POPL, pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"issue":"4","key":"28_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1377492.1377495","volume":"30","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. TOPLAS\u00a030(4), 1\u201353 (2008)","journal-title":"TOPLAS"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI (2008)","DOI":"10.1145\/1375581.1375618"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA, pp. 388\u2013402 (2003)","DOI":"10.1145\/949343.949340"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPOPP, pp. 48\u201360 (2005)","DOI":"10.1145\/1065944.1065952"},{"issue":"12","key":"28_CR13","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: A method of proving properties of parallel programs. Communications of the ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Communications of the ACM"},{"key":"28_CR14","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: International Workshop on Parallel and Distributed Algorithms (1988)"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Supercomputing, pp. 24\u201333 (1991)","DOI":"10.1145\/125826.125861"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions? some issues and formalizations. LOPLAS\u00a01, 74\u201388 (1992)","journal-title":"LOPLAS"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Pozniansky, E., Schuster, A.: Efficient on-the-fly data race detection in multihreaded C++ programs. In: PPOPP, pp. 179\u2013190 (2003)","DOI":"10.1145\/966049.781529"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: PPOPP, pp. 83\u201394 (2005)","DOI":"10.1145\/1065944.1065956"},{"issue":"4","key":"28_CR19","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: A dynamic data race detector for multi-threaded programs. TOCS\u00a015(4), 391\u2013411 (1997)","journal-title":"TOCS"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Schonberg, E.: On-the-fly detection of access anomalies. In: PLDI, pp. 285\u2013297 (1989)","DOI":"10.1145\/73141.74844"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: PODC, pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"key":"28_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-24725-8_18","volume-title":"Programming Languages and Systems","author":"J. Vitek","year":"2004","unstructured":"Vitek, J., Jagannathan, S., Welc, A., Hosking, A.L.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 249\u2013263. Springer, Heidelberg (2004)"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.: Object race detection. In: OOPSLA, pp. 70\u201382 (2001)","DOI":"10.1145\/504282.504288"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPOPP, pp. 137\u2013146 (2006)","DOI":"10.1145\/1122971.1122993"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:23:42Z","timestamp":1558225422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}