Evaluating value-graph translation validation for LLVM.

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett

Browse the full PLDI paper archive.