Markus Püschel

发表

ε-PAL: an active learning approach to the multi-objective optimization problem

M. Zuluaga, Andreas Krause, Markus Püschel, 2016 .

Markus Püschel, Gagandeep Singh, Martin T. Vechev, 2017, POPL.

Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Rob A. Rutenbar, Tsuhan Chen, Markus Püschel, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Algebraic Signal Processing Theory: Cooley–Tukey Type Algorithms for DCTs and DSTs

José M. F. Moura, Markus Püschel, Markus Püschel, 2007, IEEE Transactions on Signal Processing.

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

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2012, IEEE Transactions on Signal Processing.

Building Program Generators for High-Performance Spiral on Scala

Markus Püschel, Martin Odersky, Tiark Rompf, 2014 .

Discrete Fourier Transform on Multicores

José M. F. Moura, Markus Püschel, F. Franchetti, 2009 .

Parallelism in Spiral

Markus Püschel, F. Franchetti, Y. Voronenko, 2006 .

Cooley-Tukey FFT like algorithm for the discrete triangle transform

Markus Püschel, M. Rötteler, 2004 .

DFT and FFT : An Algebraic View ∗

Markus Püschel, 2009 .

Cooley-Tukey FFT like algorithms for the DCT

Markus Püschel, Markus Püschel, 2003, ICASSP.

Special issue on computer algebra and signal processing: forward by the guest editors

José M. F. Moura, Daniel N. Rockmore, Markus Püschel, 2004, J. Symb. Comput..

Computer generation of fast fourier transforms for the cell broadband engine

Franz Franchetti, Markus Püschel, Srinivas Chellappa, 2009, ICS '09.

A New Class of Real Lapped Tight Frame Transforms Derived by Seeding

Markus Püschel, J. Kovacevic, A. Sandryhaila, 2009 .

Fast Quantum Fourier Transforms for a Class of Non-Abelian Groups

Markus Püschel, M. Rötteler, T. Beth, 1998, AAECC.

Permuting streaming data using RAMs

James C. Hoe, Markus Püschel, Peter A. Milder, 2009, JACM.

Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms

José M. F. Moura, David A. Padua, Manuela M. Veloso, 2004, Int. J. High Perform. Comput. Appl..

Symmetry-based matrix factorization

Markus Püschel, Sebastian Egner, Markus Püschel, 2004, J. Symb. Comput..

Automatic generation of fast discrete signal transforms

Markus Püschel, Sebastian Egner, Markus Püschel, 2001, IEEE Trans. Signal Process..

SPIRAL: Code Generation for DSP Transforms

Franz Franchetti, José M. F. Moura, David A. Padua, 2005, Proceedings of the IEEE.

Systematic Construction of Real Lapped Tight Frame Transforms

Jelena Kovacevic, Aliaksei Sandryhaila, Markus Püschel, 2010, IEEE Transactions on Signal Processing.

Real, tight frames with maximal robustness to erasures

Jelena Kovacevic, Markus Püschel, Markus Püschel, 2005, Data Compression Conference.

Streaming Sorting Networks

Markus Püschel, Peter A. Milder, Marcela Zuluaga, 2016, TODE.

An abstract domain for certifying neural networks

Timon Gehr, Markus Püschel, Gagandeep Singh, 2019, Proc. ACM Program. Lang..

Automatic implementation and platform adaptation of discrete filtering and wavelet algorithms

José M. F. Moura, Jose M. F. Moura, Markus Püschel, 2004 .

Distributed Basis Pursuit

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2010, IEEE Transactions on Signal Processing.

How to Write Fast Numerical Code: A Small Introduction

Franz Franchetti, Markus Püschel, Srinivas Chellappa, 2007, GTTSE.

Fast and Effective Robustness Certification

Matthew Mirman, Timon Gehr, Markus Püschel, 2018, NeurIPS.

Fast Automatic Generation of DSP Algorithms

José M. F. Moura, Manuela M. Veloso, Markus Püschel, 2001, International Conference on Computational Science.

Optimal Circuits for Streamed Linear Permutations Using RAM

Thomas Holenstein, Markus Püschel, François Serre, 2016, FPGA.

Algebraic Signal Processing Theory: Cooley–Tukey Type Algorithms for Real DFTs

Markus Püschel, Yevgen Voronenko, Markus Püschel, 2008, IEEE Transactions on Signal Processing.

The Algebraic Approach to the Discrete Cosine and Sine Transforms and Their Fast Algorithms

José M. F. Moura, Markus Püschel, Markus Püschel, 2003, SIAM J. Comput..

Multiplierless multiple constant multiplication

Markus Püschel, Yevgen Voronenko, Markus Püschel, 2007, TALG.

Automatic cost minimization for multiplierless implementations of discrete signal transforms

James C. Hoe, Markus Püschel, Adam C. Zelinski, 2004, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing.

e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem

Andreas Krause, Markus Püschel, Marcela Zuluaga, 2016, J. Mach. Learn. Res..

Bandit-based optimization on graphs with application to library performance tuning

Markus Püschel, Yevgen Voronenko, Arpad Rimmel, 2009, ICML '09.

Distributed Optimization With Local Domains: Applications in MPC and Network Flows

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2013, IEEE Transactions on Automatic Control.

Active Learning for Multi-Objective Optimization

Andreas Krause, Markus Püschel, Guillaume Sergent, 2013, ICML.

FFT (Fast Fourier Transform)

Franz Franchetti, Markus Püschel, Markus Püschel, 2011, Encyclopedia of Parallel Computing.

Algebraic Signal Processing Theory: 1-D Nearest Neighbor Models

Jelena Kovacevic, Aliaksei Sandryhaila, Markus Püschel, 2012, IEEE Transactions on Signal Processing.

Fast Numerical Program Analysis with Reinforcement Learning

Markus Püschel, Gagandeep Singh, Martin T. Vechev, 2018, CAV.

A practical construction for decomposing numerical abstract domains

Markus Püschel, Gagandeep Singh, Martin T. Vechev, 2017, Proc. ACM Program. Lang..

Formal loop merging for signal transforms

Franz Franchetti, Markus Püschel, Yevgen Voronenko, 2005, PLDI '05.

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters

Tiark Rompf, Alen Stojanov, Markus Püschel, 2014, ARRAY@PLDI.

Spiral in scala: towards the systematic construction of generators for performance libraries

Martin Odersky, Tiark Rompf, Alen Stojanov, 2014, GPCE '13.

Automatic performance programming

Markus Püschel, Markus Püschel, 2011, Onward! 2011.

Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling

Basilio B. Fraguela, Markus Püschel, Yevgen Voronenko, 2009, 2009 18th International Conference on Parallel Architectures and Compilation Techniques.

Operator Language: A Program Generation Framework for Fast Kernels

Franz Franchetti, Markus Püschel, Daniel S. McFarlin, 2009, DSL.

Computer Generation of General Size Linear Transform Libraries

Markus Püschel, Yevgen Voronenko, Frédéric de Mesmay, 2009, 2009 International Symposium on Code Generation and Optimization.

FFT Program Generation for Shared Memory: SMP and Multicore

M. Puschel, F. Franchetti, Y. Voronenko, 2006, ACM/IEEE SC 2006 Conference (SC'06).

Program generation for the all-pairs shortest path problem

Franz Franchetti, Markus Püschel, Sung-Chul Han, 2006, 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT).

Automatically Tuned FFTs for BlueGene/L's Double FPU

Franz Franchetti, Stefan Kral, Juergen Lorenz, 2004, VECPAR.

Program Composition and Optimization: An Introduction

Christoph W. Kessler, David A. Padua, Welf Löwe, 2010, Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond.

Automatically Optimized FFT Codes for the BlueGene/L Supercomputer

Franz Franchetti, Stefan Kral, Christoph W. Ueberhuber, 2005 .

Axonal bouton modeling, detection and distribution analysis for the study of neural circuit organization and plasticity

Jelena Kovacevic, Gustavo K. Rohde, Markus Püschel, 2008, 2008 5th IEEE International Symposium on Biomedical Imaging: From Nano to Macro.

Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers

Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, 2006, ISPA.

A basic linear algebra compiler for embedded processors

Markus Püschel, Daniele G. Spampinato, Nikolaos Kyrtatas, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

RandIR: differential testing for embedded compilers

Tiark Rompf, Markus Püschel, Georg Ofenbeck, 2016, SCALA@SPLASH.

Fast Quantized Arithmetic on x86: Trading Compute for Data Movement

Dan Alistarh, Alen Stojanov, Markus Püschel, 2018, 2018 IEEE International Workshop on Signal Processing Systems (SiPS).

Decomposing Monomial Representations of Solvable Groups

Markus Püschel, Markus Püschel, 2002, J. Symb. Comput..

A unified algorithmic approach to distributed optimization

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2013, 2013 IEEE Global Conference on Signal and Information Processing.

Algebraic Signal Processing Theory: 1-D Space

José M. F. Moura, Markus Püschel, Markus Püschel, 2008, IEEE Transactions on Signal Processing.

Distributed ADMM for model predictive control and congestion control

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

D-ADMM: A distributed algorithm for compressed sensing and other separable optimization problems

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2012, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

Basis Pursuit in sensor networks

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2011, 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

Solving puzzles related to permutation groups

Markus Püschel, Sebastian Egner, Markus Püschel, 1998, ISSAC '98.

Automatic SIMD vectorization of fast fourier transforms for the larrabee and AVX instruction sets

Franz Franchetti, Markus Püschel, Volodymyr Arbatov, 2011, ICS '11.

Extending the roofline model: Bottleneck analysis with microarchitectural constraints

Markus Püschel, Victoria Caparrós Cabezas, Markus Püschel, 2014, 2014 IEEE International Symposium on Workload Characterization (IISWC).

Formal datapath representation and manipulation for implementing DSP transforms

Franz Franchetti, James C. Hoe, Markus Püschel, 2008, 2008 45th ACM/IEEE Design Automation Conference.

A Rewriting System for the Vectorization of Signal Transforms

Franz Franchetti, Markus Püschel, Yevgen Voronenko, 2006, VECPAR.

Generating SIMD Vectorized Permutations

Franz Franchetti, Markus Püschel, Markus Püschel, 2008, CC.

Computer Generation of Hardware for Linear Digital Signal Processing Transforms

Franz Franchetti, James C. Hoe, Markus Püschel, 2012, TODE.

A Basic Linear Algebra Compiler

Markus Püschel, Daniele G. Spampinato, Markus Püschel, 2014, CGO '14.

Algebraic signal processing theory: Cooley–Tukey type algorithms on the 2-D hexagonal spatial lattice

Martin Rötteler, Markus Püschel, Markus Püschel, 2008, Applicable Algebra in Engineering, Communication and Computing.

Algebraic Signal Processing Theory: 2-D Spatial Hexagonal Lattice

M. Puschel, Markus Püschel, M. Rötteler, 2007, IEEE Transactions on Image Processing.

Algebraic Signal Processing Theory: Cooley-Tukey-Type Algorithms for Polynomial Transforms Based on Induction

Jelena Kovacevic, Aliaksei Sandryhaila, Markus Püschel, 2010, SIAM J. Matrix Anal. Appl..

Algebraic Signal Processing Theory pdf

José M. F. Moura, Markus Püschel, Markus Püschel, 2006, ArXiv.

Staging for generic programming in space and time

Tiark Rompf, Markus Püschel, Georg Ofenbeck, 2017, GPCE.

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems

Kunle Olukotun, Nada Amin, Tiark Rompf, 2015, SNAPL.

Efficient Compression of QRS Complexes Using Hermite Expansion

Jelena Kovacevic, Aliaksei Sandryhaila, Markus Püschel, 2012, IEEE Transactions on Signal Processing.

Compression of QRS complexes using Hermite expansion

Jelena Kovacevic, Aliaksei Sandryhaila, Markus Püschel, 2011, 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

In search of the optimal Walsh-Hadamard transform

Markus Püschel, Jeremy R. Johnson, Markus Püschel, 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).

SIMD intrinsics on managed language runtimes

Tiark Rompf, Alen Stojanov, Markus Püschel, 2018, CGO.

"Smart" design space sampling to predict Pareto-optimal solutions

Andreas Krause, Markus Püschel, Peter A. Milder, 2012, LCTES '12.

Short vector code generation and adaptation for DSP algorithms

Franz Franchetti, Markus Püschel, Markus Püschel, 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

A SIMD vectorizing compiler for digital signal processing algorithms

Franz Franchetti, Markus Püschel, Markus Püschel, 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

ADMM for consensus on colored networks

João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).