Global value numbering

Known as: GVN 
Global value numbering (GVN) is a compiler optimization based on the static single assignment form (SSA) intermediate representation. It sometimes… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2017
02419952017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2017
2017
Redundancy elimination is an important compiler optimization, which deals with the elimination of unnecessary reevaluations of… (More)
Is this relevant?
2014
2014
Global Value Numbering (GVN) is a method for detecting equivalence among program expressions. Here we consider the problem of GVN… (More)
  • figure 2
Is this relevant?
Highly Cited
2014
Highly Cited
2014
The ability to generate lung and airway epithelial cells from human pluripotent stem cells (hPSCs) would have applications in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 1
  • figure 4
Is this relevant?
2013
2013
Global Value Numbering(GVN) is a method for detecting redundant computations in programs. Here, we introduce the problem of… (More)
  • figure 1
  • figure 2
Is this relevant?
2013
2013
A Global Value Numbering(GVN) algorithm is considered to be complete (or precise), if it can detect all Herbrand equivalences… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
This paper presents a new algorithm for performing global value numbering on a routine in static single assignment form. Our… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We believe that optimizing compilers should treat the machine-independent optimizations (e.g., conditional constant propagation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?