Markus Püschel. Automatic synthesis of high performance mathematical programs. In Jeremy Johnson, Hyungju Park, Erich Kaltofen, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. pages 5-6, ACM, 2009. [doi]
Abstract is missing.