Markus Püschel

SPIRAL: Code Generation for DSP Transforms

Markus Püschel, José M. F. Moura, Jeremy Johnson et al. · Proceedings of the IEEE · 2005 · 822 citations

Dsp Transforms, Engineering, Advanced Computing +18

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · Proceedings of the ACM on Programming Languages · 2019 · 587 citations · Full text

Artificial Intelligence, Geometric Learning, Convolutional Neural Network +18

Multiplierless multiple constant multiplication

Yevgen Voronenko, Markus Püschel · ACM Transactions on Algorithms · 2007 · 420 citations

Engineering, Advanced Computing, Computer Architecture +16

D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization

João F. C. Mota, João Xavier, Pedro M. Q. Aguiar et al. · IEEE Transactions on Signal Processing · 2013 · 371 citations · Full text

Mathematical Programming, Distributed Algorithm, Engineering +15

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman et al. · neural information processing systems · 2018 · 260 citations

Engineering, Verification, Robustness Testing +19