R. Johnson and K. Pingali. Dependence-based program analysis. In PLDI, pages 78 -- 89, June 1993. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Modeling Data-Parallel Programs with the.. - Chatterjee.. (1994) (4 citations) (Correct)
Static Single Information Form - Ananian, Rinard (1999) (1 citation) (Correct)
Composing Dataflow Analyses and Transformations - Lerner, Grove, Chambers (2001) (3 citations) (Correct)
The Static Single Information Form - Ananian (1999) (1 citation) (Correct)
Bitwise: Optimizing Bitwidths Using Data-Range Propagation - Stephenson (2000) (2 citations) (Correct)
ABCD: Eliminating Array-Bounds Checks on Demand - Bodik, Gupta, Sarkar (2000) (35 citations) (Correct)
Timed Dependence Flow Graphs, an Intermediate Form for Verified.. - Chapman (1994) (Correct)
ABCD: Eliminating Array-Bounds Checks on Demand - Bodik, Gupta, Sarkar (2000) (35 citations) (Correct)
Value Dependence Graphs: Representation Without Taxation - Weise, Crew, Ernst.. (1994) (43 citations) (Correct)
Enhancing Array Dataflow Dependence Analysis with On-Demand .. - Vadim Maslov Pimmit (1995) (5 citations) (Correct)
Timed Dependence Flow Graphs, an Intermediate Form for Verified.. - Chapman (Correct)
Bitwidth Analysis with Application to Silicon Compilation - Stephenson, Babb.. (2000) (40 citations) (Correct)
Demand-Driven Constant Propagation - Stoltz, Wolfe, Gerlek (1993) (Correct)
Constant Propagation: A Fresh, Demand-Driven Look - Stoltz, Wolfe, Gerlek (1994) (3 citations) (Correct)
Detecting Value-Based Scalar Dependence - Eric Stoltz And (1994) (2 citations) (Correct)
Designing Intermediate Representations for Optimization - Mock (1997) (Correct)
Constant Propagation: A Fresh Demand-Driven Look - Stoltz, Wolfe, Gerlek (1994) (3 citations) (Correct)
Frameworks for Intra- and Interprocedural Dataflow Analysis - Chambers, Dean, Grove (1996) (10 citations) (Correct)
Compiler-Assisted Checkpointing - Beck, Plank, Kingsley (1994) (15 citations) (Correct)
Compiler-Assisted Checkpointing - Beck, Plank, Kingsley (1994) (15 citations) (Correct)
Sparse Functional Stores for Imperative Programs - Steensgaard (1995) (17 citations) (Correct)
An Argument Forwarding Queue Machine for Improved Memory Performance - Onder (1994) (Correct)
Single-Pass Generation of Static Single Assignment Form for .. - Brandis, Mössenböck (1994) (23 citations) (Correct)
σ-SSA and its Construction through Symbolic.. - Saito, Polychronopoulos (1996) (Correct)
Detecting Value-Based Scalar Dependence - Stoltz, Wolfe (1994) (2 citations) (Correct)
Data Flow Terminology and Representations - Newburn (Correct)
Generalized Boxings, Congruences and Partial Inlining - Goubault (Correct)
Incremental Computation of Dominator Trees - Sreedhar, Gao, Lee (1995) (5 citations) (Correct)
Compiler Representations for Heterogeneous Processing - Weaver (1995) (Correct)
Accurate Static Branch Prediction by Value Range Propagation - Patterson (1995) (38 citations) (Correct)
An efficient incremental algorithm for maintaining.. - Sreedhar, Gao, Lee (1994) (Correct)
Reducing the Cost of Data Flow Analysis By Congruence.. - Duesterwald, Gupta, Soffa (1994) (16 citations) (Correct)
Extended SSA with Factored Use-Def Chains to Support.. - Stoltz, Gerlek, Wolfe (7 citations) (Correct)
A Formally Verified High-Level Synthesis Front-end.. - Richard Chapman (Correct)
Dataflow: A Complement to Superscalar - Budiu, Artigas, Goldstein (2005) (Correct)
Maintaining Dynamic Graph Properties - Deterministically Moreno Marzolla (Correct)
A New Foundation for Control-Dependence and.. - Ranganath.. (2005) (1 citation) (Correct)
Slicing Concurrent Java Programs: Issues and Solutions - Nanda (2001) (Correct)
Efficient Building and Placing of Gating Functions - Peng Tu And (1995) (5 citations) (Correct)
Spatial Computation - Budiu (2003) (Correct)
The Static Single Information Form - Ananian (1999) (1 citation) (Correct)
Active Libraries and Universal Languages - Veldhuizen (2004) (1 citation) (Correct)
The Alignment-Distribution Graph - Chatterjee, Gilbert, Schreiber (1993) (18 citations) (Correct)
Algorithms for Computing the Static Single Assignment Form - Gianfranco Bilardi Keshav (2003) (1 citation) Self-citation (Pingali) (Correct)
The Static Single Assignment Form and its Computation - Bilardi, Pingali (1999) (4 citations) Self-citation (Pingali) (Correct)
The Program Structure Tree: Computing Control Regions in.. - Johnson, Pearson, Pingali (1994) (33 citations) Self-citation (Johnson Pingali) (Correct)
Collaborative Mathematics Environments - Chew, Constable, Pingali.. Self-citation (Pingali) (Correct)
Finding Regions Fast: Single Entry Single Exit and.. - Johnson, Pearson.. (1993) (9 citations) Self-citation (Johnson Pingali) (Correct)
The Static Single Assignment Form and its Computation - Bilardi, Pingali (1998) (4 citations) Self-citation (Pingali) (Correct)
Optimal Control Dependence Computation and the Roman Chariots .. - Pingali, Bilardi (1997) (19 citations) Self-citation (Pingali) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC