{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:05:16Z","timestamp":1742396716830},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540576594"},{"type":"electronic","value":"9783540483083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57659-2_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:14:55Z","timestamp":1330262095000},"page":"522-545","source":"Crossref","is-referenced-by-count":14,"title":["FIAT: A framework for interprocedural analysis and transformation"],"prefix":"10.1007","author":[{"given":"Mary W.","family":"Hall","sequence":"first","affiliation":[]},{"given":"John M.","family":"Mellor-Crummey","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Carle","sequence":"additional","affiliation":[]},{"given":"Ren\u00e9 G.","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"S. Amarasinghe, J. Anderson, M. Lam, and A. Lim. An overview of a compiler for scalable parallel machines. In Sixth Annual Workshop on Languages and Compilers for Parallel Computing, Aug. 1993.","DOI":"10.1007\/3-540-57659-2_15"},{"issue":"6","key":"30_CR2","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/71.180621","volume":"3","author":"W. Blume","year":"1992","unstructured":"W. Blume and R. Eigenmann. Performance analysis of parallelizing compilers on the Perfect Benchmarks programs. IEEE Transactions on Parallel and Distributed Systems, 3(6):643\u2013656, Nov. 1992.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"M. Burke and L. Torczon. Interprocedural optimization: Eliminating unnecessary recompilation. ACM Transactions on Programming Languages and Systems, to appear 1993.","DOI":"10.1145\/169683.169678"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"D. Callahan. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proceedings of the SIGPLAN '88 Conference on Program Language Design and Implementation, Atlanta, GA, June 1988.","DOI":"10.1145\/53990.53995"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"D. Callahan, K. Cooper, K. Kennedy, and L. Torczon. Interprocedural constant propagation. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, SIGPLAN Notices 21(7), pages 152\u2013161. ACM, July 1986.","DOI":"10.1145\/12276.13327"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/0743-7315(88)90011-1","volume":"5","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Analysis of interprocedural side effects in a parallel programming environment. Journal of Parallel and Distributed Computing, 5:517\u2013550, 1988.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"K. Cooper, M. Hall, and K. Kennedy. A methodology for procedure cloning. Computer Languages, 19(2), Apr. 1993.","DOI":"10.1016\/0096-0551(93)90005-L"},{"issue":"2","key":"30_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/5.214549","volume":"81","author":"K. Cooper","year":"1993","unstructured":"K. Cooper, M. W. Hall, R. T. Hood, K. Kennedy, K. S. McKinley, J. M. Mellor-Crummey, L. Torczon, and S. K. Warren. The ParaScope parallel programming environment. Proceedings of the IEEE, 81(2):244\u2013263, Feb. 1993.","journal-title":"Proceedings of the IEEE"},{"issue":"6","key":"30_CR9","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1002\/spe.4380210604","volume":"21","author":"K. Cooper","year":"1991","unstructured":"K. Cooper, M. W. Hall, and L. Torczon. An experiment with inline substitution. Software\u2014Practice and Experience, 21(6):581\u2013601, June 1991.","journal-title":"Software\u2014Practice and Experience"},{"issue":"4","key":"30_CR10","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/6465.6489","volume":"8","author":"K. Cooper","year":"1986","unstructured":"K. Cooper, K. Kennedy, and L. Torczon. The impact of interprocedural analysis and optimization in the Rn programming environment. ACM Transactions on Programming Languages and Systems, 8(4):491\u2013523, Oct. 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"30_CR11","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1002\/spe.4380180805","volume":"18","author":"J. W. Davidson","year":"1988","unstructured":"J. W. Davidson and A. M. Holler. A study of a C function inliner. Software\u2014 Practice and Experience, 18(8):775\u2013790, Aug. 1988.","journal-title":"Software\u2014 Practice and Experience"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"D. Grove. Interprocedural constant propagation: a study of jump function implementations. Master's thesis, Dept. of Computer Science, Rice University, Mar. 1993.","DOI":"10.1145\/173262.155099"},{"key":"30_CR13","unstructured":"M. Hall. Comparing fiat's support of flow-sensitive interprocedural data-flow analysis with existing techniques. Technical Note Available from First Author. To be published as a Stanford Dept. of Computer Science Technical Report."},{"key":"30_CR14","unstructured":"M. W. Hall. Managing Interprocedural Optimization. PhD thesis, Dept. of Computer Science, Rice University, Apr. 1991."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"M. W. Hall, S. Hiranandani, K. Kennedy, and C. Tseng. Interprocedural compilation of Fortran D for MIMD distributed-memory machines. In Proceedings of Supercomputing '92, Minneapolis, MN, Nov. 1992.","DOI":"10.1145\/143369.143372"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"M. W. Hall and K. Kennedy. Efficient call graph analysis. ACM Letters on Programming Languages and Systems, 1(3), Sept. 1992.","DOI":"10.1145\/151640.151643"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"M. W. Hall, K. Kennedy, and K. S. McKinley. Interprocedural transformations for parallel code generation. In Proceedings of Supercomputing '91, Albuquerque, NM, Nov. 1991.","DOI":"10.1145\/125826.126055"},{"issue":"8","key":"30_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/135226.135230","volume":"35","author":"S. Hiranandani","year":"1992","unstructured":"S. Hiranandani, K. Kennedy, and C. Tseng. Compiling Fortran D for MIMD distributed-memory machines. Communications of the ACM, 35(8):66\u201380, Aug. 1992.","journal-title":"Communications of the ACM"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"J.P. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In Proceedings of the Sixth Annual Symposium on Principles of Programming Languages, pages 29\u201341. ACM, Jan. 1979.","DOI":"10.1145\/567752.567756"},{"key":"30_CR20","unstructured":"K. Kennedy, N. McIntosh, and K. S. McKinley. Static performance estimation in a parallelizing compiler. Technical Report TR91-174, Dept. of Computer Science, Rice University, Dec. 1991."},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"K. Kennedy, K. S. McKinley, and C. Tseng. Analysis and transformation in an interactive parallel programming tool. Concurrency: Practice & Experience, to appear 1993.","DOI":"10.1002\/cpe.4330050705"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"G. Kildall. A unified approach to global program optimization. In Conference Record of the Symposium on Principles of Programming Languages, pages 194\u2013206. ACM, Jan. 1973.","DOI":"10.1145\/512927.512945"},{"issue":"7","key":"30_CR23","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/143103.143137","volume":"27","author":"W. Landi","year":"1992","unstructured":"W. Landi and B. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In SIGPLAN '92 Conference on Programming Language Design and Implementation, SIGPLAN Notices 27(7), pages 235\u2013248, July 1992.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"30_CR24","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/113446.113452","volume":"26","author":"S. McFarling","year":"1991","unstructured":"S. McFarling. Procedure merging with instruction caches. In SIGPLAN '91 Conference on Programming Language Design and Implementation, SIGPLAN Notices 26(6), pages 71\u201379, June 1991.","journal-title":"SIGPLAN Notices"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"J. M. Mellor-Crummey. Compile-time support for efficient data race detection in shared-memory parallel programs. In Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging, San Diego, CA, May 1993.","DOI":"10.1145\/174266.171370"},{"key":"30_CR26","doi-asserted-by":"crossref","unstructured":"R. Metzger and S. Stroud. Interprocedural constant propagation: an empirical study. ACM Letters on Programming Languages and Systems, 1993. to appear.","DOI":"10.1145\/176454.176526"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"E. Myers. A precise inter-procedural data flow algorithm. In Conference Record of the Eighth Annual Symposium on Principles of Programming Languages. ACM, Jan. 1981.","DOI":"10.1145\/567532.567556"},{"key":"30_CR28","unstructured":"P. Briggs and K.D. Cooper and M.W. Hall and L. Torczon. Goal-directed interprocedural optimization. Technical Report TR90-148, Dept. of Computer Science, Rice University, Nov. 1990."},{"issue":"3","key":"30_CR29","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0020-0190(89)90014-8","volume":"32","author":"S. Richardson","year":"1989","unstructured":"S. Richardson and M. Ganapathi. Interprocedural analysis versus procedure integration. Information Processing Letters, 32(3):137\u2013142, Aug. 1989.","journal-title":"Information Processing Letters"},{"key":"30_CR30","unstructured":"J. Singh and J. Hennessy. An empirical investigation of the effectiveness of and limitations of automatic parallelization. In Proceedings of the International Symposium on Shared Memory Multiprocessors, Tokyo, Japan, Apr. 1991."},{"key":"30_CR31","volume-title":"Languages and Compilers for Parallel Computing, Fourth International Workshop","author":"S. Tjiang","year":"1991","unstructured":"S. Tjiang, M. E. Wolf, M. Lam, K. Pieper, and J. Hennessy. Integrating scalar optimization and parallelization. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, CA, Aug. 1991. Springer-Verlag."},{"key":"30_CR32","doi-asserted-by":"crossref","unstructured":"R. Triolet, F. Irigoin, and P. Feautrier. Direct parallelization of CALL statements. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, Palo Alto, CA, June 1986.","DOI":"10.1145\/12276.13329"},{"issue":"9","key":"30_CR33","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/62116.62125","volume":"23","author":"Z. Li","year":"1988","unstructured":"Z. Li and P. Yew. Efficient interprocedural analysis for program restructuring for parallel programs. ACM SIGPLAN Notices, 23(9):85\u201399, 1988.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57659-2_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:37Z","timestamp":1605647617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57659-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540576594","9783540483083"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-57659-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}