Markus Püschel

201 papers A* 18A 22B 15C 4Misc 23Journal 68Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fast Entropy Decoding for Sparse MVM on GPUs. CoRR Emil Schätzle, Tommaso Pegolotti, Markus Püschel
2026	J	`jnl`	Image Representation Induced Subspaces for Practical Classification Robustness. IEEE Trans. Image Process. Mohamed-Hicham Leghettas, Markus Püschel
2026	A	`conf`	QIGen: A Kernel Generator for Inference on Nonuniformly Quantized Large Language Models. CGO Tommaso Pegolotti, Dan Alistarh, Markus Püschel
2026	J	`jnl`	SPHGen: A Program Generator for Fast Polynomial Hash Functions. IACR Trans. Cryptogr. Hardw. Embed. Syst. Tommaso Pegolotti, Jan Gilcher, Kenneth G. Paterson, Markus Püschel
2025	—	`conf`	Accelerating Automated Program Verifiers by Automatic Proof Localization. CAV (3) Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, Ilya Sergey
2025	J	`jnl`	Learning DAGs and Root Causes from Time-Series Data. CoRR Panagiotis Misiakos, Markus Püschel
2025	Misc	`conf`	Learning Time-Varying Graphs from Data with Few Causes. ICASSP Panagiotis Misiakos, Markus Püschel
2025	J	`jnl`	Orthogonal Fourier Analysis on Directed Acyclic Graphs via Möbius Total Variation. IEEE Trans. Signal Process. Vedran Mihal, Markus Püschel
2025	A	`conf`	SpinSVAR: Estimating Structural Vector Autoregression Assuming Sparse Input. UAI Panagiotis Misiakos, Markus Püschel
2025	—	`conf`	The CausalBench challenge: A machine learning contest for gene network inference from single-cell perturbation data. CLeaR Mathieu Chevalley, Jacob Sackett-Sanders, Yusuf H. 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
2024	J	`jnl`	Floating-Point TVPI Abstract Domain. Proc. ACM Program. Lang. Joao Rivera, Franz Franchetti, Markus Püschel
2024	A*	`conf`	Learning Bregman Divergences with Application to Robustness. NeurIPS Mohamed-Hicham Leghettas, Markus Püschel
2024	Misc	`conf`	Learning Signals and Graphs from Time-Series Graph Data with Few Causes. ICASSP Panagiotis Misiakos, Vedran Mihal, Markus Püschel
2023	J	`jnl`	Causal Fourier Analysis on Directed Acyclic Graphs and Posets. IEEE Trans. Signal Process. Bastian Seifert, Chris Wendler, Markus Püschel
2023	A*	`conf`	Learning DAGs from Data with Few Root Causes. NeurIPS Panagiotis Misiakos, Chris Wendler, Markus Püschel
2023	J	`jnl`	Learning DAGs from Data with Few Root Causes. CoRR Panagiotis Misiakos, Chris Wendler, Markus Püschel
2023	Misc	`conf`	Möbius Total Variation for Directed Acyclic Graphs. ICASSP Vedran Mihal, Markus Püschel
2023	J	`jnl`	QIGen: Generating Efficient Kernels for Quantized Inference on Large Language Models. CoRR Tommaso Pegolotti, Elias Frantar, Dan Alistarh, Markus Püschel
2023	J	`jnl`	The CausalBench challenge: A machine learning contest for gene network inference from single-cell perturbation data. CoRR Mathieu Chevalley, Jacob Sackett-Sanders, Yusuf H. 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
2022	A	`conf`	A Compiler for Sound Floating-Point Computations using Affine Arithmetic. CGO Joao Rivera, Franz Franchetti, Markus Püschel
2022	J	`jnl`	Causal Fourier Analysis on Directed Acyclic Graphs and Posets. CoRR Bastian Seifert, Chris Wendler, Markus Püschel
2022	J	`jnl`	Fast Möbius and Zeta Transforms. CoRR Tommaso Pegolotti, Bastian Seifert, Markus Püschel
2022	A*	`conf`	Fourier Analysis-based Iterative Combinatorial Auctions. IJCAI Jakob Weissteiner, Chris Wendler, Sven Seuken, Benjamin Lubin, Markus Püschel
2022	J	`jnl`	PRIMA: general and precise neural network certification via scalable convex hull approximations. Proc. ACM Program. Lang. Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2022	—	`conf`	Porting Signal Processing from Undirected to Directed Graphs: Case Study Signal Denoising with Unrolling Networks. EUSIPCO Vedran Mihal, Bastian Seifert, Markus Püschel
2021	A	`conf`	An Interval Compiler for Sound Floating-Point Computations. CGO Joao Rivera, Franz Franchetti, Markus Püschel
2021	J	`jnl`	Digraph Signal Processing With Generalized Boundary Conditions. IEEE Trans. Signal Process. Bastian Seifert, Markus Püschel
2021	J	`jnl`	Discrete Signal Processing on Meet/Join Lattices. IEEE Trans. Signal Process. Markus Püschel, Bastian Seifert, Chris Wendler
2021	J	`jnl`	Discrete Signal Processing with Set Functions. IEEE Trans. Signal Process. Markus Püschel, Chris Wendler
2021	Misc	`conf`	Faster Parallel Training of Word Embeddings. HiPC Eliza Wszola, Martin Jaggi, Markus Püschel
2021	A*	`conf`	Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases. AAAI Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel
2021	J	`jnl`	Precise Multi-Neuron Abstractions for Neural Network Certification. CoRR Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2021	—	`conf`	Scaling Polyhedral Neural Network Verification on GPUs. MLSys Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2021	Misc	`conf`	Wiener Filter on Meet/Join Lattices. ICASSP Bastian Seifert, Chris Wendler, Markus Püschel
2020	J	`jnl`	Compressive Sensing Using Iterative Hard Thresholding With Low Precision Data Representation: Theory and Applications. IEEE Trans. Signal Process. Nezihe Merve Gürel, Kaan Kara, Alen Stojanov, Tyler M. Smith, Thomas Lemmin, Dan Alistarh, Markus Püschel, Ce Zhang
2020	J	`jnl`	DSL-Based Hardware Generation with Scala: Example Fast Fourier Transforms and Sorting Networks. ACM Trans. Reconfigurable Technol. Syst. François Serre, Markus Püschel
2020	Misc	`conf`	Diagonalizable Shift and Filters for Directed Graphs Based on the Jordan-Chevalley Decomposition. ICASSP Panagiotis Misiakos, Chris Wendler, Markus Püschel
2020	J	`jnl`	Digraph Signal Processing with Generalized Boundary Conditions. CoRR Bastian Seifert, Markus Püschel
2020	J	`jnl`	Discrete Signal Processing on Meet/Join Lattices. CoRR Markus Püschel, Bastian Seifert, Chris Wendler
2020	J	`jnl`	Discrete Signal Processing with Set Functions. CoRR Markus Püschel, Chris Wendler
2020	Misc	`conf`	Finite-Time In-Network Computation of Linear Transforms. ACSSC Soummya Kar, Markus Püschel, José M. F. Moura
2020	J	`jnl`	Fourier Analysis-based Iterative Combinatorial Auctions. CoRR Jakob Weissteiner, Chris Wendler, Sven Seuken, Benjamin Lubin, Markus Püschel
2020	J	`jnl`	Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases. CoRR Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel
2020	A*	`conf`	Learning fast and precise numerical analysis. PLDI Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2020	J	`jnl`	Neural Network Robustness Verification on GPUs. CoRR Christoph Müller, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2019	Misc	`conf`	A Discrete Signal Processing Framework for Meet/join Lattices with Applications to Hypergraphs and Trees. ICASSP Markus Püschel
2019	B	`conf`	A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. GPCE Alen Stojanov, Tiark Rompf, Markus Püschel
2019	J	`jnl`	An abstract domain for certifying neural networks. Proc. ACM Program. Lang. Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
2019	A*	`conf`	Beyond the Single Neuron Convex Barrier for Neural Network Certification. NeurIPS Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin T. Vechev
2019	—	`conf`	Boosting Robustness Certification of Neural Networks. ICLR (Poster) Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
2019	C	`conf`	DSL-Based Modular IP Core Generators: Example FFT and Related Structures. ARITH François Serre, Markus Püschel
2019	Misc	`conf`	In Search of the Optimal Walsh-hadamard Transform for Streamed Parallel Processing. ICASSP François Serre, Markus Püschel
2019	Misc	`conf`	On Linear Learning with Manycore Processors. HiPC Eliza Wszola, Celestine Mendler-Dünner, Martin Jaggi, Markus Püschel
2019	J	`jnl`	On Linear Learning with Manycore Processors. CoRR Eliza Wszola, Celestine Mendler-Dünner, Martin Jaggi, Markus Püschel
2019	A*	`conf`	Powerset Convolutional Neural Networks. NeurIPS Chris Wendler, Markus Püschel, Dan Alistarh
2019	J	`jnl`	Powerset Convolutional Neural Networks. CoRR Chris Wendler, Dan Alistarh, Markus Püschel
2019	J	`jnl`	Program Generation for Linear Algebra Using Multiple Layers of DSLs. CoRR Daniele G. Spampinato, Diego Fabregat-Traver, Markus Püschel, Paolo Bientinesi
2019	—	`conf`	Sampling Signals On Meet/Join Lattices. GlobalSIP Chris Wendler, Markus Püschel
2018	B	`conf`	A DSL-Based FFT Hardware Generator in Scala. FPL François Serre, Markus Püschel
2018	Misc	`conf`	A Discrete Signal Processing Framework for Set Functions. ICASSP Markus Püschel
2018	J	`jnl`	A practical construction for decomposing numerical abstract domains. Proc. ACM Program. Lang. Gagandeep Singh, Markus Püschel, Martin T. Vechev
2018	—	`conf`	Fast Numerical Program Analysis with Reinforcement Learning. CAV (1) Gagandeep Singh, Markus Püschel, Martin T. Vechev
2018	—	`conf`	Fast Quantized Arithmetic on x86: Trading Compute for Data Movement. SiPS Alen Stojanov, Tyler Michael Smith, Dan Alistarh, Markus Püschel
2018	A*	`conf`	Fast and Effective Robustness Certification. NeurIPS Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin T. Vechev
2018	A	`conf`	Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations. FPGA François Serre, Markus Püschel
2018	J	`jnl`	Program Generation for Small-Scale Linear Algebra Applications. CoRR Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Püschel
2018	A	`conf`	Program generation for small-scale linear algebra applications. CGO Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Püschel
2018	A	`conf`	SIMD intrinsics on managed language runtimes. CGO Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
2018	J	`jnl`	SPIRAL: Extreme Performance Portability. Proc. IEEE 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
2017	J	`jnl`	Characterizing and Enumerating Walsh-Hadamard Transform Algorithms. CoRR François Serre, Markus Püschel
2017	A*	`conf`	Fast polyhedra abstract domain. POPL Gagandeep Singh, Markus Püschel, Martin T. Vechev
2017	C	`conf`	Optimal Streamed Linear Permutations. ARITH François Serre, Markus Püschel
2017	B	`conf`	Staging for generic programming in space and time. GPCE Georg Ofenbeck, Tiark Rompf, Markus Püschel
2016	A	`conf`	A basic linear algebra compiler for structured matrices. CGO Daniele G. Spampinato, Markus Püschel
2016	A	`conf`	Optimal Circuits for Streamed Linear Permutations Using RAM. FPGA François Serre, Thomas Holenstein, Markus Püschel
2016	A*	`conf`	Program generation for performance. ASE Markus Püschel
2016	—	`conf`	RandIR: differential testing for embedded compilers. SCALA@SPLASH Georg Ofenbeck, Tiark Rompf, Markus Püschel
2016	J	`jnl`	Streaming Sorting Networks. ACM Trans. Design Autom. Electr. Syst. Marcela Zuluaga, Peter A. Milder, Markus Püschel
2016	J	`jnl`	e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem. J. Mach. Learn. Res. Marcela Zuluaga, Andreas Krause, Markus Püschel
2015	A	`conf`	A basic linear algebra compiler for embedded processors. DATE Nikolaos Kyrtatas, Daniele G. Spampinato, Markus Püschel
2015	J	`jnl`	Distributed Optimization With Local Domains: Applications in MPC and Network Flows. IEEE Trans. Autom. Control. João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2015	—	`conf`	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL 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
2015	A*	`conf`	Making numerical program analysis fast. PLDI Gagandeep Singh, Markus Püschel, Martin T. Vechev
2014	A	`conf`	A Basic Linear Algebra Compiler. CGO Daniele G. Spampinato, Markus Püschel
2014	—	`conf`	Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel
2014	B	`conf`	Applying the roofline model. ISPASS Georg Ofenbeck, Ruedi Steinmann, Victoria Caparrós Cabezas, Daniele G. Spampinato, Markus Püschel
2014	B	`conf`	Automatic locality-friendly interface extension of numerical functions. GPCE Benjamin Hess, Thomas R. Gross, Markus Püschel
2014	—	`conf`	Extending the roofline model: Bottleneck analysis with microarchitectural constraints. IISWC Victoria Caparrós Cabezas, Markus Püschel
2014	—	`conf`	High-performance sparse fast Fourier transforms. SiPS Jörn Schumacher, Markus Püschel
2013	—	`conf`	A unified algorithmic approach to distributed optimization. GlobalSIP João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2013	—	`conf`	Active Learning for Multi-Objective Optimization. ICML (1) Marcela Zuluaga, Guillaume Sergent, Andreas Krause, Markus Püschel
2013	J	`jnl`	D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization. IEEE Trans. Signal Process. João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2013	J	`jnl`	Distributed Optimization With Local Domains: Applications in MPC and Network Flows CoRR João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2013	—	`conf`	Distributed compressed sensing algorithms: Completing the puzzle. GlobalSIP João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2013	B	`conf`	Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
2012	B	`conf`	"Smart" design space sampling to predict Pareto-optimal solutions. LCTES Marcela Zuluaga, Andreas Krause, Peter A. Milder, Markus Püschel
2012	—	`conf`	ADMM for consensus on colored networks. CDC João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2012	J	`jnl`	Algebraic Signal Processing Theory: 1-D Nearest Neighbor Models. IEEE Trans. Signal Process. Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
2012	C	`conf`	Compiling math to fast code. PEPM Markus Püschel
2012	J	`jnl`	Computer Generation of Hardware for Linear Digital Signal Processing Transforms. ACM Trans. Design Autom. Electr. Syst. Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel
2012	A*	`conf`	Computer generation of streaming sorting networks. DAC Marcela Zuluaga, Peter A. Milder, Markus Püschel
2012	Misc	`conf`	D-ADMM: A distributed algorithm for compressed sensing and other separable optimization problems. ICASSP João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2012	—	`conf`	Distributed ADMM for model predictive control and congestion control. CDC João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2012	J	`jnl`	Distributed Basis Pursuit. IEEE Trans. Signal Process. João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2012	J	`jnl`	Efficient Compression of QRS Complexes Using Hermite Expansion. IEEE Trans. Signal Process. Aliaksei Sandryhaila, Samir Saba, Markus Püschel, Jelena Kovacevic
2012	Misc	`conf`	Improving fixed-point accuracy of FFT cores in O-OFDM systems. ICASSP Robert Koutsoyannis, Peter A. Milder, Christian R. Berger, Madeleine Glick, James C. Hoe, Markus Püschel
2011	J	`jnl`	Algebraic Signal Processing Theory: Cooley-Tukey-Type Algorithms for Polynomial Transforms Based on Induction. SIAM J. Matrix Anal. Appl. Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
2011	A	`conf`	Automatic SIMD vectorization of fast fourier transforms for the larrabee and AVX instruction sets. ICS Daniel S. McFarlin, Volodymyr Arbatov, Franz Franchetti, Markus Püschel
2011	—	`conf`	Automatic performance programming. Onward! Markus Püschel
2011	Misc	`conf`	Basis Pursuit in sensor networks. ICASSP João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2011	Misc	`conf`	Compression of QRS complexes using Hermite expansion. ICASSP Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
2011	—	`ch.`	FFT (Fast Fourier Transform). Encyclopedia of Parallel Computing Franz Franchetti, Markus Püschel
2011	Misc	`conf`	Real-time software implementation of an IEEE 802.11a baseband receiver on Intel multicore. ICASSP Christian R. Berger, Volodymyr Arbatov, Yevgen Voronenko, Franz Franchetti, Markus Püschel
2011	—	`ch.`	Spiral. Encyclopedia of Parallel Computing Markus Püschel, Franz Franchetti, Yevgen Voronenko
2010	—	`conf`	10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel
2010	—	`conf`	10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel
2010	J	`jnl`	Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for Polynomial Transforms Based on Induction CoRR Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
2010	J	`jnl`	Algebraic signal processing theory: sampling for infinite and finite 1-D space. IEEE Trans. Signal Process. Jelena Kovacevic, Markus Püschel
2010	—	`conf`	Computer Generation of Efficient Software Viterbi Decoders. HiPEAC Frédéric de Mesmay, Srinivas Chellappa, Franz Franchetti, Markus Püschel
2010	J	`jnl`	Distributed Basis Pursuit CoRR João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel
2010	Misc	`conf`	Hardware implementation of the discrete fourier transform with non-power-of-two problem size. ICASSP Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel
2010	A	`conf`	Offline library adaptation using automatically generated heuristics. IPDPS Frédéric de Mesmay, Yevgen Voronenko, Markus Püschel
2010	—	`conf`	Program Composition and Optimization: An Introduction. Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel
2010	—	`ed.`	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010 Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel
2010	J	`jnl`	Systematic construction of real lapped tight frame transforms. IEEE Trans. Signal Process. Aliaksei Sandryhaila, Amina Chebira, Christina Milo, Jelena Kovacevic, Markus Püschel
2009	J	`jnl`	Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for Real DFTs. IEEE Trans. Signal Process. Yevgen Voronenko, Markus Püschel
2009	B	`conf`	Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling. PACT Basilio B. Fraguela, Yevgen Voronenko, Markus Püschel
2009	A	`conf`	Automatic generation of streaming datapaths for arbitrary fixed permutations. DATE Peter A. Milder, James C. Hoe, Markus Püschel
2009	B	`conf`	Automatic synthesis of high performance mathematical programs. ISSAC Markus Püschel
2009	A*	`conf`	Bandit-based optimization on graphs with application to library performance tuning. ICML Frédéric de Mesmay, Arpad Rimmel, Yevgen Voronenko, Markus Püschel
2009	A	`conf`	Computer Generation of General Size Linear Transform Libraries. CGO Yevgen Voronenko, Frédéric de Mesmay, Markus Püschel
2009	A	`conf`	Computer generation of fast fourier transforms for the cell broadband engine. ICS Srinivas Chellappa, Franz Franchetti, Markus Püschel
2009	J	`jnl`	Discrete fourier transform on multicore. IEEE Signal Process. Mag. Franz Franchetti, Markus Püschel, Yevgen Voronenko, Srinivas Chellappa, José M. F. Moura
2009	Misc	`conf`	Generating high performance pruned FFT implementations. ICASSP Franz Franchetti, Markus Püschel
2009	—	`conf`	Operator Language: A Program Generation Framework for Fast Kernels. DSL Franz Franchetti, Frédéric de Mesmay, Daniel S. McFarlin, Markus Püschel
2009	J	`jnl`	Permuting streaming data using RAMs. J. ACM Markus Püschel, Peter A. Milder, James C. Hoe
2008	J	`jnl`	Algebraic Signal Processing Theory: 1-D Space. IEEE Trans. Signal Process. Markus Püschel, José M. F. Moura
2008	J	`jnl`	Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs. IEEE Trans. Signal Process. Markus Püschel, José M. F. Moura
2008	J	`jnl`	Algebraic Signal Processing Theory: Foundation and 1-D Time. IEEE Trans. Signal Process. Markus Püschel, José M. F. Moura
2008	J	`jnl`	Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice. Appl. Algebra Eng. Commun. Comput. Markus Püschel, Martin Rötteler
2008	Misc	`conf`	Alternatives to the discrete fourier transform. ICASSP Doru-Cristian Balcan, Aliaksei Sandryhaila, Jonathan Gross, Markus Püschel
2008	—	`conf`	Axonal bouton modeling, detection and distribution analysis for the study of neural circuit organization and plasticity. ISBI Christina A. Hallock, Inci Ozgunes, Ramamurthy Bhagavatula, Gustavo K. Rohde, Justin C. Crowley, Christina E. Onorato, Abhay Mavalankar, Amina Chebira, Chuen Hwa Tan, Markus Püschel, Jelena Kovacevic
2008	A	`conf`	Domain-specific library generation for parallel software and hardware platforms. IPDPS Franz Franchetti, Yevgen Voronenko, Peter A. Milder, Srinivas Chellappa, Marek R. Telgarsky, Hao Shen, Paolo D'Alberto, Frédéric de Mesmay, James C. Hoe, José M. F. Moura, Markus Püschel
2008	A*	`conf`	Formal datapath representation and manipulation for implementing DSP transforms. DAC Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel
2008	B	`conf`	Generating SIMD Vectorized Permutations. CC Franz Franchetti, Markus Püschel
2008	Misc	`conf`	Haar filter banks for I-D space signals. ICASSP Aliaksei Sandryhaila, Jelena Kovacevic, Markus Püschel
2008	—	`conf`	System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries. AMAST Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel
2007	J	`jnl`	Algebraic Signal Processing Theory: 2-D Spatial Hexagonal Lattice. IEEE Trans. Image Process. Markus Püschel, Martin Rötteler
2007	J	`jnl`	Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs CoRR Markus Püschel, José M. F. Moura
2007	—	`conf`	An Adaptive Multiresolution Approach to Fingerprint Recognition. ICIP (1) Amina Chebira, Luís Pedro Coelho, Aliaksei Sandryhaila, Stephen Lin, William G. Jenkinson, Jeremiah MacSleyne, Christopher Hoffman, Philipp Cuadra, Charles Jackson, Markus Püschel, Jelena Kovacevic
2007	B	`conf`	Can we teach computers to write fast libraries? GPCE Markus Püschel
2007	—	`conf`	FFT Compiler: from math to efficient hardware HLDVT invited short paper. HLDVT Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel
2007	Misc	`conf`	Generating FPGA-Accelerated DFT Libraries. FCCM Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel, Jeremy R. Johnson
2007	—	`conf`	How to Write Fast Numerical Code: A Small Introduction. GTTSE Srinivas Chellappa, Franz Franchetti, Markus Püschel
2007	J	`jnl`	Mechanical Derivation of Fused Multiply-Add Algorithms for Linear Transforms. IEEE Trans. Signal Process. Yevgen Voronenko, Markus Püschel
2007	J	`jnl`	Multiplierless multiple constant multiplication. ACM Trans. Algorithms Yevgen Voronenko, Markus Püschel
2007	—	`conf`	Performance/Energy Optimization of DSP Transforms on the XScale Processor. HiPEAC Paolo D'Alberto, Markus Püschel, Franz Franchetti
2007	—	`conf`	SIMD Vectorization of Non-Two-Power Sized FFTs. ICASSP (2) Franz Franchetti, Markus Püschel
2007	J	`jnl`	Time-Multiplexed Multiple-Constant Multiplication. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Peter Tummeltshammer, James C. Hoe, Markus Püschel
2006	—	`conf`	A Rewriting System for the Vectorization of Signal Transforms. VECPAR Franz Franchetti, Yevgen Voronenko, Markus Püschel
2006	—	`conf`	Algebraic Derivation of General Radix Cooley-Tukey Algorithms for the Real Discrete Fourier Transform. ICASSP (3) Yevgen Voronenko, Markus Püschel
2006	J	`jnl`	Algebraic Signal Processing Theory CoRR Markus Püschel, José M. F. Moura
2006	C	`conf`	Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers. ISPA Andreas Bonelli, Franz Franchetti, Juergen Lorenz, Markus Püschel, Christoph W. Ueberhuber
2006	A	`conf`	Fast and accurate resource estimation of automatically generated custom DFT IP cores. FPGA Peter A. Milder, Mohammad Ahmad, James C. Hoe, Markus Püschel
2006	B	`conf`	Program generation for the all-pairs shortest path problem. PACT Sung-Chul Han, Franz Franchetti, Markus Püschel
2006	—	`conf`	Sampling Theorem Associated With the Discrete Cosine Transform. ICASSP (3) Jelena Kovacevic, Markus Püschel
2006	—	`conf`	The Algebraic Structure in Signal Processing: Time and Space. ICASSP (5) Markus Püschel, José M. F. Moura
2006	A	`conf`	Tools and techniques for performance - FFT program generation for shared memory: SMP and multicore. SC Franz Franchetti, Yevgen Voronenko, Markus Püschel
2005	A*	`conf`	Automatic generation of customized discrete fourier transform IPs. DAC Grace Nordin, Peter A. Milder, James C. Hoe, Markus Püschel
2005	A*	`conf`	Formal loop merging for signal transforms. PLDI Franz Franchetti, Yevgen Voronenko, Markus Püschel
2005	—	`conf`	Fourier transform for the directed quincunx lattice. ICASSP (4) Markus Püschel, Martin Rötteler
2005	—	`conf`	Fourier transform for the spatial quincunx lattice. ICIP (2) Markus Püschel, Martin Rötteler
2005	—	`conf`	Performance analysis of the filtered backprojection image reconstruction algorithms. ICASSP (5) Thammanit Pipatsrisawat, Aca Gacic, Franz Franchetti, Markus Püschel, José M. F. Moura
2005	B	`conf`	Real, Tight Frames with Maximal Robustness to Erasures. DCC Markus Püschel, Jelena Kovacevic
2005	J	`jnl`	SPIRAL: Code Generation for DSP Transforms. Proc. IEEE Markus Püschel, José M. F. Moura, Jeremy R. Johnson, David A. Padua, Manuela M. Veloso, Bryan Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, Yevgen Voronenko, Kang Chen, Robert W. Johnson, Nicholas Rizzolo
2005	J	`jnl`	Special Issue on Program Generation, Optimization, and Platform Adaptation. Proc. IEEE José M. F. Moura, Markus Püschel, David A. Padua, Jack J. Dongarra
2004	—	`conf`	Automatic cost minimization for multiplierless implementations of discrete signal transforms. ICASSP (5) Adam C. Zelinski, Markus Püschel, Smarahara Misra, James C. Hoe
2004	—	`conf`	Automatic generation of implementations for DSP transforms on fused multiply-add architectures. ICASSP (5) Yevgen Voronenko, Markus Püschel
2004	—	`conf`	Automatically Tuned FFTs for BlueGene/L's Double FPU. VECPAR Franz Franchetti, Stefan Kral, Juergen Lorenz, Markus Püschel, Christoph W. Ueberhuber
2004	—	`conf`	Automatically generated high-performance code for discrete wavelet transforms. ICASSP (5) Aca Gacic, Markus Püschel, José M. F. Moura
2004	A	`conf`	Custom-optimized multiplierless implementations of DSP algorithms. ICCAD Markus Püschel, Adam C. Zelinski, James C. Hoe
2004	A*	`conf`	Multiple constant multiplication by time-multiplexed mapping of addition chains. DAC Peter Tummeltshammer, James C. Hoe, Markus Püschel
2004	J	`jnl`	Special issue on computer algebra and signal processing: forward by the guest editors. J. Symb. Comput. Jeremy R. Johnson, José M. F. Moura, Markus Püschel, Daniel N. Rockmore
2004	J	`jnl`	Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms. Int. J. High Perform. Comput. Appl. Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy Johnson, David A. Padua, Manuela M. Veloso, Robert W. Johnson
2004	J	`jnl`	Symmetry-based matrix factorization. J. Symb. Comput. Sebastian Egner, Markus Püschel
2004	—	`conf`	The discrete triangle transform. ICASSP (3) Markus Püschel, Martin Rötteler
2003	—	`conf`	Cooley-Tukey FFT like algorithms for the DCT. ICASSP (2) Markus Püschel
2003	—	`conf`	Fast automatic software implementations of FIR filters. ICASSP (2) Aca Gacic, Markus Püschel, José M. F. Moura
2003	A	`conf`	Short Vector Code Generation for the Discrete Fourier Transform. IPDPS Franz Franchetti, Markus Püschel
2003	—	`conf`	Short vector code generation and adaptation for DSP algorithms. ICASSP (2) Franz Franchetti, Markus Püschel
2003	J	`jnl`	The Algebraic Approach to the Discrete Cosine and Sine Transforms and Their Fast Algorithms. SIAM J. Comput. Markus Püschel, José M. F. Moura
2003	A*	`conf`	Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. DAC Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen
2002	A	`conf`	A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms. IPDPS Franz Franchetti, Markus Püschel
2002	J	`jnl`	Decomposing Monomial Representations of Solvable Groups. J. Symb. Comput. Markus Püschel
2001	J	`jnl`	Automatic generation of fast discrete signal transforms. IEEE Trans. Signal Process. Sebastian Egner, Markus Püschel
2001	Misc	`conf`	Fast Automatic Generation of DSP Algorithms. International Conference on Computational Science (1) Markus Püschel, Bryan Singer, Manuela M. Veloso, José M. F. Moura
2000	Misc	`conf`	In search of the optimal Walsh-Hadamard transform. ICASSP Jeremy Johnson, Markus Püschel
1999	—	`conf`	Fast Quantum Fourier Transforms for a Class of Non-Abelian Groups. AAECC Markus Püschel, Martin Rötteler, Thomas Beth
1998	—	`—`	Konstruktive Darstellungstheorie und Algorithmengenerierung. Markus Püschel
1998	B	`conf`	Solving Puzzles Related to Permutation Groups. ISSAC Sebastian Egner, Markus Püschel
1997	B	`conf`	Decomposing a Permutation into a Conjugated Tensor Product. ISSAC Sebastian Egner, Markus Püschel, Thomas Beth