Markus Püschel - Google Scholar

Cited by

	All	Since 2015
Citations	7033	3428
h-index	45	30
i10-index	119	73

740

370

185

555

2001200220032004200520062007200820092010201120122013201420152016201720182019202024 18 76 121 133 150 202 289 319 423 371 437 413 528 521 488 596 685 731 406

Co-authors

Franz FranchettiCarnegie Mellon UniversityVerified email at ece.cmu.edu
Jose M. F. MouraCarnegie Mellon UniversityVerified email at ece.cmu.edu
James C. HoeProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at cmu.edu
Peter MilderAssociate Professor, Electrical and Computer Engineering, Stony Brook UniversityVerified email at stonybrook.edu
David PaduaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jeremy JohnsonProfessor of Computer Science, Drexel UniversityVerified email at cs.drexel.edu
Pedro M. Q. AguiarInstitute for Systems and Robotics (ISR/IST), LARSyS, Instituto Superior Técnico, Univ LisboaVerified email at isr.ist.utl.pt
João MotaAssistant ProfessorVerified email at hw.ac.uk
Joao XavierInstitute for Systems and Robotics (ISR/IST), LARSyS, Instituto Superior Técnico, Univ LisboaVerified email at isr.ist.utl.pt
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gagandeep SinghPhD Student, Department of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Aliaksei SandryhailaResearch Scientist, Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Robert KilleyUCL (University College London)Verified email at ee.ucl.ac.uk
Rachid BouzianeUniversity college londonVerified email at ee.ucl.ac.uk
Daniele G. SpampinatoCarnegie Mellon UniversityVerified email at cmu.edu
Tiark RompfPurdue UniversityVerified email at purdue.edu
Alen StojanovETH ZurichVerified email at inf.ethz.ch
Martin RoettelerMicrosoftVerified email at microsoft.com
Andreas KrauseProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch

Markus Püschel

Professor of Computer Science, ETH Zurich, Switzerland

Verified email at inf.ethz.ch - Homepage

program generation software performance signal processing FPGAs program analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
SPIRAL: Code generation for DSP transforms M Püschel, JMF Moura, JR Johnson, D Padua, MM Veloso, BW Singer, ... Proceedings of the IEEE 93 (2), 232-275, 2005	904	2005
Multiplierless multiple constant multiplication Y Voronenko, M Püschel ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 2007	445	2007
D-ADMM: A communication-efficient distributed algorithm for separable optimization JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel IEEE Transactions on Signal Processing 61 (10), 2718-2723, 2013	295	2013
Spiral: A generator for platform-adapted libraries of signal processing algorithms M Püschel, JMF Moura, B Singer, JX Xiong, J Johnson, D Padua, ... International Journal of High Performance Computing Applications 18 (2), 279-279, 2004	242	2004
Distributed basis pursuit JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel IEEE Transactions on Signal Processing 60 (4), 1942-1956, 2012	198	2012
Algebraic signal processing theory: Foundation and 1-D time M Püschel, JMF Moura IEEE Transactions on Signal Processing 56 (8), 3572-3585, 2008	130	2008
The algebraic approach to the discrete cosine and sine transforms and their fast algorithms M Püschel, JMF Moura SIAM Journal on Computing 32 (5), 1280-1316, 2003	115	2003
Computer generation of hardware for linear digital signal processing transforms P Milder, F Franchetti, JC Hoe, M Püschel ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (2 …, 2012	114	2012
Discrete Fourier transform on multicore F Franchetti, M Püschel, Y Voronenko, S Chellappa, JMF Moura IEEE Signal Processing Magazine 26 (6), 90-102, 2009	112	2009
Algebraic signal processing theory: Cooley–Tukey type algorithms for DCTs and DSTs M Püschel, JMF Moura IEEE Transactions on Signal Processing 56 (4), 1502-1521, 2008	109	2008
Fast and effective robustness certification G Singh, T Gehr, M Mirman, M Püschel, M Vechev Advances in Neural Information Processing Systems, 10802-10813, 2018	108	2018
Active learning for multi-objective optimization M Zuluaga, A Krause, G Sergent, M Püschel International Conference on Machine Learning 28, 462-470, 2013	106	2013
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling CF Fang, RA Rutenbar, M Püschel, T Chen Design Automation Conference (DAC), 496-501, 2003	105	2003
FFT program generation for shared memory: SMP and multicore F Franchetti, Y Voronenko, M Püschel SC 2006 Conference, Proceedings of the ACM/IEEE, 51-51, 2006	103	2006
Real, tight frames with maximal robustness to erasures M Püschel, J Kovacevic Data Compression Conference, 63-72, 2005	97	2005
An abstract domain for certifying neural networks G Singh, T Gehr, M Püschel, M Vechev Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019	95	2019
Algebraic signal processing theory: 1-D space M Püschel, JMF Moura IEEE Transactions on Signal Processing 56 (8), 3586-3599, 2008	94	2008
Time-multiplexed multiple-constant multiplication P Tummeltshammer, JC Hoe, M Püschel IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2007	86	2007
In search of the optimal Walsh-Hadamard transform J Johnson, M Püschel IEEE International Conference on Acoustics, Speech, and Signal Processing …, 2000	86	2000
Automatic generation of customized discrete Fourier transform IPs G Nordin, PA Milder, JC Hoe, M Püschel Design Automation Conference (DAC), 471-474, 2005	83	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors