Model Checking Meets Auto-Tuning of High-Performance Programs.

Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch

Browse the full LOPSTR paper archive.