Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Verified email at - Homepage
Cited by
Cited by
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
Multiplierless multiple constant multiplication
Y Voronenko, M Püschel
ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 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
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
Distributed basis pursuit
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Signal Processing 60 (4), 1942-1956, 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
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
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
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
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
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
Active learning for multi-objective optimization
M Zuluaga, A Krause, G Sergent, M Püschel
International Conference on Machine Learning 28, 462-470, 2013
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
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
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
Real, tight frames with maximal robustness to erasures
M Püschel, J Kovacevic
Data Compression Conference, 63-72, 2005
Algebraic signal processing theory: 1-D space
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3586-3599, 2008
Time-multiplexed multiple-constant multiplication
P Tummeltshammer, JC Hoe, M Püschel
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2007
In search of the optimal Walsh-Hadamard transform
J Johnson, M Püschel
IEEE International Conference on Acoustics, Speech, and Signal Processing …, 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
The system can't perform the operation now. Try again later.
Articles 1–20