{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T12:01:42Z","timestamp":1763726502860,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214868"},{"type":"electronic","value":"9783642214875"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21487-5_4","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T07:35:17Z","timestamp":1307432117000},"page":"37-53","source":"Crossref","is-referenced-by-count":28,"title":["ompVerify: Polyhedral Analysis for the OpenMP Programmer"],"prefix":"10.1007","author":[{"given":"V.","family":"Basupalli","sequence":"first","affiliation":[]},{"given":"T.","family":"Yuki","sequence":"additional","affiliation":[]},{"given":"S.","family":"Rajopadhye","sequence":"additional","affiliation":[]},{"given":"A.","family":"Morvan","sequence":"additional","affiliation":[]},{"given":"S.","family":"Derrien","sequence":"additional","affiliation":[]},{"given":"P.","family":"Quinton","sequence":"additional","affiliation":[]},{"given":"D.","family":"Wonnacott","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Petersen, P., Shah, S.: OpenMP support in the Intel\u00ae thread checker. OpenMP Shared Memory Parallel Programming, 1\u201312 (2003)","DOI":"10.1007\/3-540-45009-2_1"},{"key":"4_CR2","unstructured":"Cownie, J., Moore, S., et al.: Portable OpenMP debugging with totalview. In: Proceedings of the Second European Workshop on OpenMP (EWOMP 2000), Citeseer (2000)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/3-540-17179-7_30","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"S.V. Rajopadhye","year":"1986","unstructured":"Rajopadhye, S.V., Purushothaman, S., Fujimoto, R.M.: On synthesizing systolic arrays from recurrence equations with linear dependencies. In: Nori, K.V. (ed.) FSTTCS 1986. LNCS, vol.\u00a0241, pp. 488\u2013503. Springer, Heidelberg (1986); later appeared in Parallel Computing (June 1990)"},{"issue":"5","key":"4_CR4","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF01407835","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"Feautrier, P.: Some efficient solutions to the affine scheduling problem. I. One-dimensional time. International Journal of Parallel Programming\u00a021(5), 313\u2013347 (1992)","journal-title":"International Journal of Parallel Programming"},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01379404","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"Feautrier, P.: Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time. International Journal of Parallel Programming\u00a021(6), 389\u2013420 (1992)","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"Feautrier, P.: Dataflow analysis of array and scalar references. International Journal of Parallel Programming\u00a020(1), 23\u201353 (1991)","journal-title":"International Journal of Parallel Programming"},{"key":"4_CR7","first-page":"13","volume-title":"Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing","author":"W. Pugh","year":"1991","unstructured":"Pugh, W.: The Omega test: a fast and practical integer programming algorithm for dependence analysis. In: Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, p. 13. ACM, New York (1991)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/143095.143129","volume-title":"Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, ser. PLDI 1992","author":"W. Pugh","year":"1992","unstructured":"Pugh, W., Wonnacott, D.: Eliminating false data dependences using the Omega test. In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, ser. PLDI 1992, pp. 140\u2013151. ACM, New York (1992), http:\/\/doi.acm.org\/10.1145\/143095.143129"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1145\/291889.291900","volume":"20","author":"W. Pugh","year":"1998","unstructured":"Pugh, W., Wonnacott, D.: Constraint-based array dependence analysis. ACM Trans. Program. Lang. Syst.\u00a020, 635\u2013678 (1998), http:\/\/doi.acm.org\/10.1145\/291889.291900","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1023\/A:1007554627716","volume":"28","author":"F. Quiller\u00e9","year":"2000","unstructured":"Quiller\u00e9, F., Rajopadhye, S., Wilde, D.: Generation of efficient nested loops from polyhedra. International Journal of Parallel Programming\u00a028(5), 469\u2013498 (2000)","journal-title":"International Journal of Parallel Programming"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bastoul, C.: Code generation in the polyhedral model is easier than you think. In: PACT\u201913: IEEE International Conference on Parallel Architectures and Compilation and Techniques, Juan-les-Pins, pp. 7\u201316 (September 2004)","DOI":"10.1109\/PACT.2004.1342537"},{"key":"4_CR12","unstructured":"Wikipedia, Frameworks supporting the polyhedral model \u2014 wikipedia, the free encyclopedia (2011), http:\/\/en.wikipedia.org\/w\/index.php?title=Frameworks supporting the polyhedral model (accessed March 21, 2011)"},{"key":"4_CR13","unstructured":"Asanovic, K., Bodik, R., Catanzaro, B., Gebis, J., Keutzer, K., Patterson, D., Plishker, W., Shalf, J., Williams, S., Yelick, K.: The landscape of parallel computing research: A view from berkeley. EECS, University of California, Berkeley, Tech. Rep. UCB\/EECS-2006-183 (December 2006)"},{"key":"4_CR14","unstructured":"Verdoolaege, S.: ISL, http:\/\/freshmeat.net\/projects\/isl"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"S\u00fc\u00df, M., Leopold, C.: Common mistakes in OpenMP and how to avoid them. In: OpenMP Shared Memory Parallel Programming, pp. 312\u2013323 (2008)","DOI":"10.1007\/978-3-540-68555-5_26"},{"key":"4_CR16","unstructured":"Amarasinghe, S.A.: Paralelizing compiler techniques based on linear inequalities. Ph.D. dissertation. Stanford University (1997)"},{"key":"4_CR17","unstructured":"Eclipse parallel tools platform, http:\/\/www.eclipse.org\/ptp\/"},{"key":"4_CR18","unstructured":"CAIRN, IRISA, Generic compiler suite, http:\/\/gecos.gforge.inria.fr\/"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-11970-5_16","volume-title":"Compiler Construction","author":"M.W. Benabderrahmane","year":"2010","unstructured":"Benabderrahmane, M.W., Pouchet, L.-N., Cohen, A., Bastoul, C.: The polyhedral model is more widely applicable than you think. In: Compiler Construction, pp. 283\u2013303. Springer, Heidelberg (2010)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Pugh, W., Wonnacott, D.: Nonlinear array dependence analysis. In: Third Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers, Troy, New York (May 1995)","DOI":"10.1007\/978-1-4615-2315-4_1"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-45574-4_7","volume-title":"Languages and Compilers for Parallel Computing","author":"D. Wonnacott","year":"2001","unstructured":"Wonnacott, D.: Extending scalar optimizations for arrays. In: Midkiff, S.P., Moreira, J.E., Gupta, M., Chatterjee, S., Ferrante, J., Prins, J.F., Pugh, B., Tseng, C.-W. (eds.) LCPC 2000. LNCS, vol.\u00a02017, pp. 97\u2013111. Springer, Heidelberg (2001), http:\/\/portal.acm.org\/citation.cfm?id=645678.663949"},{"key":"4_CR22","unstructured":"Meister, B., Leung, A., Vasilache, N., Wohlford, D., Bastoul, C., Lethin, R.: Productivity via automatic code generation for PGAS platforms with the R-Stream compiler. In: APGAS 2009 Workshop on Asynchrony in the PGAS Programming Model, Yorktown Heights, New York (June 2009)"},{"key":"4_CR23","unstructured":"Pop, S., Cohen, A., Bastoul, C., Girbal, S., Silber, G.-A., Vasilache, N.: Graphite: Polyhedral analyses and optimizations for gcc. In: Proceedings of the 2006 GCC Developers Summit, p. 2006 (2006)"},{"issue":"203","key":"4_CR24","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1155\/2001\/189054","volume":"9","author":"S. Satoh","year":"2001","unstructured":"Satoh, S., Kusano, K., Sato, M.: Compiler optimization techniques for OpenMP programs. Scientific Programming\u00a09(203), 131\u2013142 (2001)","journal-title":"Scientific Programming"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68555-5_4","volume-title":"OpenMP Shared Memory Parallel Programming","author":"Y. Lin","year":"2008","unstructured":"Lin, Y.: Static nonconcurrency analysis of openMP programs. In: Mueller, M.S., Chapman, B.M., de Supinski, B.R., Malony, A.D., Voss, M. (eds.) IWOMP 2005 and IWOMP 2006. LNCS, vol.\u00a04315, pp. 36\u201350. Springer, Heidelberg (2008)"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-540-69303-1_14","volume-title":"A Practical Programming Model for the Multi-Core Era","author":"L. Huang","year":"2008","unstructured":"Huang, L., Sethuraman, G., Chapman, B.: Parallel data flow analysis for openMP programs. In: Chapman, B., Zheng, W., Gao, G.R., Sato, M., Ayguad\u00e9, E., Wang, D. (eds.) IWOMP 2007. LNCS, vol.\u00a04935, pp. 138\u2013142. Springer, Heidelberg (2008)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-79561-2_7","volume-title":"OpenMP in a New Era of Parallelism","author":"A. Basumallik","year":"2008","unstructured":"Basumallik, A., Eigenmann, R.: Incorporation of openMP memory consistency into conventional dataflow analysis. In: Eigenmann, R., de Supinski, B.R. (eds.) IWOMP 2008. LNCS, vol.\u00a05004, pp. 71\u201382. Springer, Heidelberg (2008)"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-13217-9_2","volume-title":"Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More","author":"C. Liao","year":"2010","unstructured":"Liao, C., Quinlan, D.J., Panas, T., de Supinski, B.R.: A ROSE-based OpenMP 3.0 research compiler supporting multiple runtime libraries. In: Sato, M., Hanawa, T., M\u00fcller, M.S., Chapman, B.M., de Supinski, B.R. (eds.) IWOMP 2010. LNCS, vol.\u00a06132, pp. 15\u201328. Springer, Heidelberg (2010)"},{"key":"4_CR29","unstructured":"Kolosov, A., Ryzhkov, E., Karpov, A.: 32 OpenMP traps for C++ developers (November 2009), http:\/\/www.viva64.com\/art-3-2-1023467288.html"}],"container-title":["Lecture Notes in Computer Science","OpenMP in the Petascale Era"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21487-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T00:39:43Z","timestamp":1741221583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21487-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214868","9783642214875"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21487-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}