| SSI Properties Revisited | 2 | 0.35 | 2012 |
| Graph-coloring and treescan register allocation using repairing | 4 | 0.40 | 2011 |
| A non-iterative data-flow algorithm for computing liveness sets in strict SSA programs | 2 | 0.37 | 2011 |
| Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency | 21 | 0.78 | 2009 |
| Fast liveness checking for ssa-form programs | 13 | 0.60 | 2008 |
