Efficiently computing static single assignment form and the control dependence graph

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Efficiently computing static single assignment form and the control dependence graph

Full text

Pdf (2.49 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 13 , Issue 4 (October 1991) table of contents

Pages: 451 - 490

Year of Publication: 1991

ISSN:0164-0925

Authors

Ron Cytron	IBM Research Division, Yorktown Heights, NY
Jeanne Ferrante	IBM Research Division, Yorktown Heights, NY
Barry K. Rosen	IBM Research Division, Yorktown Heights, NY
Mark N. Wegman	IBM Research Division, Yorktown Heights, NY
F. Kenneth Zadeck	Brown Univ., Providence, RI

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 104, Downloads (12 Months): 846, Citation Count: 327

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115372.115320 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Frances Allen , Michael Burke , Philippe Charles , Ron Cytron , Jeanne Ferreant, An overview for the PTRAN analysis system for multiprocessing, Journal of Parallel and Distributed Computing, v.5 n.5, p.617-640, October 1988 [doi>10.1016/0743-7315(88)90015-9]
	3	John Randal Allen, Dependence analysis for subscripted variables and its application to program transformations, 1983
	4	R. Allen , S. Johnson, Compiling C for vectorization, parallelization, and inline expansion, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.241-249, June 20-24, 1988, Atlanta, Georgia, United States
	5	B. Alpern , M. N. Wegman , F. K. Zadeck, Detecting equality of variables in programs, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-11, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73561]
	6	Karl J. Ottenstein , Robert A. Ballance , Arthur B. MacCabe, The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages, ACM SIGPLAN Notices, v.25 n.6, p.257-271, Jun. 1990
	7	John P. Banning, An efficient way to find the side effects of procedure calls and the aliases of variables, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.29-41, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567756]
	8	Jeffrey M. Barth, An interprocedural data flow analysis algorithm, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-131, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512962]
	9	Michael Burke, An interval-based approach to exhaustive and incremental interprocedural data-flow analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.341-395, July 1990 [doi>10.1145/78969.78963]
	10	Michael Burke , Ron Cytron, Interprocedural dependence analysis and parallelization, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.162-175, June 25-27, 1986, Palo Alto, California, United States
	11	E. Cartwright , M. Felleisen, The semantics of program dependence, ACM SIGPLAN Notices, v.24 n.7, p.13-27, July 1989
	12	G. J. Chaitin, Register allocation & spilling via graph coloring, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.98-105, June 23-25, 1982, Boston, Massachusetts, United States
	13	CHAITIN, G. J., AUSLANDER, M. A., CHANDRA, A. K., COCKE, J., HOPKINS, M. E., AND MARKSTEIN, P.W. Register allocation via eoloring. Comput. Lang. 6 (1981), 47-57.
	14	D. R. Chase, Safety consideration for storage allocation optimizations, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.1-10, June 20-24, 1988, Atlanta, Georgia, United States
	15	David R. Chase , Mark Wegman , F. Kenneth Zadeck, Analysis of pointers and structures, ACM SIGPLAN Notices, v.25 n.6, p.296-310, Jun. 1990
	16	Jong-Deok Choi , Ron Cytron , Jeanne Ferrante, Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.55-66, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99594]
	17	Frederick Chi-Tak Chow, A portable machine-independent global optimizer--design and measurements, 1984
	18	Fred C. Chow , John L. Hennessy, The priority-based coloring approach to register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.4, p.501-536, Oct. 1990 [doi>10.1145/88616.88621]
	19	Keith Daniel Cooper, Interprocedural data flow analysis in a programming environment, 1983
	20	CYTRON, R., AND FERRANTE, J. An improved control dependence algorithm. Tech. Rep. RC 13291, IBM Corp., Armouk, N.Y., 1987.
	21	CYTRON, R., AND FERRANTE, J. What's in a name? In Proceedings ofthe 1987 International Conference on Parallel Processing (Aug. 1987), pp. 19-27.
	22	Ron Cytron , Andy Lowry , F. Kenneth Zadeck, Code motion of control structures in high-level languages, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.70-85, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512651]
	23	DENNIS, J.B. First version of a data fiow procedure language. Tech. Rep. Comput. Struc. Group Memo 93 (MAC Tech. Memo 61), MIT, Cambridge, Mass., May 1975.
	24	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	25	Robert Giegerich, A Formal Framework for the Derivation of Machine-Specific Optimizers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.478-498, July 1983 [doi>10.1145/2166.357219]
	26	D Harel, A linear algorithm for finding dominators in flow graphs and related problems, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.185-194, May 06-08, 1985, Providence, Rhode Island, United States [doi>10.1145/22145.22166]
	27	S. Horwitz , P. Pfeiffer , T. Reps, Dependence analysis for pointer variables, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.28-40, June 19-23, 1989, Portland, Oregon, United States
	28	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989 [doi>10.1145/65979.65980]
	29	JONES, N. D., AND MUCHMCK, S.S. Flow analysis and optimization of LISP-like structures. In Program Flow Analysis, S. S. Muchnick and N. D. Jones, Eds. Prentice-Hall, Englewood Cliffs, N.J., 1981, chap. 4, pp. 102-131.
	30	KENNEDY, K. W. Global dead computation elimination. Tech. Rep. SETL Newsl. 111, Courant Institute of Mathematical Sciences, New York Univ., New York, N.Y., Aug. 1973.
	31	KENNEDY, K.W. A survey of data fiow analysis techniques. In Program Flow Analysis, S. S. Muchnick and N. D. Jones, Eds. Prentice-Hall, Englewood Cliffs, N.J., 1981.
	32	David L. Kuck, Structure of Computers and Computations, John Wiley & Sons, Inc., New York, NY, 1978
	33	James R Larus, Restructuring Symbolic Programs for Concurrent Execution on, University of California at Berkeley, Berkeley, CA, 1989
	34	J. R. Larus , P. N. Hilfinger, Detecting conflicts between structure accesses, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.24-31, June 20-24, 1988, Atlanta, Georgia, United States
	35	Thomas Lengauer , Robert Endre Tarjan, A fast algorithm for finding dominators in a flowgraph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.121-141, July 1979 [doi>10.1145/357062.357071]
	36	MUCHMCK, S. S., AND JONES, N. D , EDS Program Flow Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1981
	37	Eugene M. Myers, A precise inter-procedural data flow algorithm, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.219-230, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567556]
	38	Karl Joseph Ottenstein, Data-flow graphs as an intermediate program form., 1978
	39	POIN~ER, L. Perfect report: 1. Tech. Rep CSRD 896, Center for Supercomputing Research and Development, Univ. of Illinois at Urbana-Champaign, Urbana, Ill., July 1989
	40	John H Reif , Harry R Lewis, Efficient symbolic analysis of programs, Journal of Computer and System Sciences, v.32 n.3, p.280-314, June 1986 [doi>10.1016/0022-0000(86)90031-0]
	41	RE~F, J. H., A~D TARJAN, R. E Symbolic program analysis in almost linear rime. SIAM J. Comput. 11, i (Feb. 1982), 81-93
	42	Barry K. Rosen, Data Flow Analysis for Procedural Languages, Journal of the ACM (JACM), v.26 n.2, p.322-344, April 1979 [doi>10.1145/322123.322135]
	43	B. K. Rosen , M. N. Wegman , F. K. Zadeck, Global value numbers and redundant computations, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.12-27, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73562]
	44	C. Ruggieri , T. P. Murtagh, Lifetime analysis of dynamically allocated objects, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.285-293, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73585]
	45	SHAPIRO, R. M, AND SAI~T, H The representation of algorithms. Tech. Rep. CA-7002-1432, Massachusetts Computer Associates, Feb. 1970.
	46	SMIT~, B. T., BO~LE, J. M., DONGARRA, J. J., GA~BOW, B. S., I~EBE, Y., KLEMA, V. C., AND MOLER, C B. Matr~x Eigensystem Routines-Eispack Guide. Springer-Verlag, New York, 1976.
	47	TARJAN, R.E. Finding dominators in directed graphs. SIAM J. Comput 3, i (1974), 62-89.
	48	WEaSREI% B Property extraction in well-founded property sets. IEEE Trans. Softw. Eng. SE-l, 3 (Sept. 1975), 270-285.
	49	Mark N. Wegman , Frank Kenneth Zadeck, Constant propagation with conditional branches, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.291-299, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318659]
	50	Mark N. Wegman , F. Kenneth Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.181-210, April 1991 [doi>10.1145/103135.103136]
	51	Michael Joseph Wolfe, Optimizing supercompilers for supercomputers, 1982
	52	YANG, W., t~IoRwITZ, S., AND REPS, T. Detecting program components with eqmvalent behaviors. Tech Rep. 840~ Dept. of Computer Science, Univ. of Wisconsin at Madison, Madison, Apr. 1989

CITED BY 327

	Jaejin Lee , Samuel P. Midkiff , David A. Padua, A Constant Propagation Algorithm for Explicitly Parallel Programs, International Journal of Parallel Programming, v.26 n.5, p.563-589, October 1998
	Lori Carter , Beth Simon , Brad Calder , Larry Carter , Jeanne Ferrante, Path Analysis and Renaming for Predicated Instruction Scheduling, International Journal of Parallel Programming, v.28 n.6, p.563-588, December 2000
	Lynn Choi , Pen-Chung Yew, A compiler-directed cache coherence scheme with improved intertask locality, Proceedings of the 1994 conference on Supercomputing, p.773-782, December 1994, Washington, D.C., United States
	Michael Hind , Michael Burke , Paul Carini , Jong-Deok Choi, Interprocedural pointer alias analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.4, p.848-894, July 1999
	Xingbin Zhang , Andrew A. Chien, Dynamic pointer alignment: tiling and communication optimizations for parallel pointer-based computations, ACM SIGPLAN Notices, v.32 n.7, p.37-47, July 1997
	Preston Briggs , Keith D. Cooper , Linda Torczon, Rematerialization, ACM SIGPLAN Notices, v.27 n.7, p.311-321, July 1992
	Daniel Jackson , Mandana Vaziri, Finding bugs with a constraint solver, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.14-25, Sept. 2000
	Carl McConnell , Ralph E. Johnson, Using static single assignment form in a code optimizer, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.152-160, June 1992
	Adam L. Buchsbaum , Haim Kaplan , Anne Rogers , Jeffery R. Westbrook, Linear-time pointer-machine algorithms for least common ancestors, MST verification, and dominators, Proceedings of the thirtieth annual ACM symposium on Theory of computing, p.279-288, May 24-26, 1998, Dallas, Texas, United States
	Gianfranco Bilardi , Keshav Pingali, A framework for generalized control dependence, ACM SIGPLAN Notices, v.31 n.5, p.291-300, May 1996
	Jianwen Zhu , Daniel D. Gajski, Soft scheduling in high level synthesis, Proceedings of the 36th ACM/IEEE conference on Design automation, p.219-224, June 21-25, 1999, New Orleans, Louisiana, United States
	Preston Briggs , Linda Torczon, An efficient representation for sparse sets, ACM Letters on Programming Languages and Systems (LOPLAS), v.2 n.1-4, p.59-69, March–Dec. 1993
	Gerald Roth , John Mellor-Crummey , Ken Kennedy , R. Gregg Brickner, Compiling stencils in high performance Fortran, Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), p.1-20, November 15-21, 1997, San Jose, CA
	Preston Briggs , Keith D. Cooper, Effective partial redundancy elimination, ACM SIGPLAN Notices, v.29 n.6, p.159-170, June 1994
	Siddhartha Chatterjee , John R. Gilbert , Robert Schreiber , Shang-Hua Teng, Optimal evaluation of array expressions on massively parallel machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.1, p.123-156, Jan. 1995
	Keith D. Cooper , Philip J. Schielke , Devika Subramanian, Optimizing for reduced code space using genetic algorithms, ACM SIGPLAN Notices, v.34 n.7, p.1-9, July 1999
	Anasua Bhowmik , Manoj Franklin, A general compiler framework for speculative multithreading, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
	Jong-Deok Choi , Michael Burke , Paul Carini, Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, March 1993, Charleston, South Carolina, United States
	Vadim Maslov, Enhancing array dataflow dependence analysis with on-demand global value propagation, Proceedings of the 9th international conference on Supercomputing, p.265-269, July 03-07, 1995, Barcelona, Spain
	Matthew Arnold , Stephen Fink , David Grove , Michael Hind , Peter F. Sweeney, Adaptive optimization in the Jalapeño JVM, ACM SIGPLAN Notices, v.35 n.10, p.47-65, Oct. 2000
	Dhananjay M. Dhamdhere , Barry K. Rosen , F. Kenneth Zadeck, How to analyze large programs efficiently and informatively, ACM SIGPLAN Notices, v.27 n.7, p.212-223, July 1992
	Dirk Grunwald , Harini Srinivasan, Data flow equations for explicitly parallel programs, ACM SIGPLAN Notices, v.28 n.7, p.159-168, July 1993
	Lal George , Andrew W. Appel, Iterated register coalescing, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.208-218, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Jong-Deok Choi , Ron Cytron , Jeanne Ferrante, Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.55-66, January 21-23, 1991, Orlando, Florida, United States
	Mohammad R. Haghighat , Constantine D. Polychronopoulos, Symbolic analysis for parallelizing compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.4, p.477-518, July 1996
	Daniel Luna , Mikael Pettersson , Konstantinos Sagonas, Efficiently compiling a functional language on AMD64: the HiPE experience, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.176-186, July 11-13, 2005, Lisbon, Portugal
	Lal George , Andrew W. Appel, Iterated register coalescing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.300-324, May 1996
	J. Zhu, Static memory allocation by pointer analysis and coloring, Proceedings of the conference on Design, automation and test in Europe, p.785-790, March 2001, Munich, Germany
	Priyadarshan Kolte , Michael Wolfe, Elimination of redundant array subscript range checks, ACM SIGPLAN Notices, v.30 n.6, p.270-278, June 1995
	Luiz De Rose , David Padua, Techniques for the translation of MATLAB programs into Fortran 90, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.286-323, March 1999
	Vugranam C. Sreedhar , Guang R. Gao , Yong-Fong Lee, A new framework for elimination-based data flow analysis using DJ graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.2, p.388-435, March 1998
	Han-Saem Yun , Jihong Kim , Soo-Mook Moon, Optimal software pipelining of loops with control flows, Proceedings of the 16th international conference on Supercomputing, June 22-26, 2002, New York, New York, USA
	Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa, Load-reuse analysis: design and evaluation, ACM SIGPLAN Notices, v.34 n.5, p.64-76, May 1999
	Keith D. Cooper , L. Taylor Simpson , Christopher A. Vick, Operator strength reduction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.5, p.603-625, September 2001
	Kazuaki Ishizaki , Mikio Takeuchi , Kiyokuni Kawachiya , Toshio Suganuma , Osamu Gohda , Tatsushi Inagaki , Akira Koseki , Kazunori Ogata , Motohiro Kawahito , Toshiaki Yasue , Takeshi Ogasawara , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Effectiveness of cross-platform optimizations for a java just-in-time compiler, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Kazuaki Ishizaki , Mikio Takeuchi , Kiyokuni Kawachiya , Toshio Suganuma , Osamu Gohda , Tatsushi Inagaki , Akira Koseki , Kazunori Ogata , Motohiro Kawahito , Toshiaki Yasue , Takeshi Ogasawara , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Effectiveness of cross-platform optimizations for a java just-in-time compiler, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Todd B. Knoblock , Erik Ruf, Data specialization, ACM SIGPLAN Notices, v.31 n.5, p.215-225, May 1996
	Nicky Williams Preston, New type signatures for legacy Fortran subroutines, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.76-85, Sept. 1999
	Markus Mock , Darren C. Atkinson , Craig Chambers , Susan J. Eggers, Program Slicing with Dynamic Points-To Sets, IEEE Transactions on Software Engineering, v.31 n.8, p.657-678, August 2005
	Jason R. C. Patterson, Accurate static branch prediction by value range propagation, ACM SIGPLAN Notices, v.30 n.6, p.67-78, June 1995
	Soo-Mook Moon , Kemal Ebcioğlu, Parallelizing nonnumerical code with selective scheduling and software pipelining, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.6, p.853-898, Nov. 1997
	Paul R. Carini , Michael Hind, Flow-sensitive interprocedural constant propagation, ACM SIGPLAN Notices, v.30 n.6, p.23-31, June 1995
	Darren C. Atkinson , William G. Griswold, The design of whole-program analysis tools, Proceedings of the 18th international conference on Software engineering, p.16-27, March 25-29, 1996, Berlin, Germany
	Michael Wolfe, Beyond induction variables, ACM SIGPLAN Notices, v.27 n.7, p.162-174, July 1992
	R. E. Kurt Stirewalt , Laura K. Dillon, A component-based approach to building formal analysis tools, Proceedings of the 23rd International Conference on Software Engineering, p.167-176, May 12-19, 2001, Toronto, Ontario, Canada
	Mary Jean Harrold , Gregg Rothermel , Saurabh Sinha, Computation of interprocedural control dependence, ACM SIGSOFT Software Engineering Notes, v.23 n.2, p.11-20, March 1998
	Arthur Stoutchinin , Francois de Ferriere, Efficient static single assignment form for predication, Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture, December 01-05, 2001, Austin, Texas
	Susan L. Graham , Steven Lucco , Oliver Sharp, Orchestrating interactions among parallel computations, ACM SIGPLAN Notices, v.28 n.6, p.100-111, June 1993
	Marc M. Brandis , Hanspeter Mössenböck, Single-pass generation of static single-assignment form for structured languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1684-1698, Nov. 1994
	Raja Das , Paul Havlak , Joel Saltz , Ken Kennedy, Index array flattening through program transformation, Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM), p.70-es, December 04-08, 1995, San Diego, California, United States
	Mary Jean Harrold , Brian Malloy , Gregg Rothermel, Efficient construction of program dependence graphs, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.160-170, July 1993
	Arnaud Gotlieb , Bernard Botella , Michel Rueher, Automatic test data generation using constraint solving techniques, ACM SIGSOFT Software Engineering Notes, v.23 n.2, p.53-62, March 1998
	Robert Wahbe , Steven Lucco , Susan L. Graham, Practical data breakpoints: design and implementation, ACM SIGPLAN Notices, v.28 n.6, p.1-12, June 1993
	William Pugh , David Wonnacott, Constraint-based array dependence analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.635-678, May 1998
	J. A. Bergstra , T. B. Dinesh , J. Field , J. Heering, Toward a complete transformational toolkit for compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.639-684, Sept. 1997
	Fred Chow , Sun Chan , Robert Kennedy , Shin-Ming Liu , Raymond Lo , Peng Tu, A new algorithm for partial redundancy elimination based on SSA form, ACM SIGPLAN Notices, v.32 n.5, p.273-286, May 1997
	Michael Weiss, The transitive closure of control dependence: the iterated join, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.178-190, June 1992
	Peng Tu , David Padua, Gated SSA-based demand-driven symbolic analysis for parallelizing compilers, Proceedings of the 9th international conference on Supercomputing, p.414-423, July 03-07, 1995, Barcelona, Spain
	Saurabh Sinha , Mary Jean Harrold , Gregg Rothermel, Interprocedural control dependence, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.2, p.209-254, April 2001
	Manish Gupta , Sam Midkiff , Edith Schonberg , Ven Seshadri , David Shields , Ko-Yang Wang , Wai-Mee Ching , Ton Ngo, An HPF compiler for the IBM SP2, Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM), p.71-es, December 04-08, 1995, San Diego, California, United States
	Priyadarshan Kolte , Mary Jean Harrold, Load/store range analysis for global register allocation, ACM SIGPLAN Notices, v.28 n.6, p.268-277, June 1993
	Ron Cytron , Reid Gershbein, Efficient accommodation of may-alias information in SSA form, ACM SIGPLAN Notices, v.28 n.6, p.36-45, June 1993
	Adam L. Buchsbaum , Haim Kaplan , Anne Rogers , Jeffery R. Westbrook, A new, simpler linear-time dominators algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.6, p.1265-1296, Nov. 1998
	Erik Ruf, Partitioning dataflow analyses using types, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.15-26, January 15-17, 1997, Paris, France
	Vugranam C. Sreedhar , Michael Burke , Jong-Deok Choi, A framework for interprocedural optimization in the presence of dynamic class loading, ACM SIGPLAN Notices, v.35 n.5, p.196-207, May 2000
	A. V. S. Sastry , Roy D. C. Ju, A new algorithm for scalar register promotion based on SSA form, ACM SIGPLAN Notices, v.33 n.5, p.15-25, May 1998
	Vugranam C. Sreedhar , Guang R. Gao , Yong-Fong Lee, Incremental computation of dominator trees, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.239-252, March 1997
	Keshav Pingali , Gianfranco Bilardi, APT: a data structure for optimal control dependence computation, ACM SIGPLAN Notices, v.30 n.6, p.32-46, June 1995
	Ben-Chung Cheng , Wen-Mei W. Hwu, Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation, ACM SIGPLAN Notices, v.35 n.5, p.57-69, May 2000
	G. Ramalingam, On loops, dominators, and dominance frontier, ACM SIGPLAN Notices, v.35 n.5, p.233-241, May 2000
	John Plevyak , Xingbin Zhang , Andrew A. Chien, Obtaining sequential efficiency for concurrent object-oriented languages, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.311-321, January 23-25, 1995, San Francisco, California, United States
	Richard Gerber , Seongsoo Hong, Slicing real-time programs for enhanced schedulability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.3, p.525-555, May 1997
	G. Ramalingam , John Field , Frank Tip, Aggregate structure identification and its application to program analysis, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-132, January 20-22, 1999, San Antonio, Texas, United States
	Karthik Gargi, A sparse algorithm for predicated global value numbering, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Thomas Kistler , Michael Franz, Continuous program optimization: A case study, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.500-548, July 2003
	Cindy Norris , Lori L. Pollock, An experimental study of several cooperative register allocation and instruction scheduling strategies, Proceedings of the 28th annual international symposium on Microarchitecture, p.169-179, November 29-December 01, 1995, Ann Arbor, Michigan, United States
	Richard Johnson , David Pearson , Keshav Pingali, The program structure tree: computing control regions in linear time, ACM SIGPLAN Notices, v.29 n.6, p.171-185, June 1994
	Harini Srinivasan , James Hook , Michael Wolfe, Static single assignment for explicitly parallel programs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.260-272, March 1993, Charleston, South Carolina, United States
	Ramakrishnan Rajamony , Alan L. Cox, Performance debugging shared memory parallel programs using run-time dependence analysis, ACM SIGMETRICS Performance Evaluation Review, v.25 n.1, p.75-87, June 1997
	Michael P. Gerlek , Eric Stoltz , Michael Wolfe, Beyond induction variables: detecting and classifying sequences using a demand-driven SSA form, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.1, p.85-122, Jan. 1995
	Dan Grove , Linda Torczon, Interprocedural constant propagation: a study of jump function implementation, ACM SIGPLAN Notices, v.28 n.6, p.90-99, June 1993
	Peng Tu , David Padua, Efficient building and placing of gating functions, ACM SIGPLAN Notices, v.30 n.6, p.47-55, June 1995
	Shih-Wei Liao , Amer Diwan , Robert P. Bosch, Jr. , Anwar Ghuloum , Monica S. Lam, SUIF Explorer: an interactive and interprocedural parallelizer, ACM SIGPLAN Notices, v.34 n.8, p.37-48, Aug. 1999
	Denis Barthou , Albert Cohen , Jean-François Collard, Maximal static expansion, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-106, January 19-21, 1998, San Diego, California, United States
	Kathleen Knobe , Vivek Sarkar, Array SSA form and its use in parallelization, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.107-120, January 19-21, 1998, San Diego, California, United States
	Robert Kennedy , Sun Chan , Shin-Ming Liu , Raymond Lo , Peng Tu , Fred Chow, Partial redundancy elimination in SSA form, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.627-676, May 1999
	Thomas Kistler , Michael Franz, Automated data-member layout of heap objects to improve memory-hierarchy performance, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.490-505, May 2000
	Gilbert Caplain, Correctness properties in a shared-memory parallel language, Journal of the ACM (JACM), v.49 n.6, p.785-827, November 2002
	Lynn Choi , Pen Chung Yew, A compiler-directed cache coherence scheme with improved intertask locality, Proceedings of the 1994 ACM/IEEE conference on Supercomputing, November 14-18, 1994, Washington, D.C.
	Dhruva R. Chakrabarti , Prithviraj Banerjee, Global optimization techniques for automatic parallelization of hybrid applications, Proceedings of the 15th international conference on Supercomputing, p.166-180, June 2001, Sorrento, Italy
	Vugranam C. Sreedhar , Guang R. Gao, A linear time algorithm for placing &phgr;-nodes, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.62-73, January 23-25, 1995, San Francisco, California, United States
	Rastislav Bodík , Rajiv Gupta , Vivek Sarkar, ABCD: eliminating array bounds checks on demand, ACM SIGPLAN Notices, v.35 n.5, p.321-333, May 2000
	Preston Briggs , Keith D. Cooper , Linda Torczon, Improvements to graph coloring register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.428-455, May 1994
	Luiz De Rose , David Padua, A MATLAB to Fortran 90 translator and its effectiveness, Proceedings of the 10th international conference on Supercomputing, p.309-316, May 25-28, 1996, Philadelphia, Pennsylvania, United States
	Jong-Deok Choi , Jeanne Ferrante, Static slicing in the presence of goto statements, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1097-1113, July 1994
	Erik Ruf, Effective synchronization removal for Java, ACM SIGPLAN Notices, v.35 n.5, p.208-218, May 2000
	John Field , G. Ramalingam, Identifying procedural structure in Cobol programs, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.1-10, Sept. 1999
	G. Ramalingam, On sparse evaluation representations, Theoretical Computer Science, v.277 n.1-2, p.119-147, April 28, 2002
	Richard Johnson , Keshav Pingali, Dependence-based program analysis, ACM SIGPLAN Notices, v.28 n.6, p.78-89, June 1993
	Wolfram Amme , Niall Dalton , Jeffery von Ronne , Michael Franz, SafeTSA: a type safe and referentially secure mobile-code representation based on static single assignment form, ACM SIGPLAN Notices, v.36 n.5, p.137-147, May 2001
	Jong-Deok Choi , David Grove , Michael Hind , Vivek Sarkar, Efficient and precise modeling of exceptions for the analysis of Java programs, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.21-31, Sept. 1999
	William Blume , Rudolf Eigenmann, The range test: a dependence test for symbolic, non-linear expressions, Proceedings of the 1994 ACM/IEEE conference on Supercomputing, November 14-18, 1994, Washington, D.C.
	Keith D. Cooper , Nathaniel McIntosh, Enhanced code compression for embedded RISC processors, ACM SIGPLAN Notices, v.34 n.5, p.139-149, May 1999
	Keshav Pingali , Gianfranco Bilardi, Optimal control dependence computation and the Roman chariots problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.3, p.462-491, May 1997
	Krishna M. Kavi , Roberto Giorgi , Joseph Arul, Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation, IEEE Transactions on Computers, v.50 n.8, p.834-846, August 2001
	Yanhong A. Liu , Scott D. Stoller, Eliminating dead code on recursive data, Science of Computer Programming, v.47 n.2-3, p.221-242, May 2003
	Peng Wu , Albert Cohen , Jay Hoeflinger , David Padua, Monotonic evolution: an alternative to induction variable substitution for dependence analysis, Proceedings of the 15th international conference on Supercomputing, p.78-91, June 2001, Sorrento, Italy
	G. Ramalingam , Thomas Reps, An incremental algorithm for maintaining the dominator tree of a reducible flowgraph, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.287-296, January 16-19, 1994, Portland, Oregon, United States
	Chandra Krintz, Improving mobile program performance through the use of a hybrid intermediate representation, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland
	J.-Y. Lee , I.-C. Park, Address code generation for DSP instruction-set architectures, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.8 n.3, p.384-395, July 2003
	Jia Zeng , Cristian Soviani , Stephen A. Edwards, Generating fast code from concurrent program dependence graphs, ACM SIGPLAN Notices, v.39 n.7, July 2004
	Christopher Lapkowski , Laurie J. Hendren, Extended SSA numbering: introducing SSA properties to languages with multi-level pointers, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.23, November 12-14, 1996, Toronto, Ontario, Canada
	Jin Lin , Tong Chen , Wei-Chung Hsu , Pen-Chung Yew , Roy Dz-Ching Ju , Tin-Fook Ngai , Sun Chan, A compiler framework for speculative analysis and optimizations, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Weihaw Chuang , Brad Calder , Jeanne Ferrante, Phi-Predication for light-weight if-conversion, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
	Manuel Arenaz , Juan Touriño , Ramón Doallo, A GSA-based compiler infrastructure to extract parallelism from complex loops, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA
	Lal George , Matthias Blume, Taming the IXP network processor, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Pramod G. Joisha , Prithviraj Banerjee, Static array storage optimization in MATLAB, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Han-Saem Yun , Jihong Kim , Soo-Mook Moon, Time optimal software pipelining of loops with control flows, International Journal of Parallel Programming, v.31 n.5, p.339-391, October 2003
	Yuan-Shin Hwang , Joel H. Saltz, Identifying parallelism in programs with cyclic graphs, Journal of Parallel and Distributed Computing, v.63 n.3, p.337-355, March 2003
	Bruno Blanchet, Escape analysis for Java^TM: Theory and practice, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.6, p.713-775, November 2003
	Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Kenneth L. McMillan, Abstractions from proofs, ACM SIGPLAN Notices, v.39 n.1, p.232-244, January 2004
	Ovidiu Gheorghioiu , Alexandru Salcianu , Martin Rinard, Interprocedural compatibility analysis for static object preallocation, ACM SIGPLAN Notices, v.38 n.1, p.273-284, January 2003
	Gert Goossens , Johan Van Praet , Dirk Lanneer , Werner Geurts , Augusli Kifli , Clifford Liem , Pierre G. Paulin, Embedded software in real-time signal processing systems: design technologies, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Jianwen Zhu, Towards scalable flow and context sensitive pointer analysis, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
	Project Summaries, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.3, p.81-84, August 1993
	Sumit Gulwani , George C. Necula, Global value numbering using random interpretation, ACM SIGPLAN Notices, v.39 n.1, p.342-352, January 2004
	Jinpyo Park , Soo-Mook Moon, Optimistic register coalescing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.4, p.735-765, July 2004
	Litong Song , Krishna Kavi, What can we gain by unfolding loops?, ACM SIGPLAN Notices, v.39 n.2, February 2004
	Anasua Bhowmik , Manoj Franklin, A General Compiler Framework for Speculative Multithreaded Processors, IEEE Transactions on Parallel and Distributed Systems, v.15 n.8, p.713-724, August 2004
	Jong-Deok Choi , R. Cytron , J. Ferrante, On the Efficient Engineering of Ambitious Program Analysis, IEEE Transactions on Software Engineering, v.20 n.2, p.105-114, February 1994
	Thomas Fahringer , Bernhard Scholz, Symbolic evaluation for parallelizing compilers, Proceedings of the 11th international conference on Supercomputing, p.261-268, July 07-11, 1997, Vienna, Austria
	Soumen Chakrabarti , Manish Gupta , Jong-Deok Choi, Global communication analysis and optimization, ACM SIGPLAN Notices, v.31 n.5, p.68-78, May 1996
	Raymond Lo , Fred Chow , Robert Kennedy , Shin-Ming Liu , Peng Tu, Register promotion by sparse partial redundancy elimination of loads and stores, ACM SIGPLAN Notices, v.33 n.5, p.26-37, May 1998
	Jaejin Lee , David A. Padua , Samuel P. Midkiff, Basic compiler algorithms for parallel programs, ACM SIGPLAN Notices, v.34 n.8, p.1-12, Aug. 1999
	Guei-Yuan Lueh , Thomas Gross , Ali-Reza Adl-Tabatabai, Fusion-based register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.431-470, May 2000
	Julian Dolby , Andrew Chien, An automatic object inlining optimization and its evaluation, ACM SIGPLAN Notices, v.35 n.5, p.345-357, May 2000
	Luke Hornof , Jacques Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, ACM SIGPLAN Notices, v.32 n.12, p.63-73, Dec. 1997
	John Field , G. Ramalingam , Frank Tip, Parametric program slicing, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.379-392, January 23-25, 1995, San Francisco, California, United States
	Tao Yang , Cong Fu, Space/time-efficient scheduling and execution of parallel irregular computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.6, p.1195-1222, Nov. 1998
	Margarida F. Jacome , Gustavo de Veciana , Satish Pillai, Clustered VLIW architecture with predicated switching, Proceedings of the 38th conference on Design automation, p.696-701, June 2001, Las Vegas, Nevada, United States
	Paul T. Graunke , Shriram Krishnamurthi, Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Torsten Robschink , Gregor Snelting, Efficient path conditions in dependence graphs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	D. Edelsohn , W. Gellerich , M. Hagog , D. Naishlos , M. Namolaru , E. Pasch , H. Penner , U. Weigand , A. Zaks, Contributions to the GNU compiler collection, IBM Systems Journal, v.44 n.2, p.259-278, January 2005
	William Blume , Rudolf Eigenmann, The range test: a dependence test for symbolic, non-linear expressions, Proceedings of the 1994 conference on Supercomputing, p.528-537, December 1994, Washington, D.C., United States
	Eric Stoltz , Michael Wolfe , Michael P. Gerlek, Constant propagation: a fresh, demand-driven look, Proceedings of the 1994 ACM symposium on Applied computing, p.400-404, March 06-08, 1994, Phoenix, Arizona, United States
	Paolo Bonzini , Laura Pozzi, Code transformation strategies for extensible embedded processors, Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, October 22-25, 2006, Seoul, Korea
	C. Norris , L. L. Pollock, A schedular-sensitive global register allocator, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.804-813, December 1993, Portland, Oregon, United States
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, Partial dead code elimination, ACM SIGPLAN Notices, v.29 n.6, p.147-158, June 1994
	Ron K. Cytron , Jeanne Ferrante, Efficiently computing Φ-nodes on-the-fly, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.3, p.487-506, May 1995
	Matthew Fluet , Stephen Weeks, Contification using dominators, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005
	Wei-Ngan Chin , Florin Craciun , Shengchao Qin , Martin Rinard, Region inference for an object-oriented language, ACM SIGPLAN Notices, v.39 n.6, May 2004
	B. Alpern , C. R. Attanasio , J. J. Barton , M. G. Burke , P. Cheng , J.-D. Choi , A. Cocchi , S. J. Fink , D. Grove , M. Hind , S. F. Hummel , D. Lieber , V. Litvinov , M. F. Mergen , T. Ngo , J. R. Russell , V. Sarkar , M. J. Serrano , J. C. Shepherd , S. E. Smith , V. C. Sreedhar , H. Srinivasan , J. Whaley, The Jalapeño virtual machine, IBM Systems Journal, v.39 n.1, p.211-238, January 2000
	J. H. Moreno , V. Zyuban , U. Shvadron , F. D. Neeser , J. H. Derby , M. S. Ware , K. Kailas , A. Zaks , A. Geva , S. Ben-David , S. W. Asaad , T. W. Fox , D. Littrell , M. Biberstein , D. Naishlos , H. Hunter, An innovative low-power high-performance programmable signal processor for digital communications, IBM Journal of Research and Development, v.47 n.2-3, p.299-326, March 2003
	Daniel Luna , Mikael Pettersson , Konstantinos Sagonas, HiPE on AMD64, Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, p.38-47, September 22-22, 2004, Snowbird, Utah, USA
	David Berner , Jean-Pierre Talpin , Paul Le Guernic , Sandeep Kumar Shukla, Modular design through component abstraction, Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, September 22-25, 2004, Washington DC, USA
	On loops, dominators, and dominance frontiers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.5, p.455-490, September 2002
	Samuel Z. Guyer , Kathryn S. McKinley, Finding your cronies: static analysis for dynamic object colocation, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Mihai Budiu , Girish Venkataramani , Tiberiu Chelcea , Seth Copen Goldstein, Spatial computation, ACM SIGARCH Computer Architecture News, v.32 n.5, December 2004
	Mangala Gowri Nanda , S. Ramesh, Pointer analysis of multithreaded Java programs, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Cindy Norris , Lori L. Pollock, Experiences with Cooperating Register Allocation and Instruction Scheduling, International Journal of Parallel Programming, v.26 n.3, p.241-283, June 1998
	Pradeep K. Dubey , Kevin O'Brien , Kathryn M. O'Brien , Charles Barton, Single-program speculative multithreading (SPSM) architecture: compiler-assisted fine-grained multithreading, Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, p.109-121, June 27-29, 1995, Limassol, Cyprus
	Tito Autrey , Michael Wolfe, Initial Results for Glacial Variable Analysis, International Journal of Parallel Programming, v.26 n.1, p.43-64, Feb., 1, 1998
	Lynn Choi , Pen-Chung Yew, Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance, IEEE Transactions on Parallel and Distributed Systems, v.11 n.9, p.879-896, September 2000
	Jin Lin , Tong Chen , Wei-Chung Hsu , Pen-Chung Yew , Roy Dz-Ching Ju , Tin-Fook Ngai , Sun Chan, A compiler framework for speculative optimizations, ACM Transactions on Architecture and Code Optimization (TACO), v.1 n.3, p.247-271, September 2004
	Richard Gerber , Seongsoo Hong, Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion, IEEE Transactions on Software Engineering, v.21 n.5, p.389-404, May 1995
	William Blume , Rudolf Eigenmann, Nonlinear and Symbolic Data Dependence Testing, IEEE Transactions on Parallel and Distributed Systems, v.9 n.12, p.1180-1194, December 1998
	Aniruddha S. Gokhale , Douglas C. Schmidt, Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks, IEEE Transactions on Computers, v.47 n.4, p.391-413, April 1998
	Xiushan Feng , Alan J. Hu, Cutpoints for formal equivalence verification of embedded software, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Thomas Fahringer , Bernhard Scholz, A Unified Symbolic Evaluation Framework for Parallelizing Compilers, IEEE Transactions on Parallel and Distributed Systems, v.11 n.11, p.1105-1125, November 2000
	Akira Koseki , Hideaki Komatsu , Toshio Nakatani, Preference-directed graph coloring, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Zoran Budimlic , Keith D. Cooper , Timothy J. Harvey , Ken Kennedy , Timothy S. Oberg , Steven W. Reeves, Fast copy coalescing and live-range identification, ACM SIGPLAN Notices, v.37 n.5, May 2002
	V. Benjamin Livshits , Monica S. Lam, Tracking pointers with path and context sensitivity for bug detection in C programs, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Lori Carter , Brad Calder, Using predicate path information in hardware to determine true dependences, Proceedings of the 16th international conference on Supercomputing, June 22-26, 2002, New York, New York, USA
	Sumit Gulwani , George C. Necula, Precise interprocedural analysis using random interpretation, ACM SIGPLAN Notices, v.40 n.1, p.324-337, January 2005
	Atsushi Ohori, Register allocation by proof transformation, Science of Computer Programming, v.50 n.1-3, p.161-187, March 2004
	Bjorn De Sutter , Bruno De Bus , Koen De Bosschere, Link-time binary rewriting techniques for program compaction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.5, p.882-945, September 2005
	Loukas Georgiadis , Robert E. Tarjan, Dominator tree verification and vertex-disjoint paths, Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, January 23-25, 2005, Vancouver, British Columbia
	L. Almagor , Keith D. Cooper , Alexander Grosul , Timothy J. Harvey , Steven W. Reeves , Devika Subramanian , Linda Torczon , Todd Waterman, Finding effective compilation sequences, ACM SIGPLAN Notices, v.39 n.7, July 2004
	Frederica Darema, New Software Technologies for the Development and Runtime Support of Complex Applications, International Journal of High Performance Computing Applications, v.13 n.3, p.180-190, August 1999
	Christian Wimmer , Hanspeter Mössenböck, Optimized interval splitting in a linear scan register allocator, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
	Sarah Thompson , Alan Mycroft, Bit-level partial evaluation of synchronous circuits, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	T. Suganuma , T. Ogasawara , K. Kawachiya , M. Takeuchi , K. Ishizaki , A. Koseki , T. Inagaki , T. Yasue , M. Kawahito , T. Onodera , H. Komatsu , T. Nakatani, Evolution of a java just-in-time compiler for IA-32 platforms, IBM Journal of Research and Development, v.48 n.5/6, p.767-795, September/November 2004
	Keith D. Cooper , Alexander Grosul , Timothy J. Harvey , Steven Reeves , Devika Subramanian , Linda Torczon , Todd Waterman, ACME: adaptive compilation made efficient, ACM SIGPLAN Notices, v.40 n.7, July 2005
	Matthew Harren , Mukund Raghavachari , Oded Shmueli , Michael G. Burke , Rajesh Bordawekar , Igor Pechtchanski , Vivek Sarkar, XJ: facilitating XML processing in Java, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan
	Paul Klint , Ralf Lämmel , Chris Verhoef, Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.3, p.331-380, July 2005
	Ciaran O'Donnell, High Level Compiling for Low Level Machines, Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, p.309-320, January 20-22, 1993
	Stephen A. Edwards , Olivier Tardieu, SHIM: a deterministic model for heterogeneous embedded systems, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Thomas Kotzmann , Hanspeter Mössenböck, Escape analysis in the context of dynamic compilation and deoptimization, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
	Dibyendu Das , U. Ramakrishna, A practical and fast iterative algorithm for φ-function computation using DJ graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.3, p.426-440, May 2005
	Stephen J. Fink , Feng Qian, Design, implementation and evaluation of adaptive recompilation with on-stack replacement, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
	Jeffery von Ronne , Ning Wang , Michael Franz, Interpreting programs in static single assignment form, Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators, June 07-07, 2004, Washington, D.C.
	Mike Barnett , K. Rustan M. Leino, Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Rami Beidas , Jianwen Zhu, Scalable interprocedural register allocation for high level synthesis, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China
	Atanas Rountev , Olga Volgin , Miriam Reddoch, Static control-flow analysis for reverse engineering of UML sequence diagrams, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Joäo M. P. Cardoso, Dynamic loop pipelining in data-driven architectures, Proceedings of the 2nd conference on Computing frontiers, May 04-06, 2005, Ischia, Italy
	Christian Hammer , Martin Grimme , Jens Krinke, Dynamic path conditions in dependence graphs, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Gianfranco Bilardi , Keshav Pingali, Algorithms for computing the static single assignment form, Journal of the ACM (JACM), v.50 n.3, p.375-425, May 2003
	L. Wang , Ted C. Yang, On the Boosting of Instruction Scheduling by Renaming, The Journal of Supercomputing, v.19 n.2, p.173-197, June 2001
	Akira Mori , Tomonori Izumida , Toshimi Sawada , Tadashi Inoue, A tool for analyzing and detecting malicious mobile code, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Saurabh Sinha , Mary Jean Harrold, Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, v.26 n.9, p.849-871, September 2000
	Dhruva R. Chakrabarti , Prithviraj Banerjee, Static Single Assignment Form for Message-Passing Programs, International Journal of Parallel Programming, v.29 n.2, p.139-184, April 2001
	Vugranam C. Sreedhar , Guang R. Gao , Yong-Fong Lee, A new framework for exhaustive and incremental data flow analysis using DJ graphs, ACM SIGPLAN Notices, v.31 n.5, p.278-290, May 1996
	Raghavendra Rao Loka, Compilation reuse and hybrid compilation: an experiment, ACM SIGPLAN Notices, v.41 n.4, April 2006
	Jin Lin , Wei-Chung Hsu , Pen-Chung Yew , Roy Dz-Ching Ju , Tin-Fook Ngai, Recovery code generation for general speculative optimizations, ACM Transactions on Architecture and Code Optimization (TACO), v.3 n.1, p.67-89, March 2006
	Rong Chen , Daniel Koeb , Franz Wotawa, Diagnosing Java programs with static abstractions of data structures, Intelligent information processing II, Springer-Verlag, London, 2004
	Takuya Nakaike , Tatsushi Inagaki , Hideaki Komatsu , Toshio Nakatani, Profile-based global live-range splitting, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Keith D. Cooper , Alexander Grosul , Timothy J. Harvey , Steve Reeves , Devika Subramanian , Linda Torczon , Todd Waterman, Exploring the structure of the space of compilation sequences using randomized search algorithms, The Journal of Supercomputing, v.36 n.2, p.135-151, May 2006
	Sumant Kowshik , Dinakar Dhurjati , Vikram Adve, Ensuring code safety without runtime checks for real-time control systems, Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, October 08-11, 2002, Grenoble, France
	Vinod Ganapathy , Somesh Jha , David Chandler , David Melski , David Vitek, Buffer overrun detection using linear programming and static analysis, Proceedings of the 10th ACM conference on Computer and communications security, October 27-30, 2003, Washington D.C., USA
	Calle Lejdfors , Lennart Ohlsson, Implementing an embedded GPU language by combining translation and generation, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Patricia Pineo , Mary Lou Soffa, Practical approach to single assignment code, Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, p.149-158, June 27-29, 1995, Limassol, Cyprus
	Jin Lin , Wei-Chung Hsu , Pen-Chung Yew , Roy Dz-Ching Ju , Tin-Fook Ngai, A Compiler Framework for Recovery Code Generation in General Speculative Optimizations, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, p.17-28, September 29-October 03, 2004
	John Mellor-Crummey , Vikram Adve, Simplifying Control Flow in Compiler-Generated Parallel Code, International Journal of Parallel Programming, v.26 n.5, p.613-638, October 1998
	F. Rastello , F. de Ferrière , C. Guillon, Optimizing Translation Out of SSA Using Renaming Constraints, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, p.265, March 20-24, 2004, Palo Alto, California
	Chris Lattner , Vikram Adve, LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, p.75, March 20-24, 2004, Palo Alto, California
	Alceste Scalas , Giovanni Casu , Piero Pili, High-performance technical computing with erlang, Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, September 27-27, 2008, Victoria, BC, Canada
	Jingling Xue , Qiong Cai, A lifetime optimal algorithm for speculative PRE, ACM Transactions on Architecture and Code Optimization (TACO), v.3 n.2, p.115-155, June 2006
	Rebecca Hasti , Susan Horwitz, Using static single assignment form to improve flow-insensitive pointer analysis, ACM SIGPLAN Notices, v.33 n.5, p.97-105, May 1998
	Erik Ruf, Context-insensitive alias analysis reconsidered, ACM SIGPLAN Notices, v.30 n.6, p.13-22, June 1995
	Mahim Mishra , Timothy J. Callahan , Tiberiu Chelcea , Girish Venkataramani , Seth C. Goldstein , Mihai Budiu, Tartan: evaluating spatial computation for whole program execution, ACM SIGOPS Operating Systems Review, v.40 n.5, December 2006
	Gregor Snelting , Torsten Robschink , Jens Krinke, Efficient path conditions in dependence graphs for software safety analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.4, p.410-457, October 2006
	Armin Rigo , Samuele Pedroni, PyPy's approach to virtual machine construction, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Westley Weimer, Patches as better bug reports, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
	Sumit Gulwani , George C. Necula, A polynomial-time algorithm for global value numbering, Science of Computer Programming, v.64 n.1, p.97-114, January, 2007
	Wei-Ngan Chin , Florin Craciun , Siau-Cheng Khoo , Corneliu Popeea, A flow-based approach for variant parametric types, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Nathan Cooprider , John Regehr, Pluggable abstract domains for analyzing embedded software, ACM SIGPLAN Notices, v.41 n.7, July 2006
	Troy A. Johnson , Rudolf Eigenmann, Context-sensitive domain-independent algorithm composition and selection, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Paolina Centonze , Gleb Naumovich , Stephen J. Fink , Marco Pistoia, Role-Based access control consistency validation, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Samuel Z. Guyer , Kathryn S. McKinley , Daniel Frampton, Free-Me: a static analysis for automatic individual object reclamation, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Yutaka Matsuno , Atsushi Ohori, A type system equivalent to static single assignment, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Daniel J. Rosenkrantz , Lenore R. Mullin , Harry B. Hunt III, On minimizing materializations of array-valued temporaries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.6, p.1145-1177, November 2006
	Eduardo Quiñones , Joan-Manuel Parcerisa , Antonio Gonzalez, Selective predicate prediction for out-of-order processors, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
	Philip Brisk , Majid Sarrafzadeh, Interference graphs for procedures in static single information form are interval graphs, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, April 20-20, 2007, Nice, France
	Johann Blieberger, Average case analysis of DJ graphs, Journal of Discrete Algorithms, v.4 n.4, p.649-675, December, 2006
	Dahlia Malkhi , Noam Nisan , Benny Pinkas , Yaron Sella, Fairplay—a secure two-party computation system, Proceedings of the 13th conference on USENIX Security Symposium, p.20-20, August 09-13, 2004, San Diego, CA
	Darren C. Atkinson , Daniel C. Weeks , John Noll, Tool support for iterative software process modeling, Information and Software Technology, v.49 n.5, p.493-514, May, 2007
	Yuan Zhang , Evelyn Duesterwald, Barrier matching for programs with textually unaligned barriers, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
	Adam Sah , Jon Blow, A new architecture for the implementation of scripting languages, Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings, p.3-3, October 26-28, 1994, Santa Fe, New Mexico
	Peter Vanbroekhoven , Gerda Janssens , Maurice Bruynooghe , Francky Catthoor, A practical dynamic single assignment transformation, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.4, p.40-es, September 2007
	Domagoj Babic , Alan J. Hu, Calysto: scalable and precise extended static checking, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Philip Brisk , Ajay Kumar Verma , Paolo Ienne, An optimistic and conservative register assignment heuristic for chordal graphs, Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems, September 30-October 03, 2007, Salzburg, Austria
	Wolfram Amme , Marc-André Möller , Philipp Adler, Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.3, p.97-108, July, 2007
	Arnaud Gotlieb , Tristan Denmat , Bernard Botella, Goal-oriented test data generation for pointer programs, Information and Software Technology, v.49 n.9-10, p.1030-1044, September, 2007
	Steven Swanson , Andrew Schwerin , Martha Mercaldi , Andrew Petersen , Andrew Putnam , Ken Michelson , Mark Oskin , Susan J. Eggers, The WaveScalar architecture, ACM Transactions on Computer Systems (TOCS), v.25 n.2, p.4-es, May 2007
	Andrew Petersen , Andrew Putnam , Martha Mercaldi , Andrew Schwerin , Susan Eggers , Steve Swanson , Mark Oskin, Reducing control overhead in dataflow architectures, Proceedings of the 15th international conference on Parallel architectures and compilation techniques, September 16-20, 2006, Seattle, Washington, USA
	Pramod G. Joisha , Prithviraj Banerjee, An algebraic array shape inference system for MATLAB®, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.5, p.848-907, September 2006
	Gary Wassermann , Zhendong Su, Static detection of cross-site scripting vulnerabilities, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Dietmar Ebner , Florian Brandner , Bernhard Scholz , Andreas Krall , Peter Wiedermann , Albrecht Kadlec, Generalized instruction selection using SSA-graphs, ACM SIGPLAN Notices, v.43 n.7, July 2008
	Wolfram Amme , Jeffery von Ronne , Michael Franz, SSA-based mobile code: Implementation and empirical evaluation, ACM Transactions on Architecture and Code Optimization (TACO), v.4 n.2, p.13-es, June 2007
	Martin Ward , Hussein Zedan, Slicing as a program transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.7-es, April 2007
	Stefan Schäfer , Bernhard Scholz, Optimal chain rule placement for instruction selection based on SSA graphs, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, April 20-20, 2007, Nice, France
	François de Ferrière, Improvements to the Psi-SSA representation, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, April 20-20, 2007, Nice, France
	Yuan-Shin Hwang_cor , Joel Saltz, Interprocedural definition-use chains of dynamic pointer-linked data structures, Scientific Programming, v.11 n.1, p.3-37, January 2003
	David J. Pearce , Paul H. J. Kelly , Chris Hankin, Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis, Software Quality Control, v.12 n.4, p.311-337, December 2004
	Yunhe Shi , Kevin Casey , M. Anton Ertl , David Gregg, Virtual machine showdown: Stack versus registers, ACM Transactions on Architecture and Code Optimization (TACO), v.4 n.4, p.1-36, January 2008
	David Binkley, Source Code Analysis: A Road Map, 2007 Future of Software Engineering, p.104-119, May 23-25, 2007
	Bjorn De Sutter , Ludo Van Put , Koen De Bosschere, A practical interprocedural dominance algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.19-es, August 2007
	Sandhya Seshadri , Michael S. Hsiao, Formal Value-Range and Variable Testability Techniquesfor High-Level Design-For-Testability, Journal of Electronic Testing: Theory and Applications, v.16 n.1-2, p.131-145, Feb/April 2000
	Denis Barthou , Albert Cohen , Jean-François Collard, Maximal Static Expansion, International Journal of Parallel Programming, v.28 n.3, p.213-243, June 2000
	Hyesoon Kim , Jose A. Joao , Onur Mutlu , Yale N. Patt, Diverge-Merge Processor (DMP): Dynamic Predicated Execution of Complex Control-Flow Graphs Based on Frequently Executed Paths, Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture, p.53-64, December 09-13, 2006
	Aaron Smith , Ramadass Nagarajan , Karthikeyan Sankaralingam , Robert McDonald , Doug Burger , Stephen W. Keckler , Kathryn S. McKinley, Dataflow Predication, Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture, p.89-102, December 09-13, 2006
	Pramod G. Joisha , Prithviraj Banerjee, A translator system for the MATLAB language: Research Articles, Software—Practice & Experience, v.37 n.5, p.535-578, April 2007
	Yonghua Ding , Zhiyuan Li, A Compiler Analysis of Interprocedural Data Communication, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.11, November 15-21, 2003
	Xiaoru Dai , Antonia Zhai , Wei-Chung Hsu , Pen-Chung Yew, A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion, Proceedings of the international symposium on Code generation and optimization, p.280-290, March 20-23, 2005
	Chen Ding , Maksim Orlovich, The Potential of Computation Regrouping for Improving Locality, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.13, November 06-12, 2004
	Arun Chauhan , Cheryl McCosh , Ken Kennedy , Richard Hanson, Automatic Type-Driven Library Generation for Telescoping Languages, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.51, November 15-21, 2003
	Jose A. Joao , Onur Mutlu , Hyesoon Kim , Rishi Agarwal , Yale N. Patt, Improving the performance of object-oriented languages with dynamic predication of indirect jumps, ACM SIGOPS Operating Systems Review, v.42 n.2, March 2008
	Vikram Adve , Chris Lattner , Michael Brukman , Anand Shukla , Brian Gaeke, LLVA: A Low-level Virtual Instruction Set Architecture, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.205, December 03-05, 2003
	Steven Swanson , Ken Michelson , Andrew Schwerin , Mark Oskin, WaveScalar, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.291, December 03-05, 2003
	Michael Wolfe, J+=J, ACM SIGPLAN Notices, v.29 n.7, p.51-53, July 1994
	Hyesoon Kim , José A. Joao , Onur Mutlu , Yale N. Patt, Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors, Proceedings of the International Symposium on Code Generation and Optimization, p.367-378, March 11-14, 2007
	Vugranam C. Sreedhar , Guang R. Gao , Yong-fong Lee, Incremental computation of dominator trees, ACM SIGPLAN Notices, v.30 n.3, p.1-12, March 1993
	Richard A. Kelsey, A correspondence between continuation passing style and static single assignment form, ACM SIGPLAN Notices, v.30 n.3, p.13-22, March 1993
	Erik Ruf, Optimizing sparse representations for dataflow analysis, ACM SIGPLAN Notices, v.30 n.3, p.50-61, March 1993
	Bjarne Steensgaard, Sparse functional stores for imperative programs, ACM SIGPLAN Notices, v.30 n.3, p.62-70, March 1993
	Kevin O'Brien , Kathryn M. O'Brien , Martin Hopkins , Arvin Shepherd , Ron Unrau, XIL and YIL: the intermediate languages of TOBEY, ACM SIGPLAN Notices, v.30 n.3, p.71-82, March 1993
	Florent Bouchez , Alain Darte , Fabrice Rastello, On the Complexity of Register Coalescing, Proceedings of the International Symposium on Code Generation and Optimization, p.102-114, March 11-14, 2007
	Patrick McCormick , Jeff Inman , James Ahrens , Jamaludin Mohd-Yusof , Greg Roth , Sharen Cummins, Scout: a data-parallel programming language for graphics processors, Parallel Computing, v.33 n.10-11, p.648-662, November, 2007
	William D. Clinger , Anne H. Hartheimer , Eric M. Ost, Implementation Strategies for First-Class Continuations, Higher-Order and Symbolic Computation, v.12 n.1, p.7-45, April 1999
	Sandhya Seshadri , Michael S. Hsiao, Behavioral-Level DFT via Formal Operator Testability Measures, Journal of Electronic Testing: Theory and Applications, v.18 n.6, p.595-611, December 2002
	J. B. Wells , Allyn Dimock , Robert Muller , Franklyn Turbak, A calculus with polymorphic and polyvariant flow types, Journal of Functional Programming, v.12 n.3, p.183-227, May 2002
	Ben Hardekopf , Calvin Lin, Semi-sparse flow-sensitive pointer analysis, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Olivier Morandi , Fulvio Risso , Silvio Valenti , Paolo Veglia, Design and implementation of a framework for creating portable and efficient packet-processing applications, Proceedings of the 7th ACM international conference on Embedded software, October 19-24, 2008, Atlanta, GA, USA
	Fernando Magno Quintão Pereira , Jens Palsberg, Register allocation by puzzle solving, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Sebastian Hack , Gerhard Goos, Copy coalescing by graph recoloring, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Brian S. White , Sally A. McKee , Daniel Quinlan, A projection-based optimization framework for abstractions with application to the unstructured mesh domain, Proceedings of the 22nd annual international conference on Supercomputing, June 07-12, 2008, Island of Kos, Greece
	Thomas Kotzmann , Christian Wimmer , Hanspeter Mössenböck , Thomas Rodriguez , Kenneth Russell , David Cox, Design of the Java HotSpot™ client compiler for Java 6, ACM Transactions on Architecture and Code Optimization (TACO), v.5 n.1, p.1-32, May 2008
	Julian Dolby , Mandana Vaziri , Frank Tip, Finding bugs efficiently with a SAT solver, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Thomas Würthinger , Christian Wimmer , Hanspeter Mössenböck, Array bounds check elimination for the Java HotSpot™ client compiler, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Mark W. Bailey , Clark L. Coleman , Jack W. Davidson, Defense against the dark arts, ACM SIGCSE Bulletin, v.40 n.1, March 2008
	Lennart Beringer, Functional Elimination of Φ-instructions, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.3, p.3-20, July, 2007
	Quan Hoang Nguyen , Bernhard Scholz, Computing SSA Form with Matrices, Electronic Notes in Theoretical Computer Science (ENTCS), v.190 n.1, p.121-132, July, 2007
	Yi Fang , Lenore D. Zuck, Improved Invariant Generation for Tvoc, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.3, p.21-35, July, 2007
	Benoit Boissinot , Sebastian Hack , Daniel Grund , Benoît Dupont de Dine hin , Fabri e Rastello, Fast liveness checking for ssa-form programs, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
	Stephen A. Edwards , Jia Zeng, Static elaboration of recursion for concurrent software, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Anirban Majumdar , Stephen J. Drape , Clark D. Thomborson, Slicing obfuscations: design, correctness, and evaluation, Proceedings of the 2007 ACM workshop on Digital Rights Management, October 29-29, 2007, Alexandria, Virginia, USA
	Han B. Lee , Amer Diwan , J. Eliot B. Moss, Design, implementation, and evaluation of a compilation server, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.18-es, August 2007
	Steve Ward , Mat Hostetter, Curl: a language for web content, International Journal of Web Engineering and Technology, v.1 n.1, p.41-62, August 2003
	Jacques Carette , Ryszard Janicki, Computing Properties of Numerical Imperative Programs by Symbolic Computation, Fundamenta Informaticae, v.80 n.1-3, p.125-146, January 2007
	Michael Hind , Michael Burke , Paul Carini , Sam Midkiff, An empirical study of precise interprocedural array analysis, Scientific Programming, v.3 n.3, p.255-271, Fall 1994
	Hongbo Rong , Alban Douillet , Guang R. Gao, Register allocation for software pipelined multidimensional loops, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-68, July 2008
	Masataka Sassa , Yo Ito , Masaki Kohama, Comparison and evaluation of back-translation algorithms for static single assignment forms, Computer Languages, Systems and Structures, v.35 n.2, p.173-195, July, 2009
	Christian Häubl , Christian Wimmer , Hanspeter Mössenböck, Optimized strings for the Java HotSpot™ virtual machine, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Florent Bouchez , Alain Darte , Fabrice Rastello, Advanced conservative and optimistic register coalescing, Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, October 19-24, 2008, Atlanta, GA, USA
	Manuel Arenaz , Juan Touriño , Ramon Doallo, XARK: An extensible framework for automatic recognition of computational kernels, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.6, p.1-56, October 2008
	Dave King , Trent Jaeger , Somesh Jha , Sanjit A. Seshia, Effective blame for information-flow violations, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Qiming Hou , Kun Zhou , Baining Guo, BSGP: bulk-synchronous GPU programming, ACM Transactions on Graphics (TOG), v.27 n.3, August 2008
	Farhana Aleen , Nathan Clark, Commutativity analysis for software parallelization: letting program transformations see the big picture, ACM SIGPLAN Notices, v.44 n.3, March 2009
	Akihiko Tozawa , Michiaki Tatsubori , Tamiya Onodera , Yasuhiko Minamide, Copy-on-write in the PHP language, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Jason Cong , Karthik Gururaj , Guoling Han , Adam Kaplan , Mishali Naik , Glenn Reinman, MC-Sim: an efficient simulation tool for MPSoC designs, Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design, November 10-13, 2008, San Jose, California
	Simha Sethumadhavan , Nipun Arora , Ravindra Babu Ganapathi , John Demme , Gail E. Kaiser, COMPASS: A Community-driven Parallelization Advisor for Sequential Software, Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, p.41-48, May 18-18, 2009
	Andreas Lochbihler , Gregor Snelting, On temporal path conditions in dependence graphs, Automated Software Engineering, v.16 n.2, p.263-290, June 2009
	Mason Chang , Edwin Smith , Rick Reitmaier , Michael Bebenita , Andreas Gal , Christian Wimmer , Brendan Eich , Michael Franz, Tracing for web 3.0: trace compilation for the next generation web applications, Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 11-13, 2009, Washington, DC, USA
	Thomas Würthinger , Christian Wimmer , Hanspeter Mössenböck, Array bounds check elimination in the context of deoptimization, Science of Computer Programming, v.74 n.5-6, p.279-295, March, 2009
	Anna Zaks , Amir Pnueli, Program analysis for compiler validation, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, November 09-10, 2008, Atlanta, Georgia
	Omer Tripp , Marco Pistoia , Stephen J. Fink , Manu Sridharan , Omri Weisman, TAJ: effective taint analysis of web applications, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Nomair A. Naeem , Ondrej Lhoták, Efficient alias set analysis using SSA form, Proceedings of the 2009 international symposium on Memory management, June 19-20, 2009, Dublin, Ireland
	Matthew A. Hammer , Umut A. Acar , Yan Chen, CEAL: a C-based language for self-adjusting computation, ACM SIGPLAN Notices, v.44 n.6, June 2009
	R. Daniel Resler , Victor Winter, A higher-order strategy for eliminating common subexpressions, Computer Languages, Systems and Structures, v.35 n.4, p.341-364, December, 2009
	Jonas Lundberg , Tobias Gutzmann , Marcus Edvinsson , Welf Löwe, Fast and precise points-to analysis, Information and Software Technology, v.51 n.10, p.1428-1439, October, 2009
	Xiaoyin Wang , Lu Zhang , Tao Xie , Hong Mei , Jiasu Sun, Locating need-to-translate constant strings for software internationalization, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.353-363, May 16-24, 2009
	Jing Yu , Maria Jesus Garzaran , Marc Snir, ESoftCheck: Removal of Non-vital Checks for Fault Tolerance, Proceedings of the 2009 International Symposium on Code Generation and Optimization, p.35-46, March 22-25, 2009
	Benoit Boissinot , Alain Darte , Fabrice Rastello , Benoit Dupont de Dinechin , Christophe Guillon, Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency, Proceedings of the 2009 International Symposium on Code Generation and Optimization, p.114-125, March 22-25, 2009
	Carl Friedrich Bolz , Antonio Cuni , Maciej Fijalkowski , Armin Rigo, Tracing the meta-level: PyPy's tracing JIT compiler, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, p.18-25, July 06-06, 2009, Genova, Italy
	Bastian Ristau , Torsten Limberg , Gerhard Fettweis, A Mapping Framework Based on Packing for Design Space Exploration of Heterogeneous MPSoCs, Journal of Signal Processing Systems, v.57 n.1, p.45-56, October 2009
	Jon Hasselgren , Thomas Akenine-Möller, PCU: the programmable culling unit, ACM Transactions on Graphics (TOG), v.26 n.3, July 2007

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.4 Processors
Subjects: Compilers

General Terms:
Algorithms, Languages

Keywords:
control dependence, control flow graph, def-use chain, dominator, optimizing compilers

REVIEW

"Benjamin Rayborn Seyfarth : Reviewer"

The authors present strong arguments for the practicality and utility of the static single assignment (SSA) form and the control dependence graph (CDG) in optimizing compilers. They use the concept of a dominator tree to formalize the concept more...

Collaborative Colleagues:

Ron Cytron: colleagues

Jeanne Ferrante: colleagues

Barry K. Rosen: colleagues

Mark N. Wegman: colleagues

F. Kenneth Zadeck: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player