{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:17:10Z","timestamp":1725805030108},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111636"},{"type":"electronic","value":"9783319111643"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_11","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T03:49:11Z","timestamp":1410493751000},"page":"124-139","source":"Crossref","is-referenced-by-count":3,"title":["Speculative Program Parallelization with Scalable and Decentralized Runtime Verification"],"prefix":"10.1007","author":[{"given":"Aravind","family":"Sukumaran-Rajam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Manuel","family":"Martinez Caama\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willy","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandra","family":"Jimborean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Clauss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Rauchwerger, L., Padua, D.: The LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization. In: PLDI 1995. ACM (1995)","DOI":"10.1145\/207110.207148"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Liu, W., Tuck, J., Ceze, L., Ahn, W., Strauss, K., Renau, J., Torrellas, J.: POSH: a TLS compiler that exploits program structure. In: PPoPP 2006. ACM (2006)","DOI":"10.1145\/1122971.1122997"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Raman, E., Vachharajani, N., Rangan, R., August, D.I.: Spice: speculative parallel iteration chunk execution. In: CGO 2008. ACM (2008)","DOI":"10.1145\/1356058.1356082"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Johnson, T.A., Eigenmann, R., Vijaykumar, T.N.: Speculative thread decomposition through empirical optimization. In: PPoPP 2007. ACM (2007)","DOI":"10.1145\/1229428.1229474"},{"key":"11_CR5","first-page":"1581","volume-title":"Encyclopedia of Parallel Computing","author":"P. Feautrier","year":"2011","unstructured":"Feautrier, P., Lengauer, C.: Polyhedron model. In: Padua, D. (ed.) Encyclopedia of Parallel Computing, pp. 1581\u20131592. Springer, US (2011)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Shun, J., Blelloch, G.E., Fineman, J.T., Gibbons, P.B., Kyrola, A., Simhadri, H.V., Tangwongsan, K.: Brief announcement: the problem based benchmark suite. In: SPAA 2012. ACM (2012)","DOI":"10.1145\/2312005.2312018"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: PLDI 2008. ACM (2008)","DOI":"10.1145\/1375581.1375595"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10766-013-0259-4","volume":"42","author":"A. Jimborean","year":"2014","unstructured":"Jimborean, A., Clauss, P., Dollinger, J.F., Loechner, V., Juan Manuel, M.: Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons. International Journal of Parallel Programming\u00a042(4), 529\u2013545 (2014)","journal-title":"International Journal of Parallel Programming"},{"key":"11_CR9","unstructured":"LLVM: LLVM compiler infrastructure, \n                    \n                      http:\/\/llvm.org"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Banerjee, U.: Loop Transformations for Restructuring Compilers - The Foundations. Kluwer Academic Publishers (1993)","DOI":"10.1007\/b102311"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Oancea, C.E., Mycroft, A., Harris, T.: A lightweight in-place implementation for software thread-level speculation. In: SPAA 2009. ACM (2009)","DOI":"10.1145\/1583991.1584050"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Yiapanis, P., Rosas-Ham, D., Brown, G., Luj\u00e1n, M.: Optimizing software runtime systems for speculative parallelization. ACM TACO\u00a09(4), 39:1\u201339:27 (2013)","DOI":"10.1145\/2400682.2400698"},{"key":"11_CR13","unstructured":"Bruening, D., Devabhaktuni, S., Amarasinghe, S.: Softspec: Software-based speculative parallelism. In: Workshop on Feedback-Directed and Dynamic Optimization 2000. ACM (2000)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1007\/978-3-642-05118-0_48","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M. S\u00fc\u00dfkraut","year":"2009","unstructured":"S\u00fc\u00dfkraut, M., Weigert, S., Schiffel, U., Knauth, T., Nowack, M., de Brum, D.B., Fetzer, C.: Speculation for parallelizing runtime checks. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol.\u00a05873, pp. 698\u2013710. Springer, Heidelberg (2009)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Steffan, J.G., Colohan, C.B., Zhai, A., Mowry, T.C.: A scalable approach to thread-level speculation. In: ISCA 2000. ACM (2000)","DOI":"10.1145\/339647.339650"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Kim, H., Johnson, N.P., Lee, J.W., Mahlke, S.A., August, D.I.: Automatic speculative doall for clusters. In: CGO 2012. ACM (2012)","DOI":"10.1145\/2259016.2259029"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Adl-Tabatabai, A.R., Lewis, B.T., Menon, V., Murphy, B.R., Saha, B., Shpeisman, T.: Compiler and runtime support for efficient software transactional memory. In: PLDI 2006 (2006)","DOI":"10.1145\/1133981.1133985"},{"issue":"6","key":"11_CR18","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/1543135.1542495","volume":"44","author":"M. Mehrara","year":"2009","unstructured":"Mehrara, M., Hao, J., Hsu, P.C., Mahlke, S.: Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. SIGPLAN Not.\u00a044(6), 166\u2013176 (2009)","journal-title":"SIGPLAN Not."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Raman, A., Kim, H., Mason, T.R., Jablin, T.B., August, D.I.: Speculative parallelization using software multi-threaded transactions. In: ASPLOS 2010. ACM (2010)","DOI":"10.1145\/1736020.1736030"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Che, S., Boyer, M., Meng, J., Tarjan, D., Sheaffer, J.W., Lee, S.H., Skadron, K.: Rodinia: A benchmark suite for heterogeneous computing. In: IISWC 2009. IEEE (2009)","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"11_CR21","unstructured":"Stratton, J.A., Rodrigues, C., Sung, I.J., Obeid, N., Chang, L.W., Anssari, N., Liu, G.D.: mei W.\u00a0Hwu, W.: The Parboil technical report. Technical report, IMPACT Technical Report, IMPACT-12-01, University of Illinois, at Urbana-Champaign (2012)"},{"key":"11_CR22","unstructured":"PolyBench, \n                    \n                      http:\/\/sourceforge.net\/projects\/polybench"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:40:42Z","timestamp":1558978842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}