Sotabase

Career

· Professor of Electrical and Computer Engineering, Carnegie Mellon University
· Postdoctoral Researcher, Drexel University and Carnegie Mellon University
· Associate Department Head of Computer Science, ETH Zurich
· Professor, ETH Zurich
· Diploma (M.Sc.) in Mathematics, University of Karlsruhe
· Doctorate (Ph.D.) in Computer Science, University of Karlsruhe
· Research Assistant, University of Karlsruhe

Publications (175)

SPIRAL: Code Generation for DSP Transforms
Proceedings of the IEEE · 2005
963
cited
An abstract domain for certifying neural networks
Proc. ACM Program. Lang. · 2019
778
cited
Fast and Effective Robustness Certification
Neural Information Processing Systems · 2018
519
cited
Multiplierless multiple constant multiplication
TALG · 2007
494
cited
Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms
The international journal of high performance computing applications · 2004
201
cited
Beyond the Single Neuron Convex Barrier for Neural Network Certification
Neural Information Processing Systems · 2019
188
cited
Active Learning for Multi-Objective Optimization
International Conference on Machine Learning · 2013
181
cited
Boosting Robustness Certification of Neural Networks
International Conference on Learning Representations · 2018
181
cited
Computer Generation of Hardware for Linear Digital Signal Processing Transforms
TODE · 2012
129
cited
Applying the roofline model
IEEE International Symposium on Performance Analysis of Systems and Software · 2014
121
cited
Algebraic Signal Processing Theory: Cooley–Tukey Type Algorithms for Real DFTs
IEEE Transactions on Signal Processing · 2008
113
cited
Fast polyhedra abstract domain
ACM-SIGACT Symposium on Principles of Programming Languages · 2017
109
cited
e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem
Journal of machine learning research · 2016
108
cited
SPIRAL: Extreme Performance Portability
Proceedings of the IEEE · 2018
108
cited
FFT Program Generation for Shared Memory: SMP and Multicore
International Conference on Software Composition · 2006
95
cited
Discrete fourier transform on multicore
IEEE Signal Processing Magazine · 2009
93
cited
Time-Multiplexed Multiple-Constant Multiplication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007
83
cited
Efficient Compression of QRS Complexes Using Hermite Expansion
IEEE Transactions on Signal Processing · 2012
81
cited
A Basic Linear Algebra Compiler
IEEE/ACM International Symposium on Code Generation and Optimization · 2014
78
cited
System Integration
Encyclopedia of Parallel Computing · 2011
75
cited
Sotabase
Markus Püschel | Researcher Profile | Sotabase | Sotabase