Maggie E. Myers

Deriving Correct High-Performance Algorithms pdf

Robert A. van de Geijn, Devangi N. Parikh, Margaret E. Myers, 2017, ArXiv.