{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:51Z","timestamp":1742914311097,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152764"},{"type":"electronic","value":"9783642152771"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15277-1_2","type":"book-chapter","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T13:27:55Z","timestamp":1283174875000},"page":"2-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs"],"prefix":"10.1007","author":[{"given":"Paul M.","family":"Carpenter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Ramirez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduard","family":"Ayguade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Proceedings of the 2006 ACM\/IEEE Conference on Supercomputing","author":"P. Bellens","year":"2006","unstructured":"Bellens, P., Perez, J., Badia, R., Labarta, J.: CellSs: a programming model for the Cell BE architecture. In: Proceedings of the 2006 ACM\/IEEE Conference on Supercomputing. ACM, New York (2006)"},{"key":"2_CR2","unstructured":"Pham, D., Behnen, E., Bolliger, M., Hofstee, H., et al.: The design methodology and implementation of a first-generation Cell processor: a multi-core SoC. In: Custom Integrated Circuits Conference, pp. 45\u201349 (2005)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Perez, J., Badia, R., Labarta, J.: A dependency-aware task-based programming environment for multi-core architectures. In: 2008 IEEE International Conference on Cluster Computing, pp. 142\u2013151 (2008)","DOI":"10.1109\/CLUSTR.2008.4663765"},{"key":"2_CR4","unstructured":"Barcelona Supercomputing Center: Cell Superscalar (CellSs) User\u2019s Manual Version 2.2 (2009)"},{"key":"2_CR5","unstructured":"Barcelona Supercomputing Center: SMP Superscalar (SMPSs) User\u2019s Manual Version 2.0 (2008)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: PLDI, pp. 89\u2013100 (2007)","DOI":"10.1145\/1273442.1250746"},{"key":"2_CR7","unstructured":"Seward, J., Nethercote, N.: Using Valgrind to detect undefined value errors with bit-precision. In: Proceedings of the Annual Conference on USENIX Annual Technical Conference, USENIX Association, p. 2 (2005)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: PLDI 2005, pp. 190\u2013200 (2005)","DOI":"10.1145\/1064978.1065034"},{"key":"2_CR9","series-title":"LNCS","volume-title":"HiPEAC 2010","author":"G. Tzenakist","year":"2010","unstructured":"Tzenakist, G., Kapelonis, K., Alvanost, M., Koukost, K., Nikolopoulost, D., Bilast, A.: Tagged Procedure Calls (TPC): Efficient runtime support for task-based parallelism on the Cell Processor. In: HiPEAC 2010. LNCS, vol.\u00a05952. Springer, Heidelberg (2010)"},{"issue":"8","key":"2_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/209937.209958","volume":"30","author":"R. Blumofe","year":"1995","unstructured":"Blumofe, R., Joerg, C., Kuszmaul, B., Leiserson, C., Randall, K., Zhou, Y.: Cilk: An efficient multithreaded runtime system. ACM SigPlan Notices\u00a030(8), 207\u2013216 (1995)","journal-title":"ACM SigPlan Notices"},{"key":"2_CR11","unstructured":"IBM: Cell Broadband Engine Programming Handbook including PowerXCell 8i Version 1.11 (2009)"},{"key":"2_CR12","unstructured":"Balart, J., Duran, A., Gonzalez, M., Martorell, X., Ayguade, E., Labarta, J.: Nanos Mercurium: a Research Compiler for OpenMP. In: Proceedings of the European Workshop on OpenMP, vol.\u00a02004 (2004)"},{"key":"2_CR13","first-page":"165","volume-title":"Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms","author":"I. Galperin","year":"1993","unstructured":"Galperin, I., Rivest, R.: Scapegoat trees. In: Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 165\u2013174. Society for Industrial and Applied Mathematics, Philadelphia (1993)"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s002240000120","volume":"32","author":"M. Feng","year":"1999","unstructured":"Feng, M., Leiserson, C.: Efficient detection of determinacy races in Cilk programs. Theory of Computing Systems\u00a032(3), 301\u2013326 (1999)","journal-title":"Theory of Computing Systems"},{"key":"2_CR15","unstructured":"MIT LCS: Cilk 5.4.6 Reference Manual (1998)"},{"issue":"4","key":"2_CR16","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.: Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS)\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Iskhodzhanov, T.: ThreadSanitizer\u2014data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, pp. 62\u201371 (2009)","DOI":"10.1145\/1791194.1791203"},{"key":"2_CR18","unstructured":"Prvulovic, M.: Cord: cost-effective (and nearly overhead-free) order-recording and data race detection. In: The Twelfth International Symposium on High-Performance Computer Architecture, pp. 232\u2013243 (February 2006)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Prvulovic, M., Torrellas, J.: ReEnact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In: Annual International Symposium on Computer Architecture, vol.\u00a030, pp. 110\u2013121 (2003)","DOI":"10.1145\/871656.859632"},{"key":"2_CR20","unstructured":"IBM: Multi-Thread Run-time Analysis Tool for Java, \n                    \n                      http:\/\/www.alphaworks.ibm.com\/tech\/mtrat"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2010 - Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15277-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T14:15:57Z","timestamp":1589897757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15277-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152764","9783642152771"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15277-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}