{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:32:38Z","timestamp":1778301158885,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676683","type":"print"},{"value":"9783540450993","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_14","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T04:05:17Z","timestamp":1294977917000},"page":"260-279","source":"Crossref","is-referenced-by-count":3,"title":["Partial Redundancy Elimination on Predicated Code"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Collard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy Dz-ching","family":"Ju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"177","volume-title":"Conf. Rec. 10th Symp. on Principles of Prog. Lang. (POPL 1983)","author":"J.R. Allen","year":"1983","unstructured":"Allen, J.R., Kennedy, K., Porterfield, C., Warren, J.: Conversion of control dependence to data dependence. In: Conf. Rec. 10th Symp. on Principles of Prog. Lang (POPL 1983), pp. 177\u2013189. ACM, NY (1983)"},{"key":"14_CR2","first-page":"237","volume-title":"Conf. Rec. 25th Symp. on Principles of Prog. Lang. (POPL 1998)","author":"R. Bod\u00edk","year":"1998","unstructured":"Bod\u00edk, R., Anik, S.: Path-sensitive value-flow analysis. In: Conf. Rec. 25th Symp. on Principles of Prog. Lang (POPL 1998), pp. 237\u2013251. ACM, NY (1998)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Briggs, P., Cooper, K.D.: Effective partial redundancy elimination. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1994). ACM SIGPLAN Not., vol.\u00a029(6), pp. 159\u2013170 (1994)","DOI":"10.1145\/773473.178257"},{"key":"14_CR4","unstructured":"Intel Corp. IA-64 Application Developers Architecture Guide (May 1999)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Dhamdhere, D.M., Rosen, B.K., Zadeck, F.K.: How to analyze large programs efficiently and informatively. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1992), ACM SIGPLAN Not., vol. 27, pp. 212\u2013223 (1992)","DOI":"10.1145\/143095.143135"},{"issue":"7","key":"14_CR6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2.689674","volume":"31","author":"C. Dulong","year":"1998","unstructured":"Dulong, C.: The IA-64 architecture at work. IEEE Computer\u00a031(7), 24\u201332 (1998)","journal-title":"IEEE Computer"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Eichenberger, A.E., Davidson, E.S.: Register allocation for predicated code. In: Proc. 28th Int. Symp. on Microarchitecture (MICRO-28), vol.\u00a026, pp. 180\u2013191 (1995)","DOI":"10.1109\/MICRO.1995.476825"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0017250","volume-title":"Languages and Compilers for Parallel Computing","author":"J.Z. Fang","year":"1997","unstructured":"Fang, J.Z.: Compiler algorithms on If-conversion, speculative predicate assignment and predicated code optimizations. In: Sehr, D., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1996. LNCS, vol.\u00a01239, pp. 135\u2013153. Springer, Heidelberg (1997)"},{"key":"14_CR9","unstructured":"Gillies, D.M., Ju, D.C.R., Johnson, R., Schlansker, M.: Global predicate analysis and its application to register allocation. In: Proc. 29th Int. Symp. on Microarchitecture (MICRO-29), vol.\u00a027 (1996)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/PACT.1997.644007","volume-title":"Proc. 5th IEEE Int. Conf. on Parallel Arch. and Comp. Techniques (PACT 1997)","author":"R. Gupta","year":"1997","unstructured":"Gupta, R., Berson, D., Fang, J.Z.: Path profile guided partial dead code elimination using predication. In: Proc. 5th IEEE Int. Conf. on Parallel Arch. and Comp. Techniques (PACT 1997), pp. 102\u2013115. IEEE Comp. Soc, CA (1997)"},{"key":"14_CR11","volume-title":"Flow Analysis of Computer Programs","author":"M.S. Hecht","year":"1977","unstructured":"Hecht, M.S.: Flow Analysis of Computer Programs. Elsevier, North-Holland (1977)"},{"issue":"SE-7","key":"14_CR12","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/TSE.1981.234509","volume":"1","author":"L.H. Holley","year":"1981","unstructured":"Holley, L.H., Rosen, B.K.: Qualified data flow problems. IEEE Trans. Softw. Eng.\u00a01(SE-7), 60\u201378 (1981)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, R., Schlansker, M.: Analysis techniques for predicated code. In: Proc. 29th Int. Symp. on Microarchitecture (MICRO-29), vol.\u00a027, pp. 100\u2013113 (1996)","DOI":"10.1109\/MICRO.1996.566454"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Knoop, J., Collard, J.-F., Ju, R.D.: Partial redundancy elimination on predicated code: Motivation and algorithm. Technical Report 731\/2000, Fachbereich Informatik, Universit\u00e4t Dortmund, Germany (2000)","DOI":"10.1007\/978-3-540-45099-3_14"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O.: Optimization under the perspective of soundness, completeness, and reusability. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 288\u2013315. Springer, Heidelberg (1999) (invited contirbution)","DOI":"10.1007\/3-540-48092-7_13"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Lazy code motion. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1992). ACM SIGPLAN Not., vol.\u00a027(7), pp. 224\u2013234 (1992)","DOI":"10.1145\/143103.143136"},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Optimal code motion: Theory and practice. ACM Trans. Prog. Lang. Syst.\u00a016, 1117\u20131155 (1994)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Partial dead code elimination. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1994). ACM SIGPLAN Not., vol.\u00a029(6), p. 147\u2013158 (1994)","DOI":"10.1145\/773473.178256"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: The power of assignment motion. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1995). ACM SIGPLAN Not., vol.\u00a030(6), pp. 233\u2013245 (1995)","DOI":"10.1145\/223428.207150"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Code motion and code placement: Just synomyms? In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 154\u2013169. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0053569"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Mahlke, S.A., Lin, D.C., Chen, W.Y., Hank, R.E., Bringmann, R.A.: Effective compiler support for predicated execution using the hyperblock. In: Proc. 25th Int. Symp. on Microarchitecture (MICRO-25), vol.\u00a023(1&2), pp. 45\u201354 (1992)","DOI":"10.1145\/144965.144998"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"Morel, E., Renvoise, C.: Global optimization by suppression of partial redundancies. Comm. ACM\u00a022(2), 96\u2013103 (1979)","journal-title":"Comm. ACM"},{"key":"14_CR23","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"14_CR24","first-page":"2","volume-title":"Conf. Rec. 15th Symp. Principles of Prog. Lang. (POPL 1988)","author":"B.K. Rosen","year":"1988","unstructured":"Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Global value numbers and redundant computations. In: Conf. Rec. 15th Symp. Principles of Prog. Lang (POPL 1988), pp. 2\u201327. ACM, NY (1988)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"R\u00fcthing, O., Knoop, J., Steffen, B.: Sparse code motion. In: Conf. Rec. 27th Symp. Principles of Prog. Lang (POPL 2000), pp. 170\u2013183. ACM, NY (2000)","DOI":"10.1145\/325694.325715"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Steffen, B., Knoop, J., R\u00fcthing, O.: The value flow graph: A program representation for optimal program transformations. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol.\u00a0432, pp. 389\u2013405. Springer, Heidelberg (1990)","DOI":"10.1007\/3-540-52592-0_76"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Warter, N.J., Mahlke, S.A., Hwu, W.-M., Rau, B.R.: Reverse if-conversion. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl (PLDI 1993). ACM SIGPLAN Not., vol.\u00a028(6), pp. 290\u2013299 (1993)","DOI":"10.1145\/173262.155118"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:22:37Z","timestamp":1778250157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}