Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn. Mechanizing the expert dense linear algebra developer. In J. Ramanujam, P. Sadayappan, editors, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. pages 289-290, ACM, 2012. [doi]
Abstract is missing.