Follow
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Verified email at inf.ethz.ch - Homepage
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
10872005
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
7982019
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in neural information processing systems 31, 2018
5962018
Multiplierless multiple constant multiplication
Y Voronenko, M Püschel
ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 2007
5652007
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
4552013
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
2742004
Distributed basis pursuit
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Signal Processing 60 (4), 1942-1956, 2012
2482012
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2019
2172019
Beyond the single neuron convex barrier for neural network certification
G Singh, R Ganvir, M Püschel, M Vechev
Advances in Neural Information Processing Systems, 15072-15083, 2019
2162019
Active learning for multi-objective optimization
M Zuluaga, A Krause, G Sergent, M Püschel
International Conference on Machine Learning 28, 462-470, 2013
2092013
Algebraic signal processing theory: Foundation and 1-D time
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3572-3585, 2008
2012008
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
1592012
Applying the roofline model
G Ofenbeck, R Steinmann, V Caparros, DG Spampinato, M Püschel
Performance Analysis of Systems and Software (ISPASS), 2014 IEEE …, 2014
1512014
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
1452003
Fast polyhedra abstract domain
G Singh, M Püschel, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
1342017
Algebraic signal processing theory: 1-D space
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3586-3599, 2008
1342008
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
MN Müller, G Makarchuk, G Singh, M Püschel, M Vechev
arXiv preprint arXiv:2103.03638, 2021
129*2021
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
1292008
SPIRAL: Extreme performance portability
F Franchetti, TM Low, DT Popovici, RM Veras, DG Spampinato, ...
Proceedings of the IEEE 106 (11), 1935-1968, 2018
1262018
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
1262009
The system can't perform the operation now. Try again later.
Articles 1–20