Global code motion/global value numbering

By Cliff Click. 1995

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

1. Sorin Lerner
2. Tiark Rompf
3. Martin Odersky
4. Zachary Tatlock

Citations in the corpus

• Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (2010, methodology): “More powerful code models will need some form of dominator computation such as described by Click [6].”
• Equality saturation: a new approach to optimization (2009, background): “There has been a long line of work on developing IRs that make analysis and optimizations easier to perform [11, 2, 34, 19, 15, 38, 9, 32, 29].”