{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T23:10:29Z","timestamp":1774998629601,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662534120","type":"print"},{"value":"9783662534137","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-53413-7_19","type":"book-chapter","created":{"date-parts":[[2016,8,30]],"date-time":"2016-08-30T07:57:11Z","timestamp":1472543831000},"page":"383-402","source":"Crossref","is-referenced-by-count":17,"title":["Loopy: Programmable and Formally Verified Loop Transformations"],"prefix":"10.1007","author":[{"given":"Kedar S.","family":"Namjoshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nimit","family":"Singhania","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"19_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"AV Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison Wesley, Boston (2006)"},{"key":"19_CR2","volume-title":"Optimizing Compilers for Modern Architectures: A Dependence-Based Approach","author":"R Allen","year":"2001","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan Kaufmann, San Francisco (2001)"},{"key":"19_CR3","unstructured":"Banerjee, U.: Loop Transformations for Restructuring Compilers: Dependence analysis. Kluwer (1997)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Benabderrahmane, M., Pouchet, L., Cohen, A., Bastoul, C.: The polyhedral model is more widely applicable than you think. In: Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 20\u201328 March 2010, Proceedings, pp. 283\u2013303 (2010). http:\/\/dx.doi.org\/10.1007\/978-3-642-11970-5_16","DOI":"10.1007\/978-3-642-11970-5_16"},{"key":"19_CR5","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: Proceedings ofthe ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, 7\u201313 June 2008, pp. 101\u2013113 (2008). http:\/\/doi.acm.org\/10.1145\/1375581.1375595"},{"key":"19_CR6","unstructured":"Chen, C., Chame, J., Hall, M.: CHiLL: A framework for composing high-level loop transformations. Technical Report 08\u2013897, University of Southern California (2008)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-540-69330-7_10","volume-title":"Languages and Compilers for Parallel Computing","author":"S Donadio","year":"2006","unstructured":"Donadio, S., Brodman, J., Roeder, T., Yotov, K., Barthou, D., Cohen, A., Garzar\u00e1n, M.J., Padua, D.A., Pingali, K.K.: A language for the compact representation of multiple program versions. In: Ayguad\u00e9, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds.) LCPC 2005. LNCS, vol. 4339, pp. 136\u2013151. Springer, Heidelberg (2006)"},{"issue":"6","key":"19_CR8","doi-asserted-by":"crossref","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. Int. J. Parallel Program. 21(6), 389\u2013420 (1992). http:\/\/dx.doi.org\/10.1007\/BF01379404","journal-title":"Int. J. Parallel Program."},{"issue":"3","key":"19_CR9","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10766-006-0012-3","volume":"34","author":"S Girbal","year":"2006","unstructured":"Girbal, S., Vasilache, N., Bastoul, C., Cohen, A., Parello, D., Sigler, M., Temam, O.: Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Int. J. Parallel Program. 34(3), 261\u2013317 (2006). http:\/\/dx.doi.org\/10.1007\/s10766-006-0012-3","journal-title":"Int. J. Parallel Program."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Grosser, T., Gr\u00f6\u00dflinger, A., Lengauer, C.: Polly-performing polyhedral optimizations on a low-level intermediate representation. Parallel Process. Lett. 22(4) (2012). http:\/\/dx.doi.org\/10.1142\/S0129626412500107","DOI":"10.1142\/S0129626412500107"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Grosser, T., Verdoolaege, S., Cohen, A.: Polyhedral AST generation is more than scanning polyhedra. ACM Trans. Program. Lang. Syst. 37(4) (2015). http:\/\/dx.doi.org\/10.1145\/2743016 . Article no. 12","DOI":"10.1145\/2743016"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Hartono, A., Norris, B., Sadayappan, P.: Annotation-based empirical performance tuning using Orio. In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, 23\u201329 May 2009, pp. 1\u201311 (2009). http:\/\/dx.doi.org\/10.1109\/IPDPS.2009.5161004","DOI":"10.1109\/IPDPS.2009.5161004"},{"key":"19_CR13","unstructured":"Intel: Intel Math Kernel Library (MKL) (2016). https:\/\/software.intel.com\/en-us\/intel-mkl\/"},{"key":"19_CR14","unstructured":"Kelly, W., Pugh, W.: A framework for unifying reordering transformations. Technical Report UMIAS-TR-92-126.1, Univ. of Maryland, College Park, MD, USA (1993)"},{"issue":"4","key":"19_CR15","first-page":"31","volume":"9","author":"MM Khan","year":"2013","unstructured":"Khan, M.M., Basu, P., Rudy, G., Hall, M.W., Chen, C., Chame, J.: A script-based autotuning compiler system to generate high-performance CUDA code. TACO 9(4), 31 (2013). http:\/\/doi.acm.org\/10.1145\/2400682.2400690","journal-title":"TACO"},{"issue":"2","key":"19_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L Lamport","year":"1974","unstructured":"Lamport, L.: The parallel execution of DO loops. Commun. ACM 17(2), 83\u201393 (1974). http:\/\/doi.acm.org\/10.1145\/360827.360844","journal-title":"Commun. ACM"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO, pp. 75\u201388 (2004). llvm.org","DOI":"10.1109\/CGO.2004.1281665"},{"key":"19_CR18","volume-title":"Advanced Compiler Design and Implementation","author":"SS Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Namjoshi, K.S., Singhania, N.: Loopy: programmable and formally verified loop transformations. Technical Report MS-CIS-16-04, Department of Computer and Information Science, University of Pennsylvania (2016)","DOI":"10.1007\/978-3-662-53413-7_19"},{"key":"19_CR20","unstructured":"Pouchet, L.N.: Polybench, the polyhedral benchmark suite (2015). http:\/\/polybench.sourceforge.net\/"},{"issue":"2","key":"19_CR21","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/JPROC.2004.840306","volume":"93","author":"M P\u00fcschel","year":"2005","unstructured":"P\u00fcschel, M., Moura, J.M.F., Johnson, J., Padua, D., Veloso, M., Singer, B., Xiong, J., Franchetti, F., Gacic, A., Voronenko, Y., Chen, K., Johnson, R.W., Rizzolo, N.: SPIRAL: code generation for DSP transforms. Proc. IEEE 93(2), 232\u2013275 (2005). Program Generation, Optimization, and Adaptation","journal-title":"Proc. IEEE"},{"key":"19_CR22","unstructured":"Ragan-Kelley, J., Barnes, C., Adams, A., Paris, S., Durand, F., Amarasinghe, S.: Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In: Proceedings of the 34th ACMSIGPLAN Conference on Programming Language Design and Implementation, pp. 519\u2013530, PLDI 2013. ACM, New York (2013). http:\/\/doi.acm.org\/10.1145\/2491956.2462176"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Rudy, G., Khan, M.M., Hall, M.W., Chen, C., Chame, J.: A programming language interface to describe transformations and code generation. In: Languages and Compilers for Parallel Computing - 23rd International Workshop, LCPC 2010, Houston, TX, USA, 7\u20139 October 2010, Revised Selected Papers, pp. 136\u2013150 (2010). http:\/\/dx.doi.org\/10.1007\/978-3-642-19595-2_10","DOI":"10.1007\/978-3-642-19595-2_10"},{"key":"19_CR24","unstructured":"Spampinato, D.G., P\u00fcschel, M.: A basic linear algebra compiler. In: Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization, pp. 23:23\u201323:32, CGO 2014. ACM, New York (2014). http:\/\/doi.acm.org\/10.1145\/2544137.2544155"},{"issue":"9","key":"19_CR25","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/2858949.2784754","volume":"50","author":"M Steuwer","year":"2015","unstructured":"Steuwer, M., Fensch, C., Lindley, S., Dubach, C.: Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. SIGPLAN Not. 50(9), 205\u2013217 (2015). http:\/\/doi.acm.org\/10.1145\/2858949.2784754","journal-title":"SIGPLAN Not."},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Tiwari, A., Chen, C., Chame, J., Hall, M.W., Hollingsworth, J.K.: A scalable auto-tuning framework for compiler optimization. In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, 23\u201329 May 2009, pp. 1\u201312 (2009). http:\/\/dx.doi.org\/10.1109\/IPDPS.2009.5161054","DOI":"10.1109\/IPDPS.2009.5161054"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Verdoolaege, S.: isl: an integer set library for the polyhedral model. In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, 13\u201317 September 2010, Proceedings, pp. 299\u2013302 (2010). http:\/\/dx.doi.org\/10.1007\/978-3-642-15582-6_49","DOI":"10.1007\/978-3-642-15582-6_49"},{"key":"19_CR28","unstructured":"Whaley, R.C., Dongarra, J.J.: Automatically tuned linear algebra software. In: Proceedings of the 1998 ACM\/IEEE Conference on Supercomputing, pp. 1\u201327, SC 1998. IEEE Computer Society, Washington, DC (1998). http:\/\/dl.acm.org\/citation.cfm?id=509058.509096"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Yi, Q.: POET: a scripting language for applying parameterized source-to-source program transformations. Softw. Pract. Exper. 42(6), 675\u2013706 (2012). http:\/\/dx.doi.org\/10.1002\/spe.1089","DOI":"10.1002\/spe.1089"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53413-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T22:20:19Z","timestamp":1568326819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53413-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534120","9783662534137"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53413-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}