Evaluating value-graph translation validation for LLVM

    PLDI, pp. 295-305, 2011.

    Cited by: 84|Bibtex|Views9|Links
    EI
    Keywords:
    intra-procedural optimizationsperl interpreteroriginal functionvalue-graph translation validationnormalizing translation validatorsMore(12+)

    Abstract:

    Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the value-graphs of an original function and its transformed counterpart. In this paper, we present the design of such a validator for LLVM's intra-procedural optim...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments