{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:31:26Z","timestamp":1725820286493},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175232"},{"type":"electronic","value":"9783319175249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17524-9_28","type":"book-chapter","created":{"date-parts":[[2015,4,7]],"date-time":"2015-04-07T02:15:31Z","timestamp":1428372931000},"page":"400-407","source":"Crossref","is-referenced-by-count":1,"title":["Predicting and Witnessing Data Races Using CSP"],"prefix":"10.1007","author":[{"given":"Luis M.","family":"Carril","sequence":"first","affiliation":[]},{"given":"Walter F.","family":"Tichy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,8]]},"reference":[{"key":"28_CR1","unstructured":"Barney, B.L.L.N.L.: POSIX Threads Programming. \n                      https:\/\/computing.llnl.gov\/tutorials\/pthreads\/"},{"key":"28_CR2","unstructured":"Flanagan, C., Freund, S.N.S.: FastTrack: efficient and precise dynamic race detection. In: PLDI 2009 Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, pp. 121\u2013133. ACM, New York (2009). \n                      http:\/\/doi.acm.org\/10.1145\/1542476.1542490\n                      \n                    , \n                      http:\/\/dl.acm.org\/citation.cfm?id=1542490"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Gait, J.: A probe effect in concurrent programs. Software: Practice and Experience 16(3), 225\u2013233 (1986)","DOI":"10.1002\/spe.4380160304"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014)"},{"key":"28_CR5","unstructured":"Hoare, C.: Communicating Sequential Processes. Communications of the ACM 21(8), 666\u2013677 (1978). \n                      http:\/\/www.cs.ucf.edu\/courses\/cop4020\/sum2009\/CSP-hoare.pdf"},{"key":"28_CR6","unstructured":"Huang, J., Meredith, P., Rosu, G.: Maximal sound predictive race detection with control flow abstraction. In: PLDI 2014 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 337\u2013348 (2014). \n                      http:\/\/dl.acm.org\/citation.cfm?id=2594315"},{"key":"28_CR7","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2008, pp. 6:1\u20136:10. ACM, New York (2008). \n                      http:\/\/doi.acm.org\/10.1145\/1390841.1390847\n                      \n                    , \n                      http:\/\/www.cs.umd.edu\/pugh\/ISSTA08\/padtad2008\/papers\/a8-jannesari.pdf"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558\u2013565 (1978). \n                      http:\/\/dl.acm.org\/citation.cfm?id=359563","DOI":"10.1145\/359545.359563"},{"key":"28_CR9","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamicbinary instrumentation. ACM Sigplan Notices, 89\u2013100 (2007). \n                      http:\/\/dl.acm.org\/citation.cfm?id=1250746"},{"key":"28_CR10","unstructured":"Pozniansky, E., Schuster, A.: MultiRace: efficient on the fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice and Experience 19(3), 327\u2013340 (2007). \n                      http:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cpe.1064\/abstract"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-642-20398-5_23","volume-title":"NASA Formal Methods","author":"M Said","year":"2011","unstructured":"Said, M., Wang, C., Yang, Z., Sakallah, K.: Generating data race witnesses by an SMT-based analysis. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 313\u2013327. Springer, Heidelberg (2011)"},{"key":"28_CR12","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems 15(4), 391\u2013411 (1997). \n                      http:\/\/doi.acm.org\/10.1145\/265924.265927\n                      \n                    , \n                      http:\/\/portal.acm.org\/citation.cfm?doid=265924.265927"},{"key":"28_CR13","unstructured":"Serebryany, K., Iskhodzhanov, T.: ThreadSanitizer: data race detection in practice. In: WBIA 2009 Proceedings of the Workshop on Binary Instrumentation and Applications, pp. 62\u201371 (2009). \n                      http:\/\/dl.acm.org\/citation.cfm?id=1791203"},{"key":"28_CR14","unstructured":"Smaragdakis, Y., Evans, J., Sadowski, C., Yi, J., Flanagan, C.: Sound predictive race detection in polynomial time. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, p. 387 (2012). \n                      http:\/\/dl.acm.org\/citation.cfm?doid=2103656.2103702"},{"key":"28_CR15","unstructured":"Valgrind: Helgrind: a data-race detector (2007). \n                      http:\/\/valgrind.org\/docs\/manual\/hg-manual.html"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17524-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T15:09:46Z","timestamp":1559142586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-17524-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175232","9783319175249"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17524-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}