Avoiding conditional branches by code replication

Exploiting hardware performance counters with flow and context sensitive profiling

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

Interprocedural conditional branch elimination

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

Partial dead code elimination using slicing transformations

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

Near-optimal intraprocedural branch alignment

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

Refining data flow information using infeasible paths

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering

Improving data-flow analysis with path profiles

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

Improving performance by branch reordering

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

Bounding Pipeline and Instruction Cache Performance

IEEE Transactions on Computers

The program decision logic approach to predicated execution

ISCA '99 Proceedings of the 26th annual international symposium on Computer architecture

Load-reuse analysis: design and evaluation

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

Control CPR: a branch height reduction optimization for EPIC architectures

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

Static correlated branch prediction

ACM Transactions on Programming Languages and Systems (TOPLAS)

ABCD: eliminating array bounds checks on demand

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

Compiler supported high-level abstractions for sparse disk-resident datasets

ICS '02 Proceedings of the 16th international conference on Supercomputing

Handling irreducible loops: optimized node splitting versus DJ-graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Efficient and effective branch reordering using profile data

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Real-Time Systems

Simplifying Control Flow in Compiler-Generated Parallel Code

International Journal of Parallel Programming

Automatic detection and exploitation of branch constraints for timing analysis

IEEE Transactions on Software Engineering

Compiling Data Intensive Applications with Spatial Coordinates

LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers

Branch Prediction Using Profile Data

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing

Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing

Improving data-flow analysis with path profiles

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Branch elimination by condition merging

Software—Practice & Experience

Computer algebra systems as mathematical optimizing compilers

Science of Computer Programming

Reducing the cost of conditional transfers of control by using comparison specifications

Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems

Improving WCET by applying worst-case path optimizations

Real-Time Systems

Path-based fault correlations

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering