CSE 501 On-Line Papers

• Lerner et al. 02: Composing Dataflow Analyses and Transformations
• Lerner et al. 03: Automatically Proving the Correctness of Compiler Optimizations
• Alpern et al. 88: Detecting Equality of Variables in Programs
• Click 95: Global Code Motion/Global Value Numbering
• Weise et al. 94: Value Dependence Graphs: Representation without Taxation
• Dean & Chambers 94: Towards Better Inlining Decisions Using Inlining Trials
• Callahan et al. 86: Interprocedural Constant Propagation
• Wilson & Lam 95: Efficient Context-Sensitive Pointer Analysis for C Programs
• Steensgaard 96: Points-To Analysis in Almost Linear Time
• Bacon & Sweeney 96: Fast Static Analysis of C++ Virtual Function Calls