A simple, verified validator for software pipelining

    Symposium on Principles of Programming Languages, pp. 83-92, 2010.

    Cited by: 18|Bibtex|Views1|Links
    Keywords:
    verified compilerssymbolic evaluationtranslation validationsoftware pipeliningloop optimization

    Abstract:

    Software pipelining is a loop optimization that overlaps the execu- tion of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class performance characteristics, but at the cost of significant obfuscation of the code, making this optimization difficult to test and debug. In this paper, we pre...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments