{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:53Z","timestamp":1763468093466,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331817"},{"type":"electronic","value":"9783642331824"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33182-4_3","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:30:53Z","timestamp":1346535053000},"page":"12-26","source":"Crossref","is-referenced-by-count":5,"title":["Spill Code Placement for SIMD Machines"],"prefix":"10.1007","author":[{"given":"Diogo Nunes","family":"Sampaio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elie","family":"Gedeon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Magno Quint\u00e3o","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caroline","family":"Collange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison Wesley (2006)"},{"issue":"8","key":"3_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/960118.808380","volume":"13","author":"J. Backus","year":"1978","unstructured":"Backus, J.: The history of fortran i, ii, and iii. SIGPLAN Not.\u00a013(8), 165\u2013180 (1978)","journal-title":"SIGPLAN Not."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Baghsorkhi, S.S., Delahaye, M., Patel, S.J., Gropp, W.D., Hwu, W.M.W.: An adaptive performance modeling tool for GPU architectures. In: PPoPP, pp. 105\u2013114. ACM (2010)","DOI":"10.1145\/1837853.1693470"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1147\/sj.52.0078","volume":"5","author":"L.A. Belady","year":"1966","unstructured":"Belady, L.A.: A study of replacement algorithms for a virtual storage computer. IBM Systems Journal\u00a05(2), 78\u2013101 (1966)","journal-title":"IBM Systems Journal"},{"key":"3_CR5","unstructured":"Bouchez, F.: Allocation de Registres et Vidage en M\u00e9moire. Master\u2019s thesis, ENS Lyon (October 2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Briggs, P., Cooper, K.D., Torczon, L.: Rematerialization. In: PLDI, pp. 311\u2013321. ACM (1992)","DOI":"10.1145\/143103.143143"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Carrillo, S., Siegel, J., Li, X.: A control-structure splitting optimization for GPGPU. In: Computing Frontiers, pp. 147\u2013150. ACM (2009)","DOI":"10.1145\/1531743.1531766"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0096-0551(81)90048-5","volume":"6","author":"G.J. Chaitin","year":"1981","unstructured":"Chaitin, G.J., Auslander, M.A., Chandra, A.K., Cocke, J., Hopkins, M.E., Markstein, P.W.: Register allocation via coloring. Computer Languages\u00a06, 47\u201357 (1981)","journal-title":"Computer Languages"},{"key":"3_CR9","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, pp. 44\u201354. IEEE (2009)","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Coutinho, B., Sampaio, D., Pereira, F.M.Q., Meira, W.: Divergence analysis and optimizations. In: PACT. IEEE (2011)","DOI":"10.1109\/PACT.2011.63"},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. TOPLAS\u00a013(4), 451\u2013490 (1991)","journal-title":"TOPLAS"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Diamos, G., Kerr, A., Yalamanchili, S., Clark, N.: Ocelot, a dynamic optimization framework for bulk-synchronous applications in heterogeneous systems. In: PACT, pp. 354\u2013364 (2010)","DOI":"10.1145\/1854273.1854318"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1006\/jagm.2000.1095","volume":"37","author":"M. Farach-colton","year":"2000","unstructured":"Farach-colton, M., Liberatore, V.: On local register allocation. Journal of Algorithms\u00a037(1), 37\u201365 (2000)","journal-title":"Journal of Algorithms"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MM.2008.57","volume":"28","author":"M. Garland","year":"2008","unstructured":"Garland, M.: Parallel computing experiences with CUDA. IEEE Micro\u00a028, 13\u201327 (2008)","journal-title":"IEEE Micro"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1839676.1839694","volume":"53","author":"M. Garland","year":"2010","unstructured":"Garland, M., Kirk, D.B.: Understanding throughput-oriented architectures. Commun. ACM\u00a053, 58\u201366 (2010)","journal-title":"Commun. ACM"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Golumbic, M.C.: Algorithmic Graph Theory and Perfect Graphs, 1st edn. Elsevier (2004)","DOI":"10.1016\/S0167-5060(04)80049-9"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Han, T.D., Abdelrahman, T.S.: Reducing branch divergence in GPU programs. In: GPGPU-4, pp. 3:1\u20133:8. ACM (2011)","DOI":"10.1145\/1964179.1964184"},{"key":"3_CR18","unstructured":"Harris, M.: The parallel prefix sum (scan) with CUDA. Tech. Rep. Initial release on February 14, 2007, NVIDIA (2008)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Lee, V.W., Kim, C., Chhugani, J., Deisher, M., Kim, D., Nguyen, A.D., Satish, N., Smelyanskiy, M., Chennupaty, S., Hammarlund, P., Singhal, R., Dubey, P.: Debunking the 100X GPU vs. CPU myth: an evaluation of throughput computing on CPU and GPU. In: ISCA, pp. 451\u2013460. ACM (2010)","DOI":"10.1145\/1816038.1816021"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MM.2010.41","volume":"30","author":"J. Nickolls","year":"2010","unstructured":"Nickolls, J., Dally, W.J.: The GPU computing era. IEEE Micro\u00a030, 56\u201369 (2010)","journal-title":"IEEE Micro"},{"key":"3_CR21","unstructured":"Nickolls, J., Kirk, D.: Graphics and Computing GPUs. In: Patterson, Hennessy (eds.) Computer Organization and Design, 4th edn., ch. A, pp. A.1\u2013A.77. Elsevier (2009)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/11690634_6","volume-title":"Foundations of Software Science and Computation Structures","author":"F.M.Q. Pereira","year":"2006","unstructured":"Pereira, F.M.Q., Palsberg, J.: Register Allocation After Classical SSA Elimination is NP-Complete. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 79\u201393. Springer, Heidelberg (2006)"},{"issue":"5","key":"3_CR23","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1145\/330249.330250","volume":"21","author":"M. Poletto","year":"1999","unstructured":"Poletto, M., Sarkar, V.: Linear scan register allocation. TOPLAS\u00a021(5), 895\u2013913 (1999)","journal-title":"TOPLAS"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Ryoo, S., Rodrigues, C.I., Baghsorkhi, S.S., Stone, S.S., Kirk, D.B., Hwu, W.M.W.: Optimization principles and application performance evaluation of a multithreaded GPU using CUDA. In: PPoPP, pp. 73\u201382. ACM (2008)","DOI":"10.1145\/1345206.1345220"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Sampaio, D., Martins, R., Collange, C., Pereira, F.M.Q.: Divergence analysis with affine constraints. Tech. rep., \u00c9cole normale sup\u00e9rieure de Lyon (2011)","DOI":"10.1109\/SBAC-PAD.2012.22"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Sethi, R.: Complete register allocation problems. In: 5th annual ACM Symposium on Theory of Computing, pp. 182\u2013195. ACM Press (1973)","DOI":"10.1145\/800125.804049"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Sreedhar, V.C., Gao, G.R.: A linear time algorithm for placing f-nodes. In: POPL, pp. 62\u201373. ACM (1995)","DOI":"10.1145\/199448.199464"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Wegman, M.N., Zadeck, F.K.: Constant propagation with conditional branches. TOPLAS 13(2) (1991)","DOI":"10.1145\/103135.103136"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Zhang, E.Z., Jiang, Y., Guo, Z., Tian, K., Shen, X.: On-the-fly elimination of dynamic irregularities for GPU computing. In: ASPLOS, pp. 369\u2013380. ACM (2011)","DOI":"10.1145\/1961296.1950408"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33182-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,18]],"date-time":"2022-01-18T09:17:32Z","timestamp":1642497452000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33182-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331817","9783642331824"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33182-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}