{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:53:17Z","timestamp":1761580397945},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,5,1]],"date-time":"2006-05-01T00:00:00Z","timestamp":1146441600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2006,5]]},"DOI":"10.1007\/s11227-006-7954-5","type":"journal-article","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T14:57:02Z","timestamp":1147359422000},"page":"135-151","source":"Crossref","is-referenced-by-count":25,"title":["Exploring the structure of the space of compilation sequences using randomized search algorithms"],"prefix":"10.1007","volume":"36","author":[{"given":"Keith D.","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Grosul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy J.","family":"Harvey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devika","family":"Subramanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Torczon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Waterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7954_CR1","doi-asserted-by":"crossref","unstructured":"Almagor L, Cooper KD, Grosul A, Harvey TJ, Reeves SW, Subramanian D, Torczon L, Waterman T (2004) Finding effective compilation sequences. In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 231\u2013239","DOI":"10.1145\/997163.997196"},{"key":"7954_CR2","doi-asserted-by":"crossref","unstructured":"Alpern B, Wegman MN, Zadeck FK (1988) Detecting equality of variables in programs. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, CA, USA, pp. 1\u201311","DOI":"10.1145\/73560.73561"},{"issue":"6","key":"7954_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/178243.178257","volume":"29","author":"P Briggs","year":"1994","unstructured":"Briggs P, Cooper KD (1994) Effective partial redundancy elimination. SIGPLAN Notices proceedings of the ACM SIGPLAN \u201994 Conference on Programming Language Design and Implementation 29(6):159\u2013170","journal-title":"SIGPLAN Notices proceedings of the ACM SIGPLAN \u201994 Conference on Programming Language Design and Implementation"},{"issue":"6","key":"7954_CR4","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1002\/(SICI)1097-024X(199706)27:6<701::AID-SPE104>3.0.CO;2-0","volume":"27","author":"P Briggs","year":"1997","unstructured":"Briggs P, Cooper KD, Simpson LT (1997) Value numbering. Software\u2013Practice Exper 27(6):701\u2013724","journal-title":"Software\u2013Practice Exper"},{"issue":"1","key":"7954_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0096-0551(81)90048-5","volume":"6","author":"GJ Chaitin","year":"1981","unstructured":"Chaitin GJ, Auslander MA, Chandra AK, Cocke J, Hopkins ME, Markstein PW (1981) Register allocation via graph coloring. Comput Langu 6(1):47\u201357","journal-title":"Comput Langu"},{"issue":"2","key":"7954_CR6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/201059.201061","volume":"17","author":"C Click","year":"1995","unstructured":"Click C, KD Cooper (1995) Combining analyses, combining optimizations. ACM Transactions on Programming Languages and Systems 17(2):181\u2013196","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7954_CR7","doi-asserted-by":"crossref","unstructured":"Cooper KD, Schielke PJ, Subramanian D (1999) Optimizing for reduced code space using genetic algorithms. In: 1999 Acm sigplan Workshop on Languages, Compilers, and Tools for Embedded Systems (Lctes), pages 1\u20139","DOI":"10.1145\/314403.314414"},{"key":"7954_CR8","doi-asserted-by":"crossref","unstructured":"Cooper KD, Schielke PJ, Subramanian D (1999) Optimizing for reduced code space using genetic algorithms. In: 1999 Acm sigplan Workshop on Languages, Compilers, and Tools for Embedded Systems (Lctes), pp. 1\u20139","DOI":"10.1145\/314403.314414"},{"key":"7954_CR9","doi-asserted-by":"crossref","unstructured":"Cooper KD, Simpson LT, Vick CA (2001) Operator strength reduction. ACM Transactions on Programming Languages and Systems, to appear","DOI":"10.1145\/504709.504710"},{"key":"7954_CR10","unstructured":"Cooper KD, Subramanian D, Torczon L (2001) Adaptive optimizing compilers for the 21st century. In: Proceedings of the 2001 LACSI symposium. Los Alamos Computer Science Institute, Available at http:\/\/www.cs.rice.edu\/\u02dckeith\/Adapt"},{"key":"7954_CR11","unstructured":"Cooper KD, Torczon L (2003) Engineering a compiler. Morgan-Kaufmann Publishers"},{"issue":"4","key":"7954_CR12","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R Cytron","year":"1991","unstructured":"Cytron R, Ferrante J, Rosen BK, Wegman MN, Zadeck FK (1991) Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems (TOPLAS) 13(4):451\u2013490","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"2","key":"7954_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/357094.357098","volume":"2","author":"JW Davidson","year":"1980","unstructured":"Davidson JW, Fraser CW (1980) The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems (TOPLAS) 2(2):191\u2013202","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"7954_CR14","volume-title":"Computer Methods for Mathematical Computations","author":"GE Forsythe","year":"1977","unstructured":"Forsythe GE, Malcolm MA, Moler CB (1977) Computer Methods for Mathematical Computations. Prentice-Hall, Englewood Cliffs, NJ, USA"},{"key":"7954_CR15","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718218","volume-title":"Performance Optimization of Numerically Intensive Codes","author":"S Goedecker","year":"2001","unstructured":"Goedecker S, Hoisie A (2001) Performance Optimization of Numerically Intensive Codes. SIAM, Philadelphia, PA, USA"},{"issue":"7","key":"7954_CR16","first-page":"224","volume":"27","author":"J Knoop","year":"1992","unstructured":"Knoop J, R\u00dcthing O, Steffen B (1992) Lazy code motion. SIGPLAN Notices, In: Proceedings of the ACM SIGPLAN \u201992 Conference on Programming Language Design and Implementation 27(7):224\u2013234","journal-title":"Proceedings of the ACM SIGPLAN \u201992 Conference on Programming Language Design and Implementation"},{"issue":"2","key":"7954_CR17","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E Morel","year":"1979","unstructured":"Morel E, Renvoise C (1979) Global optimization by suppression of partial redundancies. Communications of the ACM 22(2):96\u2013103","journal-title":"Communications of the ACM"},{"key":"7954_CR18","doi-asserted-by":"crossref","unstructured":"Pollock LL (1986) An Approach to Incremental Compilation of Optimized Code. PhD thesis, University of Pittsburgh, Department of Computer Science","DOI":"10.1145\/318593.318629"},{"key":"7954_CR19","doi-asserted-by":"crossref","unstructured":"Robison AD (2001) Impact of economics on compiler optimization. In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, pp. 1\u201310","DOI":"10.1145\/376656.376751"},{"key":"7954_CR20","unstructured":"Simpson LT (1996) Value-Driven Redundancy Elimination. PhD thesis, Rice University"},{"key":"7954_CR21","doi-asserted-by":"crossref","unstructured":"Triantafyllis S, Vachharajani M, Vachharajani N, August DI (2003) Compiler optimization-space exploration. In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems","DOI":"10.1109\/CGO.2003.1191546"},{"issue":"2","key":"7954_CR22","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M Wegman","year":"1991","unstructured":"Wegman M, Zadeck FK (1991) Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13(2):181\u2013210","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"7954_CR23","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/267959.267960","volume":"19","author":"DL Whitfield","year":"1997","unstructured":"Whitfield DL, Soffa ML (1997) An approach for exploring code improving transformations. ACM Transactions on Programming Languages and Systems (TOPLAS) 19(6):1053\u20131084","journal-title":"ACM Transactions on Programming Languages and Systems TOPLAS"},{"key":"7954_CR24","doi-asserted-by":"crossref","unstructured":"Zhao M, Childers B, Soffa ML (2003) Predicting the impact of optimizations for embedded systems. In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 1\u201311","DOI":"10.1145\/780732.780734"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-7954-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-006-7954-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-7954-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T11:32:25Z","timestamp":1683459145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-006-7954-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,5]]}},"alternative-id":["7954"],"URL":"https:\/\/doi.org\/10.1007\/s11227-006-7954-5","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5]]}}}