|
publications
|
 |
Markus Püschel Professor Associate Department Head Computer Science ETH Zürich Switzerland |
|
|
short CVMarkus Püschel is a Professor of Computer Science at ETH Zurich, Switzerland. Before, he was a Professor of Electrical and Computer Engineering at Carnegie Mellon University, where he still has an adjunct status. 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. From 2000-2010 he was with Carnegie Mellon University, and since 2010 he has been with ETH Zurich. 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 and the Eta Kappa Nu Award for Outstanding Teaching. He also holds the title of Privatdozent at the University of Technology, Vienna, Austria. In 2009 he cofounded Spiralgen Inc. His research interests include program synthesis with the goal of high performance, fast computing, algorithms, applied mathematics, and signal processing theory/software/hardware. More information is available at www.ece.cmu.edu/~pueschel. Education |
| Doctorate (Ph.D.) in Computer Science (Magna Cum Laude), University of Karlsruhe, Germany, advisor Prof. Dr. T. Beth |
05/98 |
| Diploma (M.Sc.) in Mathematics (Magna Cum Laude), University of Karlsruhe, Germany, advisor Prof. Dr. H.-W. Leopoldt |
10/95 |
Appointments
| Associate Department Head of Computer Science, ETH Zürich, Switzerland | since 04/11 |
| Professor of Computer Science, ETH Zürich, Switzerland | since 09/10 |
| Professor of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh | 07/09-08/10 |
| Associate Research Professor of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh | 07/05-06/09 |
| Research Scientist (Faculty) of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh | 09/00-06/05 |
| Engineer at the Dept. of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh | 11/99-08/00 |
| Research Post-Doctoral Associate at the Dept. of Math and Computer Science, Drexel University, Philadelphia, and the Dept. of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh | 11/98-10/99 |
| Research Assistant at the Dept. of Computer Science, University of Karlsruhe, Germany | 11/95-10/98 |
Awards and Honors
| Best paper award nominee Languages, Compilers, Tools and Theory for Embedded Systems (LCTES) (3 out of 18) | 2012 |
| Best paper award High Performance Embedded Computing (HPEC) (1 out of about 80) | 2009 |
| Best paper award Working Conference on Domain Specific Languages (DSL) (3 out of 18) | 2009 |
| Eta Kappa Nu Award for Outstanding Teaching | 2009 |
| NSF Discovery: Teaching Computers to Writes Fast Software | 2008 |
| Best paper award High Performance Embedded Computing (HPEC) (1 out of about 80) | 2008 |
| Best paper award nominee Design Automation Conference (DAC) (among 10 out of 147) | 2008 |
| CMU College of Engineering Outstanding Research Award (jointly with J. Moura) | 2007 |
| Best paper award International Symposium on Parallel and Distributed Processing and Application (ISPA) (1 out of 80) | 2006 |
| Habilitation (title of Privatdozent) in Applied Computer Science, University of Technology, Vienna, Austria | 2005 |
| Best paper award nominee Design Automation Conference (DAC) (among 14 out of 150) | 2003 |
Keynote/Major Plenary Talks
| Automatic Discovery of Transform Algorithms Asian Symposium on Computer Mathematics (ASCM) |
2012 |
| Program Synthesis for Performance International Conference on Automatic Differentiation (AD) |
2012 |
| Program Synthesis for Performance High Confidence Software and Systems Conference (HCSS) |
2012 |
| Compiling Math to High Performance Code ACM Workshop on Partial Evaluation and Program Manipulation (PEPM), colocated with POPL |
2012 |
| Automatic Performance Programming? Systems, Programming, Languages and Applications: Software for Humanity (SPLASH: OOPSLA, Onward!, Wavefront) |
2011 |
| Automatic Performance Tuning and Machine Learning Workshop on Statistical and Machine Learning Approaches to Architecture and Compilation (SMART), colocated with CGO |
2011 |
| Automatic Performance Tuning and Machine Learning Peppher Workshop, colocated with HiPEAC |
2011 |
| Program Synthesis Using Symbolic Computation (video) ACM Conference on Symbolic and Algebraic Computation (ISSAC) |
2009 |
| Can We Teach Computers To Write Fast Libraries? ACM Conference on Generative Programming and Component Engineering (GPCE) |
2007 |
| Can We Teach Computers To Write Fast Libraries? International Workshop on Automatic Performance Tuning (iWAPT), University of Tokyo |
2007 |
| Can We Teach Computers To Write Fast Libraries? Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL), colocated with IPDPS |
2007 |
Professional Activities
| Program Committee IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 2013 |
| Program Committee IEEE Workshop on Signal Processing Systems (SIPS) | 2013 |
| Program Committee ACM Conference on Generative Programming and Component Engineering (GPCE) | 2013 |
| Program Committee IEEE International Parallel and Distributed Processing Symposium (IPDPS) | 2013 |
| Program Committee for Posters at Supercomputing (SC) | 2012 |
| Program Committee IEEE Workshop on Signal Processing Systems (SIPS) | 2012 |
| Program Committee International Conference on Supercomputing (ICS) | 2012 |
| Program Committee International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (EXADAPT) | 2012 |
| Program Committee Compiler Construction (CC) | 2012 |
| Program Committee International Conference on Acoustics, Speech and Signal Processing (ICASSP) | 2012 |
| Program Committee International Symposium on Code Generation and Optimization (CGO) | 2012 |
| Technical Committee on Design and Implementation of Signal Processing Systems | from 2011 |
| Research Assessment Committee Tampere University, Finland | 2011 |
| Program Committee International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (EXADAPT), colocated with PLDI | 2011 |
| Program Committee International Conference on Parallel Computing (ParCo) | 2011 |
| Program Committee Workshop on Statistical and Machine Learning Approaches to Architecture and Compilation (SMART) | 2011 |
| Program Committee Workshop on Automated Program Generation for Computational Science (colocated with ICCS) | 2010 |
| Co-Organizer Dagstuhl Workshop on "Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond" | 2010 |
| Scientific Advisory Board NFN SISE (National Research Network "Signal and Information Processing in Science and Engineering," Austria) | from 2009 |
| Program Committee SMART (Statistical and Machine Learning for Architecture and Compilation) workshop colocated with HiPEAC | 2010 |
| Steering Committee International Workshop on Automatic Performance Tuning (iWAPT) | from 2008 |
| Scientific Committee Generative and Transformational Techniques in Software Engineering (GTTSE) | from 2008 |
| Program Committee International Conference on High Performance Embedded Architectures & Compilers (HiPEAC) | 2009 |
| Program Committee International Conference on Compiler Construction (CC) | 2009 |
| Program Committee Mathematical Methods in Computer Science (MMICS), in memoriam Thomas Beth | 2008 |
| Program Committee International Workshop on Automatic Performance Tuning (iWAPT) | 2008-2009 |
| Program Committee European Signal Processing Conference (EUSIPCO) | 2008 |
| Program Committee ACM Computing Frontiers | 2008 |
| Program Committee ACM Conference on Partial Evaluation and Program Manipulation (PEPM) | 2008 |
| Program Committee IFIP International Conference on Network and Parallel Computing (NPC) | 2006 |
| Associate Editor IEEE Transactions on Signal Processing | 2006-2010 |
| Program Committee IEEE International Conference for Image processing (ICIP) | 2004-2006 |
| Guest Editor of the Proceedings of the IEEE special issue on "Program Generation, Optimization, and Adaptation" | 2004 |
| Associate Editor IEEE Signal Processing Letters | 2002-2005 |
| Guest Editor of the Journal of Symbolic Computation special issue on "Computer Algebra and Signal Processing" | 2004 |
| Session Organizer IMACS/ACA | 1999/2001 |
| Professional Carambolage Billiards Player (3-Cushion), National Champion, best CEB World Ranking: Top 30, won numerous tournaments, honored by the State of Baden-Württemberg and the City of Erlangen |
1987-1993 |
Projects/Grants
| PI Spiral on ATI GPUs (funded by AMD, equipment grant) | 12/09 |
| PI Computer Generation of Multicore Software for Software-Defined Radio (funded by ONR/STTR) | 07/09-03/10 |
| Co-PI Automatic Program Generation for Data-Dependent Applications (funded by ONR) | 06/09-05/10 |
| PI Generating IPP Library Functionality for Larrabee using SPIRAL (funded by Intel) | 08/08 |
| PI FFT Generation for the Cell Processor (funded by Mercury) | 10/07 |
| PI Program Generation for Parallel Platforms (funded by NSF CPA program) | 06/07-05/11 |
| Co-PI FFT Generation for FPGAS (funded by National Instruments) | 04/07 |
| PI Algebraic Signal Processing Theory: Towards Multiresolution Analysis (funded by NSF TF program) | 01/07-12/10 |
| PI Towards Production Quality Code Generation using SPIRAL (funded by Intel, equipment grant) | 01/07 |
| PI Library Generation for Intel's MKL using Spiral (funded by Intel) | 04/06-04/09 |
| Co-PI Intelligent SW/HW Compilers for Signal Processing Applications (funded by DARPA) | 05/05-06/10 |
| PI FPGA for Computed-Tomography Imaging Spectrometer Scene Reconstruction (funded by ENSCO Inc./JPL) | 06/04 |
| PI Towards Production Quality Code Generation using SPIRAL (funded by Intel, equipment grant) | 03/04 |
| PI Automatic Code Generation for Block Ciphers (funded by CyLab CMU) | 01/04-12/04 |
| Co-PI Intelligent HW/SW Compilers for DSP Applications (funded by NSF, ITR program) | 09/03-08/09 |
| PI The Algebraic Structure of Linear Transforms (funded by NSF, SYS program) | 09/03-08/07 |
| Co-PI ITRI Lab sub-project Custom Power Optimization for DSP Algorithms (funded by ITRI Taiwan) | 08/03-08/04 |
| PI Advanced Code Generation for Digital Signal Processing Algorithms (funded by NSF, ACR program) | 04/03-03/07 |
| Co-PI Distributed Sensing and Processing: A Graphical Model Approach (funded by DARPA) | 06/02-12/04 |
| Consultant AURORA: Numerical Algorithms and Software for High-Performance Computers (Vienna University of Technology, funded by the Austrian Science Fund FWF) | 10/01-01/07 |
| PI SPIRAL for Everyone (funded by Quarry Computing Inc.) | 04/01 |
| Co-PI Group Representations and Automatic Generation of Fast Algorithms for Discrete Signal Transforms (funded by NSF, SYS program) | 09/00-08/03 |
| Co-PI SPIRAL: Signal Processing algorithms Implementation Research for Adaptable Libraries (funded by DARPA) | 11/98-06/03 |
| Member (from 04/98 Project Leader) VERMEIL: "Procedures and Methods for Knowledge-Based Development of Reliable Control Systems" (funded by BMBF, German Federal Department of Education and Research) | 11/95-10/98 |
Publications
see http://www.inf.ethz.ch/~markusp/publications.html
Languages
Native language German, fluent in both English and Spanish, working knowledge of French, Russian, and Portuguese