Construction of Thinned Gated Single-Assignment Form

Beyond induction variables: detecting and classifying sequences using a demand-driven SSA form

ACM Transactions on Programming Languages and Systems (TOPLAS)

Optimizing sparse representations for dataflow analysis

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

Efficient building and placing of gating functions

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Gated SSA-based demand-driven symbolic analysis for parallelizing compilers

ICS '95 Proceedings of the 9th international conference on Supercomputing

Initial Results for Glacial Variable Analysis

International Journal of Parallel Programming

Automatic array privatization

Compiler optimizations for scalable parallel systems

Use and assessment of a rigorous approach to CS1

Proceedings of the 36th SIGCSE technical symposium on Computer science education

Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers

Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing

Equality saturation: a new approach to optimization

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

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types

Science of Computer Programming

Evaluating value-graph translation validation for LLVM

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

A study of irreducibility in C programs

Software—Practice & Experience

Intermediate representations in imperative compilers: A survey

ACM Computing Surveys (CSUR)

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