On a Method of Global Optimization
Abstract elided by the publisher.
Related papers
- A Sparse Algorithm for Predicated Global Value Numbering PLDI 2002
- A Solution to a Problem with Morel and Renvoise's "Global Optimization by Suppression of Partial Redundancies" TOPLAS 1988
- Optimization Opportunities Created by Global Data Reordering CGO 2003
- Spill Code Minimization Techniques for Optimizing Compilers PLDI 1989
- Optimizing dynamic dispatch with fine-grained state tracking DLS 2010
- Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods CAV 2000
- Retargetable High-Level Alias Analysis POPL 1986
- Debugging Optimized Code Without Being Misled TOPLAS 1994