@inproceedings{PPoPP-2012-MarkerTPBG,
	author        = "Bryan Marker and Andy Terrel and Jack Poulson and Don S. Batory and Robert A. van de Geijn",
	booktitle     = "{Proceedings of the 17th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/2145816.2145858",
	isbn          = "978-1-4503-1160-1",
	pages         = "289--290",
	publisher     = "{ACM}",
	title         = "{Mechanizing the expert dense linear algebra developer}",
	year          = 2012,
}