A simple, verified validator for software pipelining
Symposium on Principles of Programming Languages, pp. 83-92, 2010.
verified compilerssymbolic evaluationtranslation validationsoftware pipeliningloop optimization
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
Full Text (Upload PDF)