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 · 829 citations

Computing, Computer Engineering, Computer Science +13

An abstract domain for certifying neural networks

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

Computing, Computer Engineering, Computer Science +15

Multiplierless multiple constant multiplication

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

Computing, Computer Engineering, Computer Science +10

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 · 375 citations · Full text

Computing, Communication, Computer Science +17

Fast and Effective Robustness Certification

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

Computing, Computer Engineering, Computer Science +10