HELIX: a case study of a formal verification of high performance program generation.

Vadim Zaliva, Franz Franchetti

Browse the full ICFP paper archive.