"Evaluating value-graph translation validation for LLVM."

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics