Evaluating value-graph translation validation for LLVM.
Jean-Baptiste TristanPaul GovereauGreg MorrisettPublished in: PLDI (2011)
Keyphrases
- connected components
- random walk
- structured data
- machine translation
- graph structure
- graph mining
- query translation
- directed acyclic graph
- graph model
- rewriting rules
- graph based algorithm
- dependency graph
- graph construction
- graph data
- graph representation
- weighted graph
- graph matching
- directed graph
- data mining
- bipartite graph
- graph theoretic
- graph search
- data structure
- data sets