ALPHA—An Automatic Programming System of High Efficiency
Journal of the ACM (JACM)
Some effects of the 6600 computer on language structures
Communications of the ACM
On the automatic simplification of computer programs
Communications of the ACM
High speed compilation of efficient object code
Communications of the ACM
Compiling techniques for Boolean expressions and conditional statements in ALGOL 60
Communications of the ACM
A linear algorithm for finding dominators in flow graphs and related problems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Data descriptors: a compile-time model of data and addressing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global value numbers and redundant computations
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linear-time pointer-machine algorithms for least common ancestors, MST verification, and dominators
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
A new, simpler linear-time dominators algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Flow Analysis for Procedural Languages
Journal of the ACM (JACM)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
The Compilation of Loop Induction Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A fast algorithm for finding dominators in a flowgraph
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Application of a Retargetable Peephole Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
A practical tool kit for making portable compilers
Communications of the ACM
Global optimization by suppression of partial redundancies
Communications of the ACM
Certification of programs for secure information flow
Communications of the ACM
Communications of the ACM
Register allocation via usage counts
Communications of the ACM
Immediate predominators in a directed graph [H]
Communications of the ACM
Automatic segmentation of cyclic program structures based on connectivity and processor timing
Communications of the ACM
The mobile programming system: STAGE2
Communications of the ACM
Optimization of expressions in Fortran
Communications of the ACM
A Fortran compiler for the FPS-164 scientific computer
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Peep: an architectural description driven peephole optimizer
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Code motion of control structures in high-level languages
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analysis of a simple algorithm for global data flow problems
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A compact, machine-independent peephole optimizer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Simple and effective array prefetching in Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Adaptive Optimizing Compilers for the 21st Century
The Journal of Supercomputing
Vertical Migration of Software Functions and Algorithms Using Enhanced Microsequencing
IEEE Transactions on Computers
A faster optimal register allocator
Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Automatic microcode generation for horizontally microprogrammed processors
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Complete register allocation problems
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
On finding lowest common ancestors in trees
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Engineering A Program Optimizer
ACM '78 Proceedings of the 1978 annual conference
Transformations on straight line programs - (Preliminary Version)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Flow graph analysis using linear connected regions
ACM '76 Proceedings of the 1976 annual conference
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
Direct microprogrammed execution of the intermediate text from a high-level language compiler
ACM '73 Proceedings of the ACM annual conference
A survey of compiler optimization techniques
ACM '73 Proceedings of the ACM annual conference
ACM '72 Proceedings of the ACM annual conference - Volume 2
A knowledge-based code generator generator
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An intermediate language for source and target independent code optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Machine-independent PASCAL code optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Direct microprogrammed execution of the intermediate text from a high-level language compiler
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
Brief survey of languages used for systems implementation
Proceedings of the SIGPLAN symposium on Languages for system implementation
Extensible languages: A potential user's point of view
Proceedings of the international symposium on Extensible languages
An automatic migration scheme based on modular microcode and structured firmware sequencing
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Proceedings of a symposium on Compiler optimization
Proceedings of a symposium on Compiler optimization
A formal approach to code optimization
Proceedings of a symposium on Compiler optimization
A methodology for machine language decompilation
ACM '74 Proceedings of the 1974 annual conference - Volume 1
ACM '74 Proceedings of the 1974 annual conference - Volume 1
SYSL: system description language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Arithmetic shifting considered harmful
ACM SIGPLAN Notices
ACM SIGPLAN Notices - Abstracts in programming language-related research
ACM SIGPLAN Notices - Special issue on control structures in programming languages
An Efficient Algorithm for Finding Double-Vertex Dominators in Circuit Graphs
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Structural Testing Based on Minimum Kernels
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Dominance analysis of irreducible CFGs by reduction
ACM SIGPLAN Notices
A fast algorithm for finding common multiple-vertex dominators in circuit graphs
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Improved Boolean function hashing based on multiple-vertex dominators
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Classics in software engineering
A practical interprocedural dominance algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic Characteristics of Loops
IEEE Transactions on Computers
Language selection for applications
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Efficient evaluation of array subscripts of arrays
IBM Journal of Research and Development
Compiling optimized code from decision tables
IBM Journal of Research and Development
Improved optimization of FORTRAN object programs
IBM Journal of Research and Development
Compiler assignment of data items to registers
IBM Systems Journal
Data flow analysis in the presence of procedure calls
IBM Journal of Research and Development
Automatic structuring of programs
IBM Journal of Research and Development
Register assignment algorithm for generation of highly optimized object code
IBM Journal of Research and Development
The history of language processor technology in IBM
IBM Journal of Research and Development
Structural Encoding of Static Single Assignment Form
Electronic Notes in Theoretical Computer Science (ENTCS)
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Use-definition chains with applications
Computer Languages
Linear time algorithms for two disjoint paths problems on directed acyclic graphs
Theoretical Computer Science
| Hi-index | 48.36 |
Methods of analyzing the control flow and data flow of programs during compilation are applied to transforming the program to improve object time efficiency. Dominance relationships, indicating which statements are necessarily executed before others, are used to do global common expression elimination and loop identification. Implementation of these and other optimizations in OS/360 FORTRAN H are described.