Proving optimizations correct using parameterized program equivalence.

Sudipta Kundu, Zachary Tatlock, Sorin Lerner

Browse the full PLDI paper archive.