Skip header Section
Skip Bibliometrics Section
The Design of an Optimizing CompilerJanuary 1975
Abstract
No abstract available.
Cited By
Ashouri A, Killian W, Cavazos J, Palermo G and Silvano C (2018). A Survey on Compiler Autotuning using Machine Learning, ACM Computing Surveys, 51:5, (1-42), Online publication date: 30-Sep-2019.- Kranz D, Kelsey R, Rees J, Hudak P, Philbin J and Adams N (2004). Orbit, ACM SIGPLAN Notices, 39:4, (175-191), Online publication date: 1-Apr-2004.
- Davidson J and Fraser C (2004). Automatic generation of peephole optimizations, ACM SIGPLAN Notices, 39:4, (104-111), Online publication date: 1-Apr-2004.
- Allen F and Fabri J (2004). Automatic storage optimization, ACM SIGPLAN Notices, 39:4, (28-37), Online publication date: 1-Apr-2004.
- Cattell R, Newcomer J and Leverett B (2004). Code generation in a machine-independent compiler, ACM SIGPLAN Notices, 39:4, (1-13), Online publication date: 1-Apr-2004.
- Chen W, Li B and Gupta R Code compaction of matching single-entry multiple-exit regions Proceedings of the 10th international conference on Static analysis, (401-417)
- Govindarajan R, Yang H, Amaral J, Zhang C and Gao G (2003). Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures, IEEE Transactions on Computers, 52:1, (4-20), Online publication date: 1-Jan-2003.
- Cooper K, Subramanian D and Torczon L (2002). Adaptive Optimizing Compilers for the 21st Century, The Journal of Supercomputing, 23:1, (7-22), Online publication date: 1-Aug-2002.
- Hart B, Danforth S and Valduriez P Parallelizing a database programming language Proceedings of the first international symposium on Databases in parallel and distributed systems, (72-79)
- Cooper K and McIntosh N Enhanced code compression for embedded RISC processors Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (139-149)
- Cooper K and McIntosh N (1999). Enhanced code compression for embedded RISC processors, ACM SIGPLAN Notices, 34:5, (139-149), Online publication date: 1-May-1999.
- Traub O, Holloway G and Smith M (1998). Quality and speed in linear-scan register allocation, ACM SIGPLAN Notices, 33:5, (142-151), Online publication date: 1-May-1998.
- Traub O, Holloway G and Smith M Quality and speed in linear-scan register allocation Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (142-151)
- Ditzel D and Patterson D Retrospective on high-level language computer architecture 25 years of the international symposia on Computer architecture (selected papers), (166-173)
- Steele G and Gabriel R The evolution of Lisp History of programming languages---II, (233-330)
- Lewis B, Deutsch L and Goldstein T (1995). Clarity MCode, ACM SIGPLAN Notices, 30:3, (119-128), Online publication date: 1-Mar-1995.
- Lewis B, Deutsch L and Goldstein T Clarity MCode Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, (119-128)
- Boyd M and Whalley D (1993). Isolation and analysis of optimization errors, ACM SIGPLAN Notices, 28:6, (26-35), Online publication date: 1-Jun-1993.
- Boyd M and Whalley D Isolation and analysis of optimization errors Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (26-35)
- Benitez M and Davidson J (1991). Code generation for streaming: an access/execute mechanism, ACM SIGOPS Operating Systems Review, 25:Special Issue, (132-141), Online publication date: 2-Apr-1991.
- Benitez M and Davidson J (1991). Code generation for streaming: an access/execute mechanism, ACM SIGARCH Computer Architecture News, 19:2, (132-141), Online publication date: 2-Apr-1991.
- Benitez M and Davidson J (1991). Code generation for streaming: an access/execute mechanism, ACM SIGPLAN Notices, 26:4, (132-141), Online publication date: 2-Apr-1991.
- Benitez M and Davidson J Code generation for streaming: an access/execute mechanism Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, (132-141)
- Teodosiu D (1991). HARE, ACM SIGPLAN Notices, 26:1, (109-120), Online publication date: 1-Jan-1991.
- Glew A (1990). An empirical investigation of OR indexing, ACM SIGMETRICS Performance Evaluation Review, 17:2, (41-49), Online publication date: 1-Jan-1990.
- Horwat W, Chien A and Dally W Experience with CST: programming and implementation Proceedings of the ACM SIGPLAN 1989 conference on Programming language design and implementation, (101-109)
- Horwat W, Chien A and Dally W (1989). Experience with CST: programming and implementation, ACM SIGPLAN Notices, 24:7, (101-109), Online publication date: 1-Jul-1989.
- Terrano A, Dunn S and Peters J Using an architectural knowledge base to generate code for parallel computers Proceedings of the 17th conference on ACM Annual Computer Science Conference, (239-244)
- Terrano A, Dunn S and Peters J (1989). Using an architectural knowledge base to generate code for parallel computers, Communications of the ACM, 32:9, (1065-1072), Online publication date: 1-Sep-1989.
- Benitez M and Davidson J (1988). A portable global optimizer and linker, ACM SIGPLAN Notices, 23:7, (329-338), Online publication date: 1-Jul-1988.
- Benitez M and Davidson J A portable global optimizer and linker Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation, (329-338)
- Stevenson D A canonical form for parallel programs Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (536-538)
- Pleszkun A, Goodman J, Hsu W, Joersz R, Bier G, Woest P and Schechter P WISQ: a restartable architecture using queues Proceedings of the 14th annual international symposium on Computer architecture, (290-299)
- Davidson J (1986). A retargetable instruction reorganizer, ACM SIGPLAN Notices, 21:7, (234-241), Online publication date: 1-Jul-1986.
- Kessler R, Peterson J, Carr H, Duggan G and Knell J EPIC - a retargetable, highly optimizing Lisp compiler Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (118-130)
- Davidson J A retargetable instruction reorganizer Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (234-241)
- Kessler R, Peterson J, Carr H, Duggan G and Knell J (1986). EPIC - a retargetable, highly optimizing Lisp compiler, ACM SIGPLAN Notices, 21:7, (118-130), Online publication date: 1-Jul-1986.
- Kessler P (1986). Discovering machine-specific code improvements, ACM SIGPLAN Notices, 21:7, (249-254), Online publication date: 1-Jul-1986.
- Adams N, Kranz D, Kelsey R, Rees J, Hudak P and Philbin J (1986). ORBIT: an optimizing compiler for scheme, ACM SIGPLAN Notices, 21:7, (219-233), Online publication date: 1-Jul-1986.
- Kessler P Discovering machine-specific code improvements Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (249-254)
- Adams N, Kranz D, Kelsey R, Rees J, Hudak P and Philbin J ORBIT: an optimizing compiler for scheme Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (219-233)
- Taffs D, Taffs M, Rienzo J and Hampson T The ALS Ada compiler global optimizer Proceedings of the 1985 annual ACM SIGAda international conference on Ada, (355-366)
- Taffs D, Taffs M, Rienzo J and Hampson T (1985). The ALS Ada compiler global optimizer, ACM SIGAda Ada Letters, V:2, (355-366), Online publication date: 1-Sep-1985.
- Appel A Semantics-directed code generation Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (315-324)
- Bray G (1984). Sharing code among instances of Ada generics, ACM SIGPLAN Notices, 19:6, (276-284), Online publication date: 1-Jun-1984.
- Bray G Sharing code among instances of Ada generics Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (276-284)
- Ottenstein K (1984). Intermediate program representations in compiler construction, ACM SIGPLAN Notices, 19:7, (25-27), Online publication date: 1-Jul-1984.
- Powell M (1984). A portable optimizing compiler for Modula-2, ACM SIGPLAN Notices, 19:6, (310-319), Online publication date: 1-Jun-1984.
- Baiardi F, Ricci L and Vanneschi M (1984). Static checking of interprocess communication in ECSP, ACM SIGPLAN Notices, 19:6, (290-299), Online publication date: 1-Jun-1984.
- Fraser C, Myers E and Wendt A (1984). Analyzing and compressing assembly code, ACM SIGPLAN Notices, 19:6, (117-121), Online publication date: 1-Jun-1984.
- Davidson J and Fraser C (1984). Automatic generation of peephole optimizations, ACM SIGPLAN Notices, 19:6, (111-116), Online publication date: 1-Jun-1984.
- Karr M (1984). Code generation by coagulation, ACM SIGPLAN Notices, 19:6, (1-12), Online publication date: 1-Jun-1984.
- Powell M A portable optimizing compiler for Modula-2 Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (310-319)
- Baiardi F, Ricci L and Vanneschi M Static checking of interprocess communication in ECSP Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (290-299)
- Fraser C, Myers E and Wendt A Analyzing and compressing assembly code Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (117-121)
- Davidson J and Fraser C Automatic generation of peephole optimizations Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (111-116)
- Karr M Code generation by coagulation Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (1-12)
- Davidson J and Fraser C (1984). Code selection through object code optimization, ACM Transactions on Programming Languages and Systems, 6:4, (505-526), Online publication date: 1-Oct-1984.
- Wile D (1983). Program developments, Communications of the ACM, 26:11, (902-911), Online publication date: 1-Nov-1983.
- Zellweger P An interactive high-level debugger for control-flow optimized programs (Summary) Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (159-171)
- Ferrante J and Ottenstein K A program form based on data dependency in predicate regions Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (217-236)
- Zellweger P An interactive high-level debugger for control-flow optimized programs Proceedings of the symposium on High-level debugging, (159-172)
- Zellweger P (1983). An interactive high-level debugger for control-flow optimized programs, ACM SIGPLAN Notices, 18:8, (159-172), Online publication date: 1-Aug-1983.
- Zellweger P (1983). An interactive high-level debugger for control-flow optimized programs, ACM SIGSOFT Software Engineering Notes, 8:4, (159-172), Online publication date: 1-Aug-1983.
- Crawford J Engineering a production code generator Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (205-215)
- Crawford J (1982). Engineering a production code generator, ACM SIGPLAN Notices, 17:6, (205-215), Online publication date: 1-Jun-1982.
- Davidson J and Fraser C Eliminating redundant object code Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (128-132)
- Rau B, Glaeser C and Greenawalt E (1982). Architectural support for the efficient generation of code for horizontal architectures, ACM SIGARCH Computer Architecture News, 10:2, (96-99), Online publication date: 1-Mar-1982.
- Harbison S (1982). An architectural alternative to optimizing compilers, ACM SIGARCH Computer Architecture News, 10:2, (57-65), Online publication date: 1-Mar-1982.
- Rau B, Glaeser C and Greenawalt E (1982). Architectural support for the efficient generation of code for horizontal architectures, ACM SIGPLAN Notices, 17:4, (96-99), Online publication date: 1-Apr-1982.
- Harbison S (1982). An architectural alternative to optimizing compilers, ACM SIGPLAN Notices, 17:4, (57-65), Online publication date: 1-Apr-1982.
- Avakian A, Haradhvala S and Knobe B (1982). The design of an integrated support software system, ACM SIGPLAN Notices, 17:6, (308-317), Online publication date: 1-Jun-1982.
- Marshall H (1982). The linear graph package, a compiler building environment, ACM SIGPLAN Notices, 17:6, (294-300), Online publication date: 1-Jun-1982.
- Griss M, Benson E and Hearn A (1982). Current status of a portable LISP compiler, ACM SIGPLAN Notices, 17:6, (276-283), Online publication date: 1-Jun-1982.
- Brooks R, Gabriel R and Steele G (1982). An optimizing compiler for lexically scoped LISP, ACM SIGPLAN Notices, 17:6, (261-275), Online publication date: 1-Jun-1982.
- Krumme D and Ackley D (1982). A practical method for code generation based on exhaustive search, ACM SIGPLAN Notices, 17:6, (185-196), Online publication date: 1-Jun-1982.
- LaLonde W and Rivieres J (1982). A flexible compiler structure that allows dynamic phase ordering, ACM SIGPLAN Notices, 17:6, (134-139), Online publication date: 1-Jun-1982.
- Madhavji N and Wilson I (1982). Cray Pascal, ACM SIGPLAN Notices, 17:6, (1-14), Online publication date: 1-Jun-1982.
- Avakian A, Haradhvala S and Knobe B The design of an integrated support software system Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (308-317)
- Marshall H The linear graph package, a compiler building environment Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (294-300)
- Griss M, Benson E and Hearn A Current status of a portable LISP compiler Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (276-283)
- Brooks R, Gabriel R and Steele G An optimizing compiler for lexically scoped LISP Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (261-275)
- Krumme D and Ackley D A practical method for code generation based on exhaustive search Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (185-196)
- LaLonde W and Rivieres J A flexible compiler structure that allows dynamic phase ordering Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (134-139)
- Madhavji N and Wilson I Cray Pascal Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (1-14)
- Rees J and Adams IV N T: a dialect of Lisp or LAMBDA Proceedings of the 1982 ACM symposium on LISP and functional programming, (114-122)
- Rau B, Glaeser C and Greenawalt E Architectural support for the efficient generation of code for horizontal architectures Proceedings of the first international symposium on Architectural support for programming languages and operating systems, (96-99)
- Harbison S An architectural alternative to optimizing compilers Proceedings of the first international symposium on Architectural support for programming languages and operating systems, (57-65)
- Ganapathi M and Fischer C Description-driven code generation using attribute grammars Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (108-119)
- Giegerich R Automatic generation of machine specific code optimizers Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (75-81)
- Sheraga R and Gieser J Automatic microcode generation for horizontally microprogrammed processors Proceedings of the 14th annual workshop on Microprogramming, (154-168)
- Sheraga R and Gieser J (1981). Automatic microcode generation for horizontally microprogrammed processors, ACM SIGMICRO Newsletter, 12:4, (154-168), Online publication date: 1-Dec-1981.
- Steele B Strategies for data abstraction in LISP Proceedings of the 1980 ACM conference on LISP and functional programming, (173-178)
- Poe M Heuristics for the global optimization of microprograms Proceedings of the 13th annual workshop on Microprogramming, (13-22)
- Ditzel D and Patterson D Retrospective on high-level language computer architecture Proceedings of the 7th annual symposium on Computer Architecture, (97-104)
- Poe M (1980). Heuristics for the global optimization of microprograms, ACM SIGMICRO Newsletter, 11:3-4, (13-22), Online publication date: 1-Dec-1980.
- Leverett B and Szymanski T (1980). Chaining Span-Dependent Jump Instructions, ACM Transactions on Programming Languages and Systems, 2:3, (274-289), Online publication date: 1-Jul-1980.
- Rosen B (1980). Monoids for Rapid Data Flow Analysis, SIAM Journal on Computing, 9:1, (159-196), Online publication date: 1-Feb-1980.
- Shopiro J (1979). Theseus—a programming language for relational databeses, ACM Transactions on Database Systems, 4:4, (493-517), Online publication date: 1-Dec-1979.
- Knuth D Structured programming with go to statements Classics in software engineering, (257-321)
- Fraser C A compact, machine-independent peephole optimizer Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (1-6)
- Bonkowski G, Gentleman W and Malcolm M (1979). Porting the Zed compiler, ACM SIGPLAN Notices, 14:8, (92-97), Online publication date: 1-Aug-1979.
- Bonkowski G, Gentleman W and Malcolm M Porting the Zed compiler Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (92-97)
- Sites R (1979). Machine-independent register allocation, ACM SIGPLAN Notices, 14:8, (221-225), Online publication date: 1-Aug-1979.
- Perkins D and Sites R (1979). Machine-independent PASCAL code optimization, ACM SIGPLAN Notices, 14:8, (201-207), Online publication date: 1-Aug-1979.
- Rudmik A and Lee E (1979). Compiler design for efficient code generation and program optimization, ACM SIGPLAN Notices, 14:8, (127-138), Online publication date: 1-Aug-1979.
- Fabri J (1979). Automatic storage optimization, ACM SIGPLAN Notices, 14:8, (83-91), Online publication date: 1-Aug-1979.
- Cattell R, Newcomer J and Leverett B (1979). Code generation in a machine-independent compiler, ACM SIGPLAN Notices, 14:8, (65-75), Online publication date: 1-Aug-1979.
- Sites R Machine-independent register allocation Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (221-225)
- Perkins D and Sites R Machine-independent PASCAL code optimization Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (201-207)
- Rudmik A and Lee E Compiler design for efficient code generation and program optimization Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (127-138)
- Fabri J Automatic storage optimization Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (83-91)
- Cattell R, Newcomer J and Leverett B Code generation in a machine-independent compiler Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (65-75)
- Snow E, Siewiorek D and Thomas D A technology-relative computer-aided design system Proceedings of the 15th Design Automation Conference, (220-226)
- Rosen B Monoids for rapid data flow analysis Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (47-59)
- Crawford J and Jazayeri M Engineering A Program Optimizer Proceedings of the 1978 annual conference, (247-253)
- Glanville R and Graham S A new method for compiler code generation Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (231-254)
- Prabhala B and Sethi R Efficient computation of expressions with common subexpressions Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (222-230)
- Szymanski T (1978). Assembling code for machines with span-dependent instructions, Communications of the ACM, 21:4, (300-308), Online publication date: 1-Apr-1978.
- Dunn S (1978). PL/I compilation, ACM SIGPC Notes, 1:3, (32-43), Online publication date: 1-Sep-1978.
- Aho A, Johnson S and Ullman J Code-generation for machines with multiregister operations Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (21-28)
- Rosen B (1977). High-level data flow analysis, Communications of the ACM, 20:10, (712-724), Online publication date: 1-Oct-1977.
- Rosen B Applications of high level control flow Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
- Steele G Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA Proceedings of the 1977 annual conference, (153-162)
- Fraser C (1977). A knowledge-based code generator generator, ACM SIGART Bulletin:64, (126-129), Online publication date: 1-Aug-1977.
- Fraser C (1977). A knowledge-based code generator generator, ACM SIGPLAN Notices, 12:8, (126-129), Online publication date: 1-Aug-1977.
- Fraser C A knowledge-based code generator generator Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (126-129)
- Crawford J and Jazayeri M An algorithm for hoisting Proceedings of the 15th annual Southeast regional conference, (80-93)
- Barbacci M, Siewiorek D, Gordon R, Howbrigg R and Zuckerman S An architectural research facility Proceedings of the June 13-16, 1977, national computer conference, (161-173)
- Aho A, Johnson S and Ullman J Code generation for expressions with common subexpressions (Extended Abstract) Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (19-31)
- Wulf W, Levin R and Pierson C Overview of the Hydra Operating System development Proceedings of the fifth ACM symposium on Operating systems principles, (122-131)
- Fletcher J No! high level languages should not be used to write systems software Proceedings of the 1975 annual conference, (209-211)
- Wulf W, Levin R and Pierson C (1975). Overview of the Hydra Operating System development, ACM SIGOPS Operating Systems Review, 9:5, (122-131), Online publication date: 1-Nov-1975.
Index Terms
- The Design of an Optimizing Compiler
Recommendations
An Optimizing Pascal Compiler
The architecture of a production optimizing compiler for Pascal is described, and the structure of the optimizer is detailed. The compiler performs both interprocedural and global optimizations, in addition to optimization of basic blocks. We have found ...
RICE: An Optimizing Curry Compiler
Practical Aspects of Declarative LanguagesAbstractThis paper introduces the RICE compiler, an optimizing compiler for the functional logic language Curry, written entirely in Curry. We show the advantages of using Curry as an implementation language by creating a robust optimizer that is easy to ...
An optimizing compiler for lexically scoped LISP
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionWe are developing an optimizing compiler for a dialect of the LISP language. The current target architecture is the S-I, a multiprocessing supercomputer designed at Lawrence Livermore National Laboratory. While LISP is usually thought of as a language ...