Automatic construction of sparse data flow evaluation graphs

Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)

Precise and efficient integration of interprocedural alias information into data-flow analysis

ACM Letters on Programming Languages and Systems (LOPLAS)

Sharlit—a tool for building optimizers

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

How to analyze large programs efficiently and informatively

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Rematerialization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Using static single assignment form in a code optimizer

ACM Letters on Programming Languages and Systems (LOPLAS)

Efficient accommodation of may-alias information in SSA form

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Dependence-based program analysis

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Direct update of data flow representations for a meaning-preserving program restructuring tool

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

Efficient register allocation via coloring using clique separators

ACM Transactions on Programming Languages and Systems (TOPLAS)

Improvements to graph coloring register allocation

ACM Transactions on Programming Languages and Systems (TOPLAS)

Value dependence graphs: representation without taxation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Effective partial redundancy elimination

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

The program structure tree: computing control regions in linear time

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Interprocedural may-alias analysis for pointers: beyond k-limiting

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Precise concrete type inference for object-oriented languages

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications

Demand-driven computation of interprocedural data flow

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A linear time algorithm for placing &phgr;-nodes

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Incremental computation of dominator trees

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

Optimizing sparse representations for dataflow analysis

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

Efficiently computing Φ-nodes on-the-fly

ACM Transactions on Programming Languages and Systems (TOPLAS)

The design of whole-program analysis tools

Proceedings of the 18th international conference on Software engineering

A flexible architecture for building data flow analyzers

Proceedings of the 18th international conference on Software engineering

A new algorithm for partial redundancy elimination based on SSA form

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

Partitioning dataflow analyses using types

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

Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks

IEEE Transactions on Computers

Static single assignment form for machine code

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

Partial redundancy elimination in SSA form

ACM Transactions on Programming Languages and Systems (TOPLAS)

Interprocedural pointer alias analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Program analysis with partial transfer functions

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Which pointer analysis should I use?

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis

A framework for interprocedural optimization in the presence of dynamic class loading

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

On loops, dominators, and dominance frontier

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

Clustered VLIW architecture with predicated switching

Proceedings of the 38th annual Design Automation Conference

Composing dataflow analyses and transformations

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Operator strength reduction

ACM Transactions on Programming Languages and Systems (TOPLAS)

A sparse algorithm for predicated global value numbering

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

On sparse evaluation representations

Theoretical Computer Science

On loops, dominators, and dominance frontiers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

SAS '98 Proceedings of the 5th International Symposium on Static Analysis

Simple Generation of Static Single-Assignment Form

CC '00 Proceedings of the 9th International Conference on Compiler Construction

Coloring heuristics for register allocation

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Transformational Derivation of an Improved Alias Analysis Algorithm

Higher-Order and Symbolic Computation

A type system equivalent to static single assignment

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

An optimistic and conservative register assignment heuristic for chordal graphs

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems

Semi-sparse flow-sensitive pointer analysis

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

Bridging the gap between symbolic and efficient AES implementations

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation

An optimal linear-time algorithm for interprocedural register allocation in high level synthesis using SSA form

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Points-to analysis with efficient strong updates

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

Tainted flow analysis on e-SSA-form programs

CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software

Boosting the performance of flow-sensitive points-to analysis using value flow

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Efficient liveness computation using merge sets and DJ-graphs

ACM Transactions on Architecture and Code Optimization (TACO) - HIPEAC Papers

Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers

CC'06 Proceedings of the 15th international conference on Compiler Construction

Flow-sensitive pointer analysis for millions of lines of code

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization

The design of the TAO real-time object request broker

Computer Communications

Design and implementation of sparse global analyses for C-like languages

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation

Simple and efficient construction of static single assignment form

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

Parallel flow-sensitive pointer analysis by graph-rewriting

PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques

Divergence analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

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

Efficient static checker for tainted variable attacks

Science of Computer Programming