Markus Püschel

Most-cited papers

An abstract domain for certifying neural networks
Gagandeep Singh, T. Gehr, Markus Püschel, Martin T. Vechev
2019Proc. ACM Program. Lang.890 citations Open access
Semantic Scholar
Fast and Effective Robustness Certification
Gagandeep Singh, T. Gehr, M. Mirman, Markus Püschel +1 more
2018Neural Information Processing Systems561 citations
Semantic Scholar
D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2012IEEE Transactions on Signal Processing404 citations Open access
Semantic Scholar
Distributed Basis Pursuit
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2010IEEE Transactions on Signal Processing213 citations Open access
Semantic Scholar
Active Learning for Multi-Objective Optimization
M. Zuluaga, Guillaume Sergent, Andreas Krause, Markus Püschel
2013International Conference on Machine Learning193 citations
Semantic Scholar
Computer Generation of Hardware for Linear Digital Signal Processing Transforms
Peter Milder, F. Franchetti, J. Hoe, Markus Püschel
2012TODE133 citations
Semantic Scholar
Algebraic Signal Processing Theory: 1-D Space
Markus Püschel, José M. F. Moura
2008IEEE Transactions on Signal Processing127 citations Open access
Semantic Scholar
Fast polyhedra abstract domain
Gagandeep Singh, Markus Püschel, Martin T. Vechev
2017ACM-SIGACT Symposium on Principles of Programming Languages117 citations
Semantic Scholar
e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem
M. Zuluaga, Andreas Krause, Markus Püschel
2016Journal of machine learning research116 citations
Semantic Scholar
Distributed Optimization With Local Domains: Applications in MPC and Network Flows
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2013IEEE Transactions on Automatic Control98 citations Open access
Semantic Scholar
Efficient Compression of QRS Complexes Using Hermite Expansion
A. Sandryhaila, S. Saba, Markus Püschel, J. Kovačević
2012IEEE Transactions on Signal Processing82 citations Open access
Semantic Scholar
A Basic Linear Algebra Compiler
Daniele G. Spampinato, Markus Püschel
2014IEEE/ACM International Symposium on Code Generation and Optimization80 citations
Semantic Scholar
Operator Language: A Program Generation Framework for Fast Kernels
F. Franchetti, Frédéric de Mesmay, Daniel S. McFarlin, Markus Püschel
2009Domain-Specific Languages74 citations
Semantic Scholar
Generation of optical OFDM signals using 21.4 GS/s real time digital signal processing.
Y. Benlachtar, P. Watts, R. Bouziane, Peter Milder +7 more
2009Optics Express73 citations Open access
Semantic Scholar
Bandit-based optimization on graphs with application to library performance tuning
Frédéric de Mesmay, Arpad Rimmel, Y. Voronenko, Markus Püschel
2009International Conference on Machine Learning71 citations Open access
Semantic Scholar
Distributed ADMM for model predictive control and congestion control
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2012IEEE Conference on Decision and Control70 citations Open access
Semantic Scholar
Spiral in scala: towards the systematic construction of generators for performance libraries
Georg Ofenbeck, Tiark Rompf, A. Stojanov, Martin Odersky +1 more
2014International Conference on Generative Programming: Concepts and Experiences69 citations Open access
Semantic Scholar
Permuting streaming data using RAMs
Markus Püschel, Peter Milder, J. Hoe
2009JACM58 citations
Semantic Scholar
Streaming Sorting Networks
M. Zuluaga, Peter Milder, Markus Püschel
2016TODE52 citations
Semantic Scholar
A Proof of Convergence For the Alternating Direction Method of Multipliers Applied to Polyhedral-Constrained Functions
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
201152 citations
Semantic Scholar
Making numerical program analysis fast
Gagandeep Singh, Markus Püschel, Martin T. Vechev
2015ACM-SIGPLAN Symposium on Programming Language Design and Implementation48 citations
Semantic Scholar
Computer generation of streaming sorting networks
M. Zuluaga, Peter Milder, Markus Püschel
2012DAC Design Automation Conference 201247 citations
Semantic Scholar
Computer Generation of General Size Linear Transform Libraries
Y. Voronenko, Frédéric de Mesmay, Markus Püschel
20092009 International Symposium on Code Generation and Optimization46 citations
Semantic Scholar
"Smart" design space sampling to predict Pareto-optimal solutions
M. Zuluaga, Andreas Krause, Peter Milder, Markus Püschel
2012ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems42 citations Open access
Semantic Scholar
Automatic SIMD vectorization of fast fourier transforms for the larrabee and AVX instruction sets
Daniel S. McFarlin, Volodymyr Arbatov, F. Franchetti, Markus Püschel
2011International Conference on Supercomputing42 citations
Semantic Scholar
Algebraic Signal Processing Theory: 1-D Nearest Neighbor Models
A. Sandryhaila, J. Kovačević, Markus Püschel
2012IEEE Transactions on Signal Processing41 citations Open access
Semantic Scholar
Extending the roofline model: Bottleneck analysis with microarchitectural constraints
Victoria Caparrós Cabezas, Markus Püschel
2014IEEE International Symposium on Workload Characterization40 citations
Semantic Scholar
A practical construction for decomposing numerical abstract domains
Gagandeep Singh, Markus Püschel, Martin T. Vechev
2017Proc. ACM Program. Lang.36 citations Open access
Semantic Scholar
RandIR: differential testing for embedded compilers
Georg Ofenbeck, Tiark Rompf, Markus Püschel
2016SCALA@SPLASH36 citations Open access
Semantic Scholar
Fast Numerical Program Analysis with Reinforcement Learning
Gagandeep Singh, Markus Püschel, Martin T. Vechev
2018International Conference on Computer Aided Verification33 citations Open access
Semantic Scholar
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems
Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth +9 more
2015Summit on Advances in Programming Languages32 citations
Semantic Scholar
FFT (Fast Fourier Transform)
F. Franchetti, Markus Püschel
2011Encyclopedia of Parallel Computing32 citations
Semantic Scholar
Compression of QRS complexes using Hermite expansion
A. Sandryhaila, J. Kovačević, Markus Püschel
2011IEEE International Conference on Acoustics, Speech, and Signal Processing27 citations Open access
Semantic Scholar
Generating high performance pruned FFT implementations
F. Franchetti, Markus Püschel
2009IEEE International Conference on Acoustics, Speech, and Signal Processing24 citations
Semantic Scholar
Algebraic Signal Processing Theory: Cooley-Tukey-Type Algorithms for Polynomial Transforms Based on Induction
A. Sandryhaila, J. Kovačević, Markus Püschel
2010SIAM Journal on Matrix Analysis and Applications23 citations Open access
Semantic Scholar
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
Basilio B. Fraguela, Y. Voronenko, Markus Püschel
2009International Conference on Parallel Architectures and Compilation Techniques23 citations
Semantic Scholar
Automatic generation of streaming datapaths for arbitrary fixed permutations
Peter Milder, J. Hoe, Markus Püschel
20092009 Design, Automation & Test in Europe Conference & Exhibition23 citations
Semantic Scholar
Basis Pursuit in sensor networks
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2011IEEE International Conference on Acoustics, Speech, and Signal Processing22 citations
Semantic Scholar
Offline library adaptation using automatically generated heuristics
Frédéric de Mesmay, Y. Voronenko, Markus Püschel
2010IEEE International Parallel and Distributed Processing Symposium22 citations Open access
Semantic Scholar
SIMD intrinsics on managed language runtimes
A. Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
2018IEEE/ACM International Symposium on Code Generation and Optimization20 citations
Semantic Scholar
Optimal Circuits for Streamed Linear Permutations Using RAM
F. Serre, Thomas Holenstein, Markus Püschel
2016Symposium on Field Programmable Gate Arrays18 citations
Semantic Scholar
D-ADMM: A distributed algorithm for compressed sensing and other separable optimization problems
J. Mota, João M. F. Xavier, P. Aguiar, Markus Püschel
2012IEEE International Conference on Acoustics, Speech, and Signal Processing17 citations
Semantic Scholar
Design studies for ASIC implementations of 28 GS/s optical QPSK- and 16-QAM-OFDM transceivers.
R. Bouziane, Peter Milder, R. Koutsoyannis, Y. Benlachtar +4 more
2011Optics Express17 citations Open access
Semantic Scholar
Computer Generation of Efficient Software Viterbi Decoders
Frédéric de Mesmay, S. Chellappa, F. Franchetti, Markus Püschel
2010International Conference on High Performance Embedded Architectures and Compilers17 citations Open access
Semantic Scholar
Staging for generic programming in space and time
Georg Ofenbeck, Tiark Rompf, Markus Püschel
2017International Conference on Generative Programming: Concepts and Experiences16 citations
Semantic Scholar
Hardware implementation of the discrete fourier transform with non-power-of-two problem size
Peter Milder, F. Franchetti, J. Hoe, Markus Püschel
2010IEEE International Conference on Acoustics, Speech, and Signal Processing16 citations Open access
Semantic Scholar
Algebraic Signal Processing Theory: Sampling for Infinite and Finite 1-D Space
J. Kovačević, Markus Püschel
2010IEEE Transactions on Signal Processing15 citations Open access
Semantic Scholar
21.4 GS/s real-time DSP-based optical OFDM signal generation and transmission over 1600 km of uncompensated fibre
Y. Benlachtar, P. Watts, R. Bouziane, Peter Milder +5 more
2009European Conference on Optical Communication15 citations
Semantic Scholar
Improving fixed-point accuracy of FFT cores in O-OFDM systems
R. Koutsoyannis, Peter Milder, C. R. Berger, M. Glick +2 more
2012IEEE International Conference on Acoustics, Speech, and Signal Processing14 citations
Semantic Scholar
High-performance synthetic aperture radar image formation on commodity multicore architectures
Daniel S. McFarlin, F. Franchetti, Markus Püschel, José M. F. Moura
2009Defense + Commercial Sensing14 citations
Semantic Scholar