{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:47Z","timestamp":1763467787743,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693291"},{"type":"electronic","value":"9783540693307"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69330-7_10","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T21:16:20Z","timestamp":1179177380000},"page":"136-151","source":"Crossref","is-referenced-by-count":38,"title":["A Language for the Compact Representation of Multiple Program Versions"],"prefix":"10.1007","author":[{"given":"Sebastien","family":"Donadio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Brodman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Roeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamen","family":"Yotov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Barthou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Jes\u00fas","family":"Garzar\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keshav","family":"Pingali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-25935-0_17","volume-title":"Domain-Specific Program Generation","author":"O. Beckmann","year":"2004","unstructured":"Beckmann, O., Houghton, A., Kelly, P.H.J., Mellor, M.: Run-time code generation in c++ as a foundation for domain-specific optimisation. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 291\u2013306. Springer, Heidelberg (2004)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Taha, W., Huang, L., Leroy, X.: Implementing multi-stage languages using ASTs, Gensym, and reflection. In: ACM SIGPLAN\/SIGSOFT Intl. Conf. Generative Programming and Component Engineering, GPCE 2003, pp. 57\u201376 (2003)","DOI":"10.1007\/978-3-540-39815-8_4"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Chauhan, A., Kennedy, K.: Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization. In: ACM Int. Conf. on Supercomputing (ICS 2004), June 2001, pp. 92\u2013101 (2001)","DOI":"10.1145\/377792.377812"},{"key":"10_CR4","unstructured":"Cohen, A., Donadio, S., Garzaran, M.-J., Padua, D., Herrmann, C.: In search for a program generator to implement generic transformations for high-performance computing. In: 1st MetaOCaml Workshop (associated with GPCE), Vancouver, British Columbia (October 2004)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, A., Girbal, S., Parello, D., Sigler, M., Temam, O., Vasilache, N.: Facilitating the search for compositions of program transformations. In: ACM Int. Conf. on Supercomputing (ICS 2005), Boston, Massachusetts (June 2005) (to appear)","DOI":"10.1145\/1088149.1088169"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1015729001611","volume":"23","author":"K.D. Cooper","year":"2002","unstructured":"Cooper, K.D., Subramanian, D., Torczon, L.: Adaptive Optimizing Compilers for the 21st Century. Journal of Supercomputing\u00a023(1), 7\u201322 (2002)","journal-title":"Journal of Supercomputing"},{"key":"10_CR7","unstructured":"Cooper, K.D., Waterman, T.: Investigating Adaptive Compilation using the MIPSPro Compiler. In: Proc. of the Symp. of the Los Alamos Computer Science Institute (October 2003)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/316686.316693","volume":"21","author":"L. Rose De","year":"1999","unstructured":"De Rose, L., Padua, D.: Techniques for the translation of matlab programs into fortran 90. ACM Trans. on Programming Languages and Systems\u00a021(2), 286\u2013323 (1999)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"10_CR9","unstructured":"Djoudi, L., Barthou, D., Carribault, P., Lemuet, C., Acquaviva, J.-T., Jalby, W.: A new tool for assembler analysis and optimization on epic architecture. In: Proc. of the Epic Workshop (in conjunction with CGO 2005) (2005)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Frigo, M., Johnson, S.G.: FFTW: An adaptive software architecture for the FFT. In: Proc. of the ICASSP Conf., vol.\u00a03, pp. 1381\u20131384 (1998)","DOI":"10.1109\/ICASSP.1998.681704"},{"issue":"12","key":"10_CR11","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/2.546613","volume":"29","author":"M. Hall","year":"1996","unstructured":"Hall, M., et al.: Maximizing multiprocessor performance with the SUIF compiler. IEEE Computer\u00a029(12), 84\u201389 (1996)","journal-title":"IEEE Computer"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Kamin, S., Clausen, L., Jarvis, A.: Jumbo: run-time code generation for java and its applications. In: ACM Conf. on Code Generation and Optimization (CGO 2003), pp. 48\u201356 (2003)","DOI":"10.1145\/949344.949401"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Kennedy, K.: Telescoping languages: A compiler strategy for implementation of high-level domain-specific programming systems. In: Proc. Intl. Parallel and Distributed Processing Symposium (IPIPS 2000), pp. 297\u2013304 (2000)","DOI":"10.1109\/IPDPS.2000.845999"},{"key":"10_CR14","unstructured":"Kisubi, P., Knijnenburg, P.M.W., O\u2019Boyle, M.F.P.: The Effect of CacheModels on Iterative Compilation for Combined Tiling and Unrolling. In: Proc. of the International Conference on Parallel Architectures and Compilation Techniques, pp. 237\u2013246 (2000)"},{"key":"10_CR15","unstructured":"Kisuki, T., Knijnenburg, P., O\u2019Boyle, M., Wijshoff, H.: Iterative compilation in program optimization. In: Proc. CPC\u201910 (Compilers for Parallel Computers), pp. 35\u201344 (2000)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Domain-Specific Program Generation","year":"2004","unstructured":"Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.): Domain-Specific Program Generation. LNCS, vol.\u00a03016. Springer, Heidelberg (2004)"},{"key":"10_CR17","unstructured":"Li, X., Garzaran, M.-J., Padua, D.: A dynamically tuned sorting library. In: ACM Conf. on Code Generation and Optimization (CGO 2004), San Jose, CA, March 2004, pp. 111\u2013124 (2004)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Parello, D., Temam, O., Cohen, A., Verdun, J.-M.: Towards a systematic, pragmatic and architecture-aware program optimization process for complex processors. In: ACM Supercomputing 2004, Pittsburgh, Pennsylvania, November 2004, p. 15 (2004)","DOI":"10.1109\/SC.2004.61"},{"issue":"2","key":"10_CR19","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/316686.316697","volume":"21","author":"M. Poletto","year":"1999","unstructured":"Poletto, M., Hsieh, W.C., Engler, D.R., Kaashoek, M.F.: C and tcc: A language and compiler for dynamic code generation. ACM Trans. on Programming Languages and Systems\u00a021(2), 324\u2013369 (1999)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Puschel, M., Moura, J., 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. Proceedings of the IEEE (2005) (to appear); Special issue on Program Generation, Optimization, and Adaptation","DOI":"10.1109\/JPROC.2004.840306"},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1177\/1094342004041291","volume":"18","author":"M. Puschel","year":"2004","unstructured":"Puschel, M., Singer, B., Xiong, J., Moura, J.M.F., Johnson, J., Padua, D., Veloso, M.M., Johnson, R.W.: SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms. Journal of High Performance Computing and Applications, special issue on Automatic Performance Tuning\u00a018(1), 21\u201345 (2004)","journal-title":"Journal of High Performance Computing and Applications, special issue on Automatic Performance Tuning"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-45213-3_27","volume-title":"Modular Programming Languages","author":"M. Schordan","year":"2003","unstructured":"Schordan, M., Quinlan, D.J.: A source-to-source architecture for user-defined optimizations. In: B\u00f6sz\u00f6rm\u00e9nyi, L., Schojer, P. (eds.) JMLC 2003. LNCS, vol.\u00a02789, pp. 214\u2013223. Springer, Heidelberg (2003)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Smith, M.D.: Overcoming the challenges to feedback-directed optimization. In: ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, pp. 1\u201311 (2000) (Keynote Talk)","DOI":"10.1145\/351403.351408"},{"key":"10_CR24","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (November 1999)"},{"issue":"4","key":"10_CR25","first-page":"36","volume":"7","author":"T. Veldhuizen","year":"1995","unstructured":"Veldhuizen, T.: Using C++ template metaprograms. C++ Report\u00a07(4), 36\u201343 (1995)","journal-title":"C++ Report"},{"key":"10_CR26","unstructured":"Veldhuizen, T., Gannon, D.: Active libraries: Rethinking the roles of compilers and libraries. In: SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing, October 1998, pp. 21\u201323 (1998)"},{"key":"#cr-split#-10_CR27.1","doi-asserted-by":"crossref","unstructured":"Whaley, R.C., Petitet, A., Dongarra, J.J.: Automated Empirical Optimization of Software and the ATLAS Project. Parallel Computing\u00a027(1-2), 3-35 (2001)","DOI":"10.1016\/S0167-8191(00)00087-9"},{"key":"#cr-split#-10_CR27.2","unstructured":"also available as University of Tennessee LAPACK Working Note #147, UT-CS-00-448 (2000), http:\/\/www.netlib.org\/lapack\/lawns\/lawn147.ps"},{"key":"10_CR28","unstructured":"Caps entreprise, http:\/\/www.caps-entreprise.com"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/781131.781140","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation","author":"K. Yotov","year":"2003","unstructured":"Yotov, K., Li, X., Ren, G., Cibulskis, M., DeJong, G., Garzar\u00e1n, M., Padua, D., Pingali, K., Stodghill, P., Wu, P.: A Comparison of Empirical and Model-driven Optimization. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 63\u201376. ACM Press, New York (2003)"},{"issue":"2","key":"10_CR30","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1109\/JPROC.2004.840444","volume":"93","author":"K. Yotov","year":"2005","unstructured":"Yotov, K., Li, X., Ren, G., Garzar\u00e1n, M., Padua, D., Pingali, K., Stodghill, P.: Is Search Really Necessary to Generate High-Performance BLASs? Proceedings of the IEEE\u00a093(2), 358\u2013386 (2005); Special issue on Program Generation, Optimization, and Adaptation","journal-title":"Proceedings of the IEEE"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69330-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:09:16Z","timestamp":1737014956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69330-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540693291","9783540693307"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69330-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}