IC Mondays seminars - Attacking the Parallelism and Porting Problem: Computer Synthesis of Computational Programs

Event details
Date | 08.03.2010 |
Hour | 16:15 |
Speaker | Professor Markus Pueschel, Carnegie Mellon University, Electrical and Computer Engineer |
Location |
INM 202
|
Category | Conferences - Seminars |
Abstract
We present Spiral (www.spiral.net), a domain-specific program generation system for important functionality used in signal processing, communication, and scientific computing, such as linear transforms and filters, Viterbi decoders, and basic linear algebra routines. Spiral completely replaces the human programmer. For a desired function, Spiral generates alternative algorithms, optimizes them and compiles them into programs matched to a given computing platform. The main idea behind Spiral is a mathematical, declarative, domain-specific framework to represent algorithms and the use of rewriting systems to generate and optimize algorithms at a high level of abstraction. Optimization includes parallelization for vector architectures, shared and distributed memory platforms, and even FPGAs. Experimental results show that the code generated by Spiral competes with, and sometimes outperforms, the best available human-written code. Spiral has been used to generate several thousand functions in Intel’s commercial libraries IPP and MKL.
Biography
Markus Püschel is a Professor of Electrical and Computer Engineering at Carnegie Mellon University. He received his Diploma (M.Sc.) in Mathematics and his Doctorate (Ph.D.) in Computer Science, in 1995 and 1998, respectively, both from the University of Karlsruhe, Germany. From 1998-1999 he was a Postdoctoral Researcher at Mathematics and Computer Science, Drexel University. Since 2000 he has been with Carnegie Mellon University. He was an Associate Editor for the IEEE Transactions on Signal Processing, the IEEE Signal processing Letters, was a Guest Editor of the Proceedings of the IEEE and the Journal of Symbolic Computation, and served on various program committees of conferences in computing, compilers, and programming languages. He is a recipient of the Outstanding Research Award of the College of Engineering at Carnegie Mellon, the Eta Kappa Nu Award for Outstanding Teaching, and he holds the title of Privatdozent at the University of Technology, Vienna, Austria. In 2009 he co-founded SpiralGen, Inc.
More information is available at www.ece.cmu.edu/~pueschel.
Links
Practical information
- General public
- Free
Contact
- G.Rochat