Proving optimizations correct using parameterized program equivalence
Published in Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation • Jun 15, 2009
NobleIDNI9P01W50R72S09
Authors:,,
S. Kundu
Zachary Tatlock
Sorin Lerner
Abstract
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validation has been used to prove concrete, fully specified programs equivalent. In this paper we present Parameterized Equivale...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!