Markus Püschel

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 68

Top Venues

CoRR

ICASSP

CGO

IEEE Trans. Signal Process.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Panagiotis Misiakos, Vedran Mihal, Markus Püschel
Learning Signals and Graphs from Time-Series Graph Data with Few Causes. ICASSP (2024)
Joao Rivera, Franz Franchetti, Markus Püschel
Floating-Point TVPI Abstract Domain. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Panagiotis Misiakos, Chris Wendler, Markus Püschel
Learning DAGs from Data with Few Root Causes. CoRR (2023)
Bastian Seifert, Chris Wendler, Markus Püschel
Causal Fourier Analysis on Directed Acyclic Graphs and Posets. IEEE Trans. Signal Process. 71 (2023)
Vedran Mihal, Markus Püschel
Möbius Total Variation for Directed Acyclic Graphs. ICASSP (2023)
Mathieu Chevalley, Jacob Sackett-Sanders, Yusuf Roohani, Pascal Notin, Artemy Bakulin, Dariusz Brzezinski, Kaiwen Deng, Yuanfang Guan, Justin Hong, Michael Ibrahim, Wojciech Kotlowski, Marcin Kowiel, Panagiotis Misiakos, Achille Nazaret, Markus Püschel, Chris Wendler, Arash Mehrjou, Patrick Schwab
The CausalBench challenge: A machine learning contest for gene network inference from single-cell perturbation data. CoRR (2023)
Panagiotis Misiakos, Chris Wendler, Markus Püschel
Learning DAGs from Data with Few Root Causes. NeurIPS (2023)
Tommaso Pegolotti, Elias Frantar, Dan Alistarh, Markus Püschel
QIGen: Generating Efficient Kernels for Quantized Inference on Large Language Models. CoRR (2023)
Vedran Mihal, Bastian Seifert, Markus Püschel
Porting Signal Processing from Undirected to Directed Graphs: Case Study Signal Denoising with Unrolling Networks. EUSIPCO (2022)
Tommaso Pegolotti, Bastian Seifert, Markus Püschel
Fast Möbius and Zeta Transforms. CoRR (2022)
Jakob Weissteiner, Chris Wendler, Sven Seuken, BenjaminLubin, Markus Püschel
Fourier Analysis-based Iterative Combinatorial Auctions. IJCAI (2022)
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin T. Vechev
PRIMA: general and precise neural network certification via scalable convex hull approximations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Joao Rivera, Franz Franchetti, Markus Püschel
A Compiler for Sound Floating-Point Computations using Affine Arithmetic. CGO (2022)
Bastian Seifert, Chris Wendler, Markus Püschel
Causal Fourier Analysis on Directed Acyclic Graphs and Posets. CoRR (2022)
Eliza Wszola, Martin Jaggi, Markus Püschel
Faster Parallel Training of Word Embeddings. HiPC (2021)
Markus Püschel, Chris Wendler
Discrete Signal Processing with Set Functions. IEEE Trans. Signal Process. 69 (2021)
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin T. Vechev
Precise Multi-Neuron Abstractions for Neural Network Certification. CoRR (2021)
Bastian Seifert, Markus Püschel
Digraph Signal Processing With Generalized Boundary Conditions. IEEE Trans. Signal Process. 69 (2021)
Markus Püschel, Bastian Seifert, Chris Wendler
Discrete Signal Processing on Meet/Join Lattices. IEEE Trans. Signal Process. 69 (2021)
Bastian Seifert, Chris Wendler, Markus Püschel
Wiener Filter on Meet/Join Lattices. ICASSP (2021)
Joao Rivera, Franz Franchetti, Markus Püschel
An Interval Compiler for Sound Floating-Point Computations. CGO (2021)
Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel
Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases. AAAI (2021)
Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin T. Vechev
Scaling Polyhedral Neural Network Verification on GPUs. MLSys (2021)
Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel
Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases. CoRR (2020)
Markus Püschel, Bastian Seifert, Chris Wendler
Discrete Signal Processing on Meet/Join Lattices. CoRR (2020)
François Serre, Markus Püschel
DSL-Based Hardware Generation with Scala: Example Fast Fourier Transforms and Sorting Networks. ACM Trans. Reconfigurable Technol. Syst. 13 (1) (2020)
Soummya Kar, Markus Püschel, José M. F. Moura
Finite-Time In-Network Computation of Linear Transforms. ACSSC (2020)
Markus Püschel, Chris Wendler
Discrete Signal Processing with Set Functions. CoRR (2020)
Bastian Seifert, Markus Püschel
Digraph Signal Processing with Generalized Boundary Conditions. CoRR (2020)
Nezihe Merve Gürel, Kaan Kara, Alen Stojanov, Tyler M. Smith, Thomas Lemmin, Dan Alistarh, Markus Püschel, Ce Zhang
Compressive Sensing Using Iterative Hard Thresholding With Low Precision Data Representation: Theory and Applications. IEEE Trans. Signal Process. 68 (2020)
Jakob Weissteiner, Chris Wendler, Sven Seuken, Benjamin Lubin, Markus Püschel
Fourier Analysis-based Iterative Combinatorial Auctions. CoRR (2020)
Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev
Learning fast and precise numerical analysis. PLDI (2020)
Christoph Müller, Gagandeep Singh, Markus Püschel, Martin T. Vechev
Neural Network Robustness Verification on GPUs. CoRR (2020)
Panagiotis Misiakos, Chris Wendler, Markus Püschel
Diagonalizable Shift and Filters for Directed Graphs Based on the Jordan-Chevalley Decomposition. ICASSP (2020)
Chris Wendler, Dan Alistarh, Markus Püschel
Powerset Convolutional Neural Networks. CoRR (2019)
Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin T. Vechev
Beyond the Single Neuron Convex Barrier for Neural Network Certification. NeurIPS (2019)
Alen Stojanov, Tiark Rompf, Markus Püschel
A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. GPCE (2019)
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3 (POPL) (2019)
Eliza Wszola, Celestine Mendler-Dünner, Martin Jaggi, Markus Püschel
On Linear Learning with Manycore Processors. CoRR (2019)
François Serre, Markus Püschel
In Search of the Optimal Walsh-hadamard Transform for Streamed Parallel Processing. ICASSP (2019)
Chris Wendler, Markus Püschel
Sampling Signals On Meet/Join Lattices. GlobalSIP (2019)
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
Boosting Robustness Certification of Neural Networks. ICLR (Poster) (2019)
Chris Wendler, Markus Püschel, Dan Alistarh
Powerset Convolutional Neural Networks. NeurIPS (2019)
Eliza Wszola, Celestine Mendler-Dünner, Martin Jaggi, Markus Püschel
On Linear Learning with Manycore Processors. HiPC (2019)
François Serre, Markus Püschel
DSL-Based Modular IP Core Generators: Example FFT and Related Structures. ARITH (2019)
Daniele G. Spampinato, Diego Fabregat-Traver, Markus Püschel, Paolo Bientinesi
Program Generation for Linear Algebra Using Multiple Layers of DSLs. CoRR (2019)
Markus Püschel
A Discrete Signal Processing Framework for Meet/join Lattices with Applications to Hypergraphs and Trees. ICASSP (2019)
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin T. Vechev
Fast and Effective Robustness Certification. NeurIPS (2018)
Gagandeep Singh, Markus Püschel, Martin T. Vechev
A practical construction for decomposing numerical abstract domains. Proc. ACM Program. Lang. 2 (POPL) (2018)
Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Püschel
Program Generation for Small-Scale Linear Algebra Applications. CoRR (2018)
Alen Stojanov, Tyler Michael Smith, Dan Alistarh, Markus Püschel
Fast Quantized Arithmetic on x86: Trading Compute for Data Movement. SiPS (2018)
Franz Franchetti, Tze Meng Low, Doru-Thom Popovici, Richard Michael Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, José M. F. Moura
SPIRAL: Extreme Performance Portability. Proc. IEEE 106 (11) (2018)
Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Püschel
Program generation for small-scale linear algebra applications. CGO (2018)
François Serre, Markus Püschel
A DSL-Based FFT Hardware Generator in Scala. FPL (2018)
François Serre, Markus Püschel
Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations. FPGA (2018)
Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
SIMD intrinsics on managed language runtimes. CGO (2018)
Markus Püschel
A Discrete Signal Processing Framework for Set Functions. ICASSP (2018)
Gagandeep Singh, Markus Püschel, Martin T. Vechev
Fast Numerical Program Analysis with Reinforcement Learning. CAV (1) (2018)
Georg Ofenbeck, Tiark Rompf, Markus Püschel
Staging for generic programming in space and time. GPCE (2017)
François Serre, Markus Püschel
Optimal Streamed Linear Permutations. ARITH (2017)
Gagandeep Singh, Markus Püschel, Martin T. Vechev
Fast polyhedra abstract domain. POPL (2017)
François Serre, Markus Püschel
Characterizing and Enumerating Walsh-Hadamard Transform Algorithms. CoRR (2017)
Georg Ofenbeck, Tiark Rompf, Markus Püschel
RandIR: differential testing for embedded compilers. SCALA@SPLASH (2016)
Marcela Zuluaga, Andreas Krause, Markus Püschel
e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem. J. Mach. Learn. Res. 17 (2016)
Marcela Zuluaga, Peter A. Milder, Markus Püschel
Streaming Sorting Networks. ACM Trans. Design Autom. Electr. Syst. 21 (4) (2016)
François Serre, Thomas Holenstein, Markus Püschel
Optimal Circuits for Streamed Linear Permutations Using RAM. FPGA (2016)
Daniele G. Spampinato, Markus Püschel
A basic linear algebra compiler for structured matrices. CGO (2016)
Markus Püschel
Program generation for performance. ASE (2016)
Gagandeep Singh, Markus Püschel, Martin T. Vechev
Making numerical program analysis fast. PLDI (2015)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Distributed Optimization With Local Domains: Applications in MPC and Network Flows. IEEE Trans. Autom. Control. 60 (7) (2015)
Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL (2015)
Nikolaos Kyrtatas, Daniele G. Spampinato, Markus Püschel
A basic linear algebra compiler for embedded processors. DATE (2015)
Benjamin Hess, Thomas R. Gross, Markus Püschel
Automatic locality-friendly interface extension of numerical functions. GPCE (2014)
Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel
Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI (2014)
Victoria Caparrós Cabezas, Markus Püschel
Extending the roofline model: Bottleneck analysis with microarchitectural constraints. IISWC (2014)
Jörn Schumacher, Markus Püschel
High-performance sparse fast Fourier transforms. SiPS (2014)
Georg Ofenbeck, Ruedi Steinmann, Victoria Caparrós Cabezas, Daniele G. Spampinato, Markus Püschel
Applying the roofline model. ISPASS (2014)
Daniele G. Spampinato, Markus Püschel
A Basic Linear Algebra Compiler. CGO (2014)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Distributed Optimization With Local Domains: Applications in MPC and Network Flows CoRR (2013)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
A unified algorithmic approach to distributed optimization. GlobalSIP (2013)
Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE (2013)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Distributed compressed sensing algorithms: Completing the puzzle. GlobalSIP (2013)
Marcela Zuluaga, Guillaume Sergent, Andreas Krause, Markus Püschel
Active Learning for Multi-Objective Optimization. ICML (1) (2013)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization. IEEE Trans. Signal Process. 61 (10) (2013)
Robert Koutsoyannis, Peter A. Milder, Christian R. Berger, Madeleine Glick, James C. Hoe, Markus Püschel
Improving fixed-point accuracy of FFT cores in O-OFDM systems. ICASSP (2012)
Marcela Zuluaga, Peter A. Milder, Markus Püschel
Computer generation of streaming sorting networks. DAC (2012)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Distributed ADMM for model predictive control and congestion control. CDC (2012)
Markus Püschel
Compiling math to fast code. PEPM (2012)
Marcela Zuluaga, Andreas Krause, Peter A. Milder, Markus Püschel
"Smart" design space sampling to predict Pareto-optimal solutions. LCTES (2012)
Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel
Computer Generation of Hardware for Linear Digital Signal Processing Transforms. ACM Trans. Design Autom. Electr. Syst. 17 (2) (2012)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
D-ADMM: A distributed algorithm for compressed sensing and other separable optimization problems. ICASSP (2012)
Aliaksei Sandryhaila, Samir Saba, Markus Püschel, Jelena Kovacevic
Efficient Compression of QRS Complexes Using Hermite Expansion. IEEE Trans. Signal Process. 60 (2) (2012)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
ADMM for consensus on colored networks. CDC (2012)
Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
Algebraic Signal Processing Theory: 1-D Nearest Neighbor Models. IEEE Trans. Signal Process. 60 (5) (2012)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Distributed Basis Pursuit. IEEE Trans. Signal Process. 60 (4) (2012)
Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
Compression of QRS complexes using Hermite expansion. ICASSP (2011)
Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
Algebraic Signal Processing Theory: Cooley-Tukey-Type Algorithms for Polynomial Transforms Based on Induction. SIAM J. Matrix Anal. Appl. 32 (2) (2011)
Christian R. Berger, Volodymyr Arbatov, Yevgen Voronenko, Franz Franchetti, Markus Püschel
Real-time software implementation of an IEEE 802.11a baseband receiver on Intel multicore. ICASSP (2011)
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
Basis Pursuit in sensor networks. ICASSP (2011)
Markus Püschel
Automatic performance programming. Onward! (2011)

Markus Püschel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus Püschel