Global code motion/global value numbering

A simple graph-based intermediate representation

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

Global communication analysis and optimization

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

A new algorithm for partial redundancy elimination based on SSA form

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Toward a complete transformational toolkit for compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)

An approach for exploring code improving transformations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Path-sensitive value-flow analysis

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A new algorithm for scalar register promotion based on SSA form

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Static single assignment form for machine code

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation

Automatic method refactoring using weighted dependence graphs

Proceedings of the 21st international conference on Software engineering

Partial redundancy elimination in SSA form

ACM Transactions on Programming Languages and Systems (TOPLAS)

Global optimization techniques for automatic parallelization of hybrid applications

ICS '01 Proceedings of the 15th international conference on Supercomputing

Static Single Assignment Form for Message-Passing Programs

International Journal of Parallel Programming

A sparse algorithm for predicated global value numbering

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

Efficient static single assignment form for predication

Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture

Partial Dead Code Elimination Using Extended Value Graph

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Translating Out of Static Single Assignment Form

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Detecting Equalities of Variables: Combining Efficiency with Precision

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Global value numbering using random interpretation

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Overview of the IBM Java just-in-time compiler

IBM Systems Journal

A lifetime optimal algorithm for speculative PRE

ACM Transactions on Architecture and Code Optimization (TACO)

A polynomial-time algorithm for global value numbering

Science of Computer Programming

SSA-based mobile code: Implementation and empirical evaluation

ACM Transactions on Architecture and Code Optimization (TACO)

Improvements to the Psi-SSA representation

SCOPES '07 Proceedingsof the 10th international workshop on Software & compilers for embedded systems

On Validity of Program Transformations in the Java Memory Model

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming

Equality saturation: a new approach to optimization

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Towards Time-Predictable Data Caches for Chip-Multiprocessors

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems

Optimal interprocedural program optimization: a new framework and its application

Optimal interprocedural program optimization: a new framework and its application

Using inter-procedural side-effect information in JIT optimizations

CC'05 Proceedings of the 14th international conference on Compiler Construction

Partial value number redundancy elimination

LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing

Unrestricted code motion: a program representation and transformation algorithms based on future values

CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction

Side-effect analysis with fast escape filter

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis

Optimal and heuristic global code motion for minimal spilling

CC'13 Proceedings of the 22nd international conference on Compiler Construction

Intermediate representations in imperative compilers: A survey

ACM Computing Surveys (CSUR)

An intermediate representation for speculative optimizations in a dynamic compiler

Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization