Publications
Submitted
- Panagiotis Misiakos, Vedran Mihal, Markus Püschel
Learning signals and graphs from time-series graph data with few causes
accepted at ICASSP 2024 - Tommaso Pegolotti, Bastian Seifert, Markus Püschel
Fast Möbius and Zeta Transforms
submitted for publication
Journal and Conference Papers (Fully Reviewed)
- Panagiotis Misiakos, Chris Wendler, Markus Püschel
Learning DAGs from Data with Few Root Causes
NeurIPS 2023 - Bastian Seifert, Chris Wendler, Markus Püschel
Causal Fourier Analysis on Directed Acyclic Graphs and Posets
IEEE Transactions on Signal Processing, Vol. 71, pp. 3805-3820, 2023 - Tommaso Pegolotti, Elias Frantar, Dan Alistarh, Markus Püschel
QIGen: Generating Efficient Kernels for Quantized Inference on Large Language Models
ICLR Workshop on Efficient Systems for Foundation Models (FOMO), 2023 - Vedran Mihal, Markus Püschel
Möbius Total Variation for Directed Acyclic Graphs
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2023
2022 - Vedran Mihal, Bastian Seifert, Markus Püschel
Porting Signal Processing from Undirected to Directed Graphs: Case Study Signal Denoising with Unrolling Networks
Proc. European Signal Processing Conference (EUSIPCO), 2022 - Jakob Weissteiner, Chris Wendler, Sven Seuken, Ben Lubin, Markus Püschel
Fourier Analysis-based Iterative Combinatorial Auctions
Proc. International Joint Conference on Artificial Intelligence (IJCAI), 2022 - (Spotlight presentation, among 4 out of 31 accepted) Bastian Seifert, Chris Wendler, Markus Püschel
Learning Fourier-Sparse Functions on DAGs
ICLR 2022 Workshop on the Elements of Reasoning: Objects, Structure and Causality - Joao Rivera, Franz Franchetti, Markus Püschel
A Compiler for Sound Floating-Point Computations using Affine Arithmetic
Proc. Code Generation and Optimization (CGO), pp. 66-78, 2022 - Mark Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Proc. ACM on Programming Languages (Issue POPL), Vol. 6, No. 43, 2022
2021 - Eliza Wszola, Martina Jaggi, Markus Püschel
Faster Parallel Training of Word Embeddings
Proc. International Conference on High Performance Computing, Data and Analytics (HIPC), pp. 31-41, 2021
- Markus Püschel, Bastian Seifert, Chris Wendler
Discrete Signal Processing on Meet/Join Lattices
IEEE Transactions on Signal Processing, Vol. 69, pp. 3571-3584, 2021 - Bastian Seifert, Chris Wendler, Markus Püschel
Wiener Filter on Meet/Join Lattices
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 5355-5359, 2021 - Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin Vechev
Scaling Polyhedral Neural Network Verification on GPUs
Proc. Conference on Machine Learning and Systems, 2021 - Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel
Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases
Proc. AAAI Conference on Artificial Intelligence, pp. 10283-10292, 2021 - Joao Rivera, Franz Franchetti, Markus Püschel
An Interval Compiler for Sound Floating Point Computations
Proc. Code Generation and Optimization (CGO), pp. 52-64, 2021 - Bastian Seifert, Markus Püschel
Digraph Signal Processing with Generalized Boundary Conditions
IEEE Transactions on Signal Processing, Vol. 69, pp. 1422-1437, 2021
- Markus Püschel, Chris Wendler
Discrete Signal Processing with Set Functions
IEEE Transactions on Signal Processing, Vol. 69, pp. 1039-1053, 2021
2020 - Nezihe M. Gürel, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan Alistarh, Markus Püschel, Ce Zhang
Compressive Sensing with Low Precision Data Representation: Theory and Applications
IEEE Transactions on Signal Processing, Vol. 68, No. 7, pp. 4268-4282, 2020 - Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev
Learning Fast and Precise Numerical Analysis
Proc. Programming Languages Design and Implementation (PLDI), pp. 1112-1127, 2020 - Panagiotis Misiakos, Chris Wendler, Markus Püschel
Diagonalizable Shift and Filters for Directed Graphs Based on the Jordan-Chevalley Decomposition
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 5635-5639, 2020
2019 - Chris Wendler, Dan Alistarh, Markus Püschel
Powerset Convolutional Neural Networks
Advances in Neural Information Processing Systems, Vol. 32, pp. 927-938, 2019 - Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev
Beyond the Single Neuron Convex Barrier for Neural Network Certification
Advances in Neural Information Processing Systems, Vol. 32, pp. 15072-15083, 2019 - François Serre and Markus Püschel
A DSL-Based Hardware Generator in Scala for Fast Fourier Transforms and Sorting Networks
ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 13, No. 1, Article 1, 2019 - (Best paper award nominee, among 4 out of 39 accepted) Eliza Wszola, Celestine Mendler-Dünner, Martina Jaggi, Markus Püschel
On Linear Learning with Manycore Processors
Proc. International Conference on High Performance Computing, Data and Analytics (HIPC), pp. 184-194, 2019
- Alen Stojanov, Tiark Rompf, Markus Püschel
A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions
Proc. International Conference on Generative Programming: Concepts & Experiences (GPCE), pp. 34-47, 2019 - Chris Wendler and Markus Püschel
Sampling Signals on Meet/Join Lattices
Proc. Global Conference on Signal and Information Processing (GlobalSIP), 2019 - Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev
Boosting Robustness Certification of Neural Networks
Proc. International Conference on Learning Representations (ICLR), 2019 - Markus Püschel
A Discrete Signal Processing Framework for Meet/Join Lattices with Applications to Hypergraphs and Trees
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 5371-5375, 2019 - François Serre and Markus Püschel
In Search of the Optimal Walsh-Hadamard Transform for Streamed Parallel Processing
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 1532-1536, 2019 - Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev
An Abstract Domain for Certifying Neural Networks
Proc. ACM on Programming Languages (Issue POPL), Vol. 3, No. 41, 2019
2018 - Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev
Fast and Effective Robustness Certification
Advances in Neural Information Processing Systems, Vol. 31, pp. 10802-10813, 2018 - Franz Franchetti, Tze Meng Low, Doru Thom Popovici, Richard M. Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, José M. F. Moura
SPIRAL: Extreme Performance Portability
Proc. IEEE special issue on "From High-Level Specification to Fast Code", Vol. 106, No. 11, pp. 1935-1968, 2018 - Alen Stojanov, Tyler Smith, Dan Alistarh, Markus Püschel
Fast Quantized Arithmetic on x86: Trading Compute for Data Movement
Proc. IEEE Workshop on Signal Processing Systems (SIPS), 2018 - (Best paper award nominee, among 9 out of 74 accepted) François Serre and Markus Püschel
A DSL-based FFT Hardware Generator in Scala
Proc. International Conference on Field-Programmable Logic and Applications (FPL), 2018 - Gagandeep Singh, Markus Püschel, Martin Vechev
Reinforcement Learning for Fast Program Analysis
Proc. Computer-Aided Verification (CAV), pp. 211-229, 2018 - Markus Püschel
A Discrete Signal Processing Framework for Set Functions
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 4359-4363, 2018 - François Serre and Markus Püschel
Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations
Proc. FPGA, pp. 219-228, 2018 - Daniele Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Püschel
Program Generation for Small-Scale Linear Algebra Applications
Proc. Code Generation and Optimization (CGO), pp. 327-339, 2018 - Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
SIMD Intrinsics on Managed Runtimes
Proc. Code Generation and Optimization (CGO), pp. 2-15, 2018 - Gagandeep Singh, Markus Püschel, Martin Vechev
A Practical Construction for Decomposing Numerical Abstract Domains
Proc. ACM on Programming Languages (Issue POPL), Vol. 2, No. 55, 2018
2017 - Georg Ofenbeck, Tiark Rompf, Markus Püschel
Staging for Generic Programming in Space and Time
Proc. International Conference on Generative Programming: Concepts & Experiences (GPCE), pp. 15-28, 2017 - Gagandeep Singh, Markus Püschel, Martin Vechev
Fast Polyhedra Abstract Domain
Proc. Principles of Programming Languages (POPL), pp. 46-59, 2017
2016 - Georg Ofenbeck, Tiark Rompf, Markus Püschel
RandIR: Differential Testing for Embedded Compilers
Proc. Scala Symposium, pp. 21-30, 2016 -
Marcela Zuluaga, Andreas Krause, Markus Püschel
e-PAL: An Active Learning Approach to the Multi-Objective Optimization Problem
Journal of Machine Learning Research (JMLR), Vol. 17, No. 104, pp. 1-32, 2016 - François Serre and Markus Püschel
Generalizing Block LU Factorization: A Lower-Upper-Lower Block Triangular Decomposition with Minimal Off-Diagonal Ranks
Linear Algebra and its Applications (LAA), Vol. 509, pp. 114-142 - Marcela Zuluaga, Peter A. Milder, and Markus Püschel
Streaming Sorting Networks
ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 21, No. 4, 2016 - Daniele G. Spampinato and Markus Püschel
A Basic Linear Algebra Compiler for Structured Matrices
Proc. International Symposium on Code Generation and Optimization (CGO), pp. 117-127, 2016 - François Serre, Thomas Holenstein and Markus Püschel
Optimal Circuits for Streamed Linear Permutations using RAM
International Symposium on Field-Programmable Gate Arrays (FPGA), pp. 215-223, 2016
2015 - Gagandeep Singh, Markus Püschel, Martin Vechev
Making Numerical Program Analysis Fast
Proc. Programming Languages Design and Implementation (PLDI), pp. 303-313, 2015 - Tiark Rompf, Kevin Brown, HyoukJoong Lee, Arvind 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: The Inaugural Summit on Advances in Programming Languages, 2015 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
Distributed Optimization With Local Domains: Applications in MPC and Network Flows
IEEE Transactions on Automated Control, Vol. 60, No. 7, pp. 2004-2009, 2015 - Nikolaos Kyrtatas, Daniele G. Spampinato and Markus Püschel
A Basic Linear Algebra Compiler for Embedded Processors
Proc. Design, Automation and Test in Europe (DATE), pp. 1054-1059, 2015
2014 - Benjamin Hess, Thomas Gross and Markus Püschel
Automatic Locality-Friendly Interface Extension of Numerical Functions
Proc. International Conference on Generative Programming: Concepts & Experiences (GPCE), pp. 83-92, 2014 - Victoria Caparrós Cabezas and Markus Püschel
Performance Bottleneck Modeling: Analyzing DAGs With Microarchitectural Constraints
Proc. IEEE International Symposium on Workload Characterization (IISWC), pp. 222-231, 2014 - Jörn Schumacher and Markus Püschel
High-performance sparse fast Fourier transforms
Proc. IEEE Workshop on Signal Processing Systems (SIPS), pp. 1-6, 2014 - Alen Stojanov, Georg Ofenbeck, Tiark Rompf and Markus Püschel
Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters
Proc. ACM International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY), pp. 14, 2014 - (Best paper award nominee, among 4 out of 29 accepted) Daniele G. Spampinato and Markus Püschel
A Basic Linear Algebra Compiler
Proc. International Symposium on Code Generation and Optimization (CGO), pp. 23-32, 2014 - Georg Ofenbeck, Ruedi Steinmann, Victoria Caparrós Cabezas, Daniele G. Spampinato and Markus Püschel
Applying the Roofline Model
Proc. IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp. 76-85, 2014
2013 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
A Unified Algorithmic Approach to Distributed Optimization
Proc. GlobalSIP, pp. 607-610, 2013 - Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky and Markus Püschel
Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Proc. International Conference on Generative Programming: Concepts & Experiences (GPCE), pp. 125-134, 2013 - Marcela Zuluaga, Andreas Krause, Guillaume Sergent and Markus Püschel
Active Learning for Multi-Objective Optimization
Proc. International Conference on Machine Learning (ICML), pp. 462-470, 2013 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
D-ADMM: A Communication-Efficient Distributed Algorithm For Separable Optimization
IEEE Transactions on Signal Processing, Vol. 61, No. 10, pp. 2718-2723, 2013
2012 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
ADMM For Consensus On Colored Networks
Proc. IEEE Conference on Decision and Control (CDC), pp. 5116-5121, 2012 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
Distributed ADMM for Model Predictive Control and Congestion Control
Proc. IEEE Conference on Decision and Control (CDC), pp. 5110-5115, 2012 - (Best paper award nominee, among 3 out of 18 accepted) Marcela Zuluaga, Andreas Krause, Peter A. Milder and Markus Püschel
"Smart" Design Space Sampling to Predict Pareto-Optimal Solutions
Proc. Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), pp. 119-128, 2012 - Marcela Zuluaga, Peter A. Milder and Markus Püschel
Computer Generation of Streaming Sorting Networks
Proc. Design Automation Conference (DAC), pp. 1245-1253, 2012 - Aliaksei Sandryhaila, Jelena Kovacevic and Markus Püschel
Algebraic Signal Processing Theory: 1-D Nearest-Neighbor Models
IEEE Transactions on Signal Processing, Vol. 60, No. 5, pp. 2247-2259, 2012 - Robert Koutsoyannis, Peter A. Milder, Christian Berger, Madeleine Glick, James C. Hoe and Markus Püschel
Improving Fixed-Point Accuracy of FFT Cores in O-OFDM Systems
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 1585-1588, 2012 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
D-ADMM: A Distributed Algorithm for Compressed Sensing and Other Separable Optimization Problems
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 2869-2872, 2012 - (ACM TODAES best paper award, 1 out of 51 publications in 2012) Peter A. Milder, Franz Franchetti, James C. Hoe and Markus Püschel
Computer Generation of Hardware for Linear Digital Signal Processing Transforms
ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 17, No. 2, 2012 - (IEEE Signal Processing Society young author best paper award) João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
Distributed Basis Pursuit (website)
IEEE Transactions on Signal Processing, Vol. 60, No. 4, pp. 1942-1956, 2012 - Aliaksei Sandryhaila, Samir Saba, Markus Püschel and Jelena Kovacevic
Efficient compression of QRS complexes using Hermite expansion
IEEE Transactions on Signal Processing, Vol. 60, No. 2, pp. 947-955, 2012
2011 - Rachid Bouziane, Peter A. Milder, Robert Koutsoyannis, Yannis Benlachtar, James C. Hoe, Markus Püschel, Madeleine Glick and Robert I. Killey
Design studies for ASIC implementations of 28 GS/s optical QPSK- and 16-QAM-OFDM transceivers
Optics Express, Vol. 19, No. 21, pp. 20857-20864, 2011 - Aliaksei Sandryhaila, Jelena Kovacevic and Markus Püschel
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for Polynomial Transforms Based on Induction
SIAM Journal on Matrix Analysis and Applications, Vol. 32, No. 2, pp. 364-384, 2011 - Franz Franchetti and Markus Püschel
Fast Fourier Transform
in Encyclopedia of Parallel Computing, Eds. David Padua, pp. 658-671, Springer 2011 - Markus Püschel, Franz Franchetti and Yevgen Voronenko
Spiral
in Encyclopedia of Parallel Computing, Eds. David Padua, pp. 1920-1933, Springer 2011 - Daniel McFarlin, Volodymyr Arbatov, Franz Franchetti and Markus Püschel
Automatic SIMD Vectorization of Fast Fourier Transforms for the Larrabee and AVX Instruction Sets
Proc. International Conference on Supercomputing (ICS), 2011 - João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
Basis Pursuit in Sensor Networks
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 2916-2919, 2011 - Aliaksei Sandryhaila, Jelena Kovacevic and Markus Püschel
Compression of QRS Complexes Using Hermite Expansion
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 581-584, 2011 - Christian Berger, Volodymyr Arbatov, Yevgen Voronenko, Franz Franchetti and Markus Püschel
Real-Time Software Implementation of an IEEE 802.11a Baseband Receiver on Intel Multicore
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 1693-1696, 2011
2010 - Yannis Benlachtar, Rachid Bouziane, Robert I. Killey, Christian Berger, Peter A. Milder, Robert Koutsoyannis, James C. Hoe, Markus Püschel and Madeleine Glick
Optical OFDM for the Data Center
Proc. International Conference on Transparent Optical Networks (ICTON), pp. 1-4, 2010 - Yevgen Voronenko, Volodymyr Arbatov, Christian Berger, Ronghui Peng, Markus Püschel and Franz Franchetti
Computer Generation of Platform-Adapted Physical Layer Software
Proc. Software Defined Radio (SDR), 2010 - Rachid Bouziane, Peter A. Milder, Robert Koutsoyannis, Yannis Benlachtar, Christian Berger, James C. Hoe, Markus Püschel, Madeleine Glick and Robert I. Killey
Design Studies for an ASIC Implementation of an Optical OFDM Transceiver
Proc. European Conference on Optical Communication (ECOC), pp. 1-3, 2010 - Yannis Benlachtar, Philip M. Watts, Rachid Bouziane, Peter A. Milder, Robert Koutsoyannis, James C. Hoe, Markus Püschel, Madeleine Glick and Robert I. Killey
Real-Time Digital Signal Processing for the Generation of Optical Orthogonal Frequency Division Multiplexed Signals
IEEE Journal of Selected Topics in Quantum Electronics, Vol. 16, No. 5, pp. 1235-1244, 2010 - Aliaksei Sandryhaila, Amina Chebira, Christina Milo, Jelena Kovacevic and Markus Püschel
Systematic Construction of Real Lapped Tight Frame Transforms
IEEE Transactions on Signal Processing, Vol. 58, No. 5, pp. 2556-2567, 2010 - Frédéric de Mesmay, Yevgen Voronenko and Markus Püschel
Offline Library Adaptation Using Automatically Generated Heuristics
Proc. International Parallel and Distributed Processing Symposium (IPDPS), pp. 1-10, 2010 - Peter A. Milder, Franz Franchetti, James C. Hoe and Markus Püschel
Hardware Implementation of the Discrete Fourier Transform with Non-Power-of-Two Problem Size
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 1546-1549, 2010 - Frédéric de Mesmay, Srinivas Chellappa, Franz Franchetti and Markus Püschel
Computer Generation of Efficient Software Viterbi Decoders
Proc. International Conference on High Performance Embedded Architectures and Compilers (HiPEAC), Lecture Notes in Computer Science, Springer, Vol. 5952, pp. 353-368, 2010 - Jelena Kovacevic and Markus Püschel
Algebraic Signal Processing Theory: Sampling for Infinite and Finite 1-D Space
IEEE Transactions on Signal Processing, Vol. 58, No. 1, 2010
2009 - Franz Franchetti, Markus Püschel, Yevgen Voronenko, Srinivas Chellappa and José M. F. Moura
Discrete Fourier Transform on Multicore
IEEE Signal Processing Magazine, special issue on "Signal Processing on Platforms with Multiple Cores'', Vol. 26, No. 6, pp. 90-102, 2009 - Yannis Benlachtar, Philip M. Watts, Rachid Bouziane, Peter A. Milder, Deepak Rangaraj, Anthony Cartolano, Robert Koutsoyannis, James C. Hoe, Markus Püschel, Madeleine Glick and Robert I. Killey
Generation of Optical OFDM Signals Using 21.4 GS/s Real Time Digital Signal Processing
Optics Express, Vol. 17, No. 20, pp. 17658-17668, 2009 - Aliaksei Sandryhaila, Amina Chebira, Markus Püschel and Jelena Kovacevic
A New Class of Seeded Real Lapped Tight Frame Transforms
Proc. SPIE Conf. on Wavelet Applications in Signal and Image Processing, Vol. 7446, 74460M, 2009 - Basilio B. Fraguela, Yevgen Voronenko and Markus Püschel
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
Proc. Parallel Architectures and Compilation Techniques (PACT), pp. 271-280, 2009 - (Best paper award, 3 out of 18 accepted) Franz Franchetti, Frédéric de Mesmay, Daniel McFarlin and Markus Püschel
Operator Language: A Program Generation Framework for Fast Kernels
Proc. IFIP Working Conference on Domain Specific Languages (DSL WC), Lecture Notes in Computer Science, Springer, Vol. 5658, pp. 385-410, 2009 - Frédéric de Mesmay, Arpad Rimmel, Yevgen Voronenko and Markus Püschel
Bandit-Based Optimization on Graphs with Application to Library Performance Tuning
Proc. International Conference on Machine Learning (ICML), pp. 729-736, 2009 - Srinivas Chellappa, Franz Franchetti and Markus Püschel
Computer Generation of Fast Fourier Transforms for the Cell Broadband Engine
Proc. International Conference on Supercomputing (ICS), pp. 26-35, 2009 - Peter A. Milder, James C. Hoe and Markus Püschel
Automatic Generation of Streaming Datapaths for Arbitrary Fixed Permutations
Proc. Design, Automation and Test in Europe (DATE), pp. 1118-1123, 2009 - Yevgen Voronenko, Frédéric de Mesmay and Markus Püschel
Computer Generation of General Size Linear Transform Libraries
Proc. International Symposium on Code Generation and Optimization (CGO), pp. 102-113, 2009 - Daniel McFarlin, Franz Franchetti, José M. F. Moura and Markus Püschel
High Performance Synthetic Aperture Radar Image Formation On Commodity Architectures
Proc. SPIE Conference on Defense, Security, and Sensing, Proceedings of SPIE, Vol. 7337, 733708, 2009 - Franz Franchetti and Markus Püschel
Generating High-Performance Pruned FFT Implementations
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 549-552, 2009 - Markus Püschel, Peter A. Milder and James C. Hoe
Permuting Streaming Data Using RAMs
Journal of the ACM, Vol. 56, No. 2, pp. 10:1-10:34, 2009 - Yevgen Voronenko and Markus Püschel
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for Real DFTs
IEEE Transactions on Signal Processing, Vol. 57, No. 1, 2009
2008 - Srinivas Chellappa, Franz Franchetti and Markus Püschel
How To Write Fast Numerical Code: A Small Introduction
Proc. Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE), Lecture Notes in Computer Science, Springer, Vol. 5235, pp. 196-259, 2008 - Markus Püschel
DFT and FFT: An Algebraic View
in Fast Fourier Transforms, Eds. C. Sidney Burrus, Connexions 2008 - Markus Püschel and José M. F. Moura
Algebraic Signal Processing Theory: Foundation and 1-D Time
IEEE Transactions on Signal Processing, Vol. 56, No. 8, pp. 3572-3585, 2008 - Markus Püschel and José M. F. Moura
Algebraic Signal Processing Theory: 1-D Space
IEEE Transactions on Signal Processing, Vol. 56, No. 8, pp. 3586-3599, 2008 - Markus Püschel and José M. F. Moura
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
IEEE Transactions on Signal Processing, Vol. 56, No. 4, pp. 1502-1521, 2008 - Markus Püschel and Martin Rötteler
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms on the 2-D Spatial Hexagonal Lattice
Applicable Algebra in Engineering, Communication and Computing, special issue on "The memory of Thomas Beth", Vol. 19, No. 3, pp. 259-292, 2008 - Franz Franchetti and Markus Püschel
Generating SIMD Vectorized Permutations
Proc. International Conference on Compiler Construction (CC), Lecture Notes in Computer Science, Springer, Vol. 4959, pp. 116-131, 2008 - (Best paper award nominee, among 11 out of 147 accepted) Peter A. Milder, Franz Franchetti, James C. Hoe and Markus Püschel
Formal Datapath Representation and Manipulation for Implementing DSP Transforms
Proc. Design Automation Conference (DAC), pp. 385-390, 2008 - Christina A. Hallock, Inci Özgünes, Ramamurthy Bhagavatula, Gustavo K. Rohde, Justin C. Crowley, Christina E. Onorato, Abhay Mavalankar, Amina Chebira, Chuen Hwa Tan, Markus Püschel and Jelena Kovacevic
Axonal Bouton Modeling Detection and Distribution Analysis for the Study of Neural Circuit Organization and Plasticity
Proc. International Symposium on Biomedical Imaging (ISBI), pp. 165-168, 2008 - Doru Balcan, Aliaksei Sandryhaila, Jonathan Gross and Markus Püschel
Alternatives to the Discrete Fourier Transform
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 3537-3540, 2008 - Aliaksei Sandryhaila, Jelena Kovacevic and Markus Püschel
Haar Filter Banks for 1-D Space Signals
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 3505-3508, 2008
2007 - Yevgen Voronenko and Markus Püschel
Mechanical Derivation of Fused Multiply-Add Algorithms for Linear Transforms
IEEE Transactions on Signal Processing, Vol. 55, No. 9, pp. 4458-4473, 2007 - Peter Tummeltshammer, James C. Hoe and Markus Püschel
Time-Multiplexed Multiple Constant Multiplication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 26, No. 9, pp. 1551-1563, 2007 - Markus Püschel and Martin Rötteler
Algebraic Signal Processing Theory: 2-D Spatial Hexagonal Lattice
IEEE Transactions on Image Processing, Vol. 16, No. 6, pp. 1506-1521, 2007 - Yevgen Voronenko and Markus Püschel
Multiplierless Multiple Constant Multiplication
ACM Transactions on Algorithms, Vol. 3, No. 2, 2007 - Amina Chebira, Luis P. Coelho, Aliaksei Sandryhaila, Stephen Lin, William G. Jenkinson, Jeremiah MacSleyne, Christopher Hoffman, Philipp Cuadra, Charles Jackson, Markus Püschel, and Jelena Kovacevic
An Adaptive Multiresolution Approach to Fingerprint Recognition
Proc. International Conference on Image Processing (ICIP), Vol. 1, pp. I-457-I-460, 2007 - Franz Franchetti and Markus Püschel
SIMD Vectorization of Non-Two-Power Sized FFTs
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 2, pp. II-17-II-20, 2007 - Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel and Jeremy Johnson
Generating FPGA Accelerated DFT Libraries
Proc. IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), pp. 173-184, 2007 - Paolo D'Alberto, Markus Püschel and Franz Franchetti
Performance/Energy Optimization of DSP Transforms on the XScale Processor
Proc. International Conference on High Performance Embedded Architectures & Compilers (HiPEAC), Lecture Notes in Computer Science, Springer, Vol. 4367, pp. 201-214, 2007
2006 - (Best paper award, 1 out of 80 accepted) Andreas Bonelli, Franz Franchetti, Juergen Lorenz, Markus Püschel and Christoph W. Ueberhuber
Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers
Proc. International Symposium on Parallel and Distributed Processing and Application (ISPA), 2006 - Franz Franchetti, Yevgen Voronenko and Markus Püschel
FFT Program Generation for Shared Memory: SMP and Multicore
Proc. Supercomputing (SC), pp. 51, 2006 - Sung-Chul Han, Franz Franchetti and Markus Püschel
Program Generation for the All-Pairs Shortest Path Problem
Proc. Parallel Architectures and Compilation Techniques (PACT), pp. 222-232, 2006 - Franz Franchetti, Yevgen Voronenko and Markus Püschel
A Rewriting System for the Vectorization of Signal Transforms
Proc. High Performance Computing for Computational Science (VECPAR), Lecture Notes in Computer Science, Springer, Vol. 4395, pp. 363-377, 2006 - Yevgen Voronenko and Markus Püschel
Algebraic Derivation of General Radix Cooley-Tukey Algorithms for the Real Discrete Fourier Transform
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 3, 2006 - Markus Püschel and José M. F. Moura
The Algebraic Structure in Signal Processing: Time and Space
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 5, 2006 - Jelena Kovacevic and Markus Püschel
Sampling Theorem Associated with the Discrete Cosine Transform
Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 3, 2006 - Peter A. Milder, Mohammad Ahmad, James C. Hoe and Markus Püschel
Fast and Accurate Resource Estimation of Automatically Generated Custom DFT IP Cores
Proc. FPGA, pp. 211-220, 2006
2005 - Markus Püschel and Martin Rötteler
Fourier Transform for the Spatial Quincunx Lattice
Proc. IEEE International Conference on Image Processing (ICIP), Vol. 2, pp. 494-497, 2005 - Franz Franchetti, Yevgen Voronenko and Markus Püschel
Formal Loop Merging for Signal Transforms
Proc. Programming Languages Design and Implementation (PLDI), pp. 315-326, 2005 - Grace Nordin, Peter A. Milder, James C. Hoe and Markus Püschel
Automatic Generation of Customized Discrete Fourier Transform IPs
Proc. Design Automation Conference (DAC), pp. 471-474, 2005 - Markus Püschel and Jelena Kovacevic
Real, Tight Frames Maximally Robust To Erasures
Proc. Data Compression Conference (DCC), pp. 63-72, 2005 - Markus Püschel and Martin Rötteler
Fourier Transform for the Directed Quincunx Lattice
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2005 - Thammanit Pipatsrisawat, Aca Gacic, Franz Franchetti, Markus Püschel and José M. F. Moura
Performance Analysis of the Filtered Backprojection Image Reconstruction Algorithms
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 5, pp. 153-156, 2005 - Markus Püschel, José M. F. Moura, Jeremy Johnson, David Padua, Manuela Veloso, Bryan Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, Yevgen Voronenko, Kang Chen, Robert W. Johnson and Nicholas Rizzolo
SPIRAL: Code Generation for DSP Transforms
Proceedings of the IEEE, special issue on "Program Generation, Optimization, and Adaptation", Vol. 93, No. 2, 2005, pp. 232-275 - José M. F. Moura, Markus Püschel, David Padua and Jack Dongarra
Scanning the Issue: Special Issue on Program Generation, Optimization, and Platform Adaptation
Proceedings of the IEEE, special issue on "Program Generation, Optimization, and Adaptation", Vol. 93, No. 2, pp. 211-215, 2005
2004 - Markus Püschel, Adam C. Zelinski and James C. Hoe
Custom-Optimized Multiplierless Implementations of DSP Algorithms
Proc. International Conference on Computer-Aided Design (ICCAD), pp. 175-182, 2004 - Peter Tummeltshammer, James C. Hoe and Markus Püschel
Multiple Constant Multiplication By Time-Multiplexed Mapping of Addition Chains
Proc. Design Automation Conference (DAC), pp. 826-829, 2004 - Franz Franchetti, Stefan Kral, Juergen Lorenz, Markus Püschel, Christoph W. Ueberhuber and Peter Wurzinger
Automatically Tuned FFTs for BlueGene/L’s Double FPU
Proc. High Performance Computing for Computational Science (VECPAR), Lecture Notes in Computer Science, Springer, Vol. 3402, pp. 23-36, 2004 - Markus Püschel and Martin Rötteler
The Discrete Triangle Transform
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2004 - Adam C. Zelinski, Markus Püschel, Smarahara Misra and James C. Hoe
Automatic Cost Minimization for Multiplierless Implementations of Discrete Signal Transforms
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 5, pp. V-221-V-224, 2004 - Aca Gacic, Markus Püschel and José M. F. Moura
Automatically Generated High-Performance Code for Discrete Wavelet Transforms
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 5, pp. V-69-V-72, 2004 - Yevgen Voronenko and Markus Püschel
Automatic Generation of Implementations for DSP Transforms on Fused Multiply-Add Architectures
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 5, pp. V-101-V-104, 2004 - Markus Püschel, Bryan Singer, Jianxin Xiong, José M. F. Moura, Jeremy Johnson, David Padua, Manuela Veloso and Robert W. Johnson
SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms
Journal of High Performance Computing and Applications, special issue on "Automatic Performance Tuning", Vol. 18, No. 1, pp. 21-45, 2004 - Jeremy Johnson, José Moura, Markus Püschel, Dan Rockmore
Special Issue on Computer Algebra and Signal Processing: Foreword by the Guest Editors
Journal of Symbolic Computation, Vol. 37, No. 2, pp. 133-135, 2004 - Sebastian Egner and Markus Püschel
Symmetry-Based Matrix Factorization
Journal of Symbolic Computation, special Issue on Computer Algebra and Signal Processing, Vol. 37, No. 2, pp. 157-186, 2004
2003 - (Best paper award nominee, among 14 out of 152 accepted) Fang Fang, Rob A. Rutenbar, Markus Püschel and Tsuhan Chen
Toward Efficient Static Analysis of Finite-Precision Effects in DSP Applications via Affine Arithmetic Modeling
Proc. Design Automation Conference (DAC), pp. 496-501, 2003 - Markus Püschel and José Moura
The Algebraic Approach to the Discrete Cosine and Sine Transforms and their Fast Algorithms
SIAM Journal of Computing, Vol. 32, No. 5, pp. 1280-1316, 2003 - Markus Püschel
Cooley-Tukey FFT like Algorithms for the DCT
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 2, pp. 501-504, 2003 - Franz Franchetti and Markus Püschel
Short Vector Code Generation for the Discrete Fourier Transform
Proc. International Parallel and Distributed Processing Symposium (IPDPS), pp. 10, 2003 - Aca Gacic, Markus Püschel and José M. F. Moura
Fast Automatic Implementations of FIR Filters
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 2, pp. 541-544, 2003 - Franz Franchetti and Markus Püschel
Short Vector Code Generation and Adaptation for DSP Algorithms
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 2, pp. 537-540, 2003 - Markus Püschel, Sebastian Egner, and Thomas Beth
AREP
in "Computer Algebra Handbook, Foundations, Applications, Systems", Eds. J. Grabmeier, E. Kaltofen, V. Weispfenning, Springer, pp. 461-462, 2003
2002 - Franz Franchetti and Markus Püschel
A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms
Proc. International Parallel and Distributed Processing Symposium (IPDPS), pp. 20-26, 2002 - Markus Püschel
Decomposing Monomial Representations of Solvable Groups
Journal of Symbolic Computation, Vol. 34, No. 6, pp. 561-596, 2002 - Markus Püschel, Bryan Singer, Manuela Veloso and José M. F. Moura
Fast Automatic Generation of DSP Algorithms
Proc. International Conference on Computational Science (ICCS), Lecture Notes In Computer Science, Springer, Vol. 2073, pp. 97-106, 2001 - Sebastian Egner and Markus Püschel
Automatic Generation of Fast Discrete Signal Transforms
IEEE Transactions on Signal Processing, Vol. 49, No. 9, pp. 1992-2002, 2001
2001 - Sebastian Egner, Jeremy Johnson, David Padua, Markus Püschel, and Jianxin Xiong
Automatic Derivation and Implementation of Signal Processing Algorithms
ACM SIGSAM Bulletin Communications in Computer Algebra, Vol. 35, No. 2, pp. 1-19, 2001
2000 - Jeremy Johnson and Markus Püschel
In Search of the Optimal Walsh-Hadamard Transform
Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Vol. 6, pp. 3347-3350, 2000
1999 - Martin Rötteler, Markus Püschel, and Thomas Beth
Fast Signal Transforms for Quantum Computers
Proc. of the Workshop on Physics and Computer Science, Heidelberg/Germany, Werner Kluge (Ed.), pp. 31-43, 1999 - Markus Püschel, Martin Rötteler, and Thomas Beth
Fast Quantum Fourier Transforms for a Class of Non-abelian Groups
Proc. AAECC, LNCS 1719, Springer, pp. 148-159, 1999
1998 - Sebastian Egner and Markus Püschel
Solving Puzzles related to Permutations Groups
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC)pp. 186-193, 1998
1997 - Sebastian Egner, Markus Püschel, and Thomas Beth
Decomposing a Permutation into a Conjugated Tensor Product
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 101-108, 1997
Editor
- José Moura, Markus Püschel, David Padua, and Jack Dongarra (Eds.)
Program Generation, Optimization, and Adaptation
special issue of the Proceedings of the IEEE, Vol. 93, No. 2, 2005 - Jeremy Johnson, José Moura, Markus Püschel, Dan Rockmore (Eds.)
Computer Algebra and Signal Processing
special issue of the Journal of Symbolic Computation Vol. 37, No. 2, 2004
Theses
- Markus Püschel
Signaltransformationen: Theorie, Algorithmen und Implementierung
Habilitation thesis Applied Computer Science, University of Vienna, Austria 2005 - Markus Püschel
Konstruktive Darstellungstheorie und Algorithmengenerierung
Ph.D. Thesis Computer Science, University of Karlsruhe, Germany 1998 (advisor Prof. Dr. T. Beth, 135 pages);
also in English:
Constructive Representation Theory and Fast Discrete Signal Transforms
Technical Report Drexel-MCS-1999-1, Drexel University, Philadelphia, 1999 (141 pages) - Markus Püschel
Über Gamma0(n) und seinen Normalisator in den rationalen Fällen
Diploma Thesis Mathematics, University of Karlsruhe, Germany 1994 (advisor Prof. Dr. H.-W. Leopoldt, 144 pages)
Other Conference Papers
- Soummya Kar, José Moura and Markus Püschel,
Finite-Time In-Network Computation of Linear Transforms
Proc. Asilomar Conference on Signals, Systems, and Computers, 2020
- João Mota, João Xavier, Pedro Q. Aguiar and Markus Püschel
Distributed Compressed Sensing Algorithms: Completing the Puzzle
Proc. GlobalSIP, 2013
- Yannis Benlachtar, Philip M. Watts, Rachid Bouziane, Peter A. Milder, Robert Koutsoyannis, James C. Hoe, Markus Püschel, Madeleine Glick and Robert I. Killey
21.4 GS/s Real-Time DSP-Based Optical OFDM Signal Generation and Transmission Over 1600 km of Uncompensated Fibre
Proc. European Conference on Optical Communication (ECOC), 2009 - (Best paper award, 1 out of about 80) Daniel McFarlin, Franz Franchetti and Markus Püschel
Automatic Generation of Vectorized Fast Fourier Transform Libraries for the Larrabee and AVX Instruction Set Extension
Proc. High Performance Embedded Computing (HPEC), 2009 - Srinivas Chellappa, Franz Franchetti and Markus Püschel
High Performance Linear Transform Program Generation for the Cell BE
Proc. High Performance Embedded Computing (HPEC), 2009 - Joao Mota, Joao Xavier, Pedro Aguiar, and Markus Püschel
Distributed Algorithms for Basis Pursuit
Proc. Workshop on Signal Processing with Adaptive Sparse Structured Representations (SPARS), 2009 - (Best paper award, 1 out of about 80) Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay and Markus Püschel
Generating High-Performance General Size Linear Transform Libraries Using Spiral
Proc. High Performance Embedded Computing (HPEC), 2008 - Franz Franchetti, Daniel McFarlin, Frédéric de Mesmay, Hao Shen, Tomasz Wiktor Włodarczyk, Srinivas Chellappa, Marek Telgarsky, Peter A. Milder, Yevgen Voronenko, Qian Yu, James C. Hoe, José M. F. Moura and Markus Püschel
Program Generation with Spiral: Beyond Transforms
Proc. High Performance Embedded Computing (HPEC), 2008 - Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay and Markus Püschel
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
Proc. Algebraic Methodology and Software Technology (AMAST), 2008 - Srinivas Chellappa, Franz Franchetti and Markus Püschel
FFT Program Generation for the Cell BE
Proc. International Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA), 2008 - Franz Franchetti, Yevgen Voronenko, Peter A. Milder, Srinivas Chellappa, Marek Telgarsky, Hao Shen, Paolo D'Alberto, Frédéric de Mesmay, James C. Hoe, José M. F. Moura and Markus Püschel
Domain-Specific Library Generation for Parallel Software and Hardware Platforms
Proc. NSF Next Generation Software Program Workshop (NSFNGS) colocated with IPDPS, 2008 - Peter Milder, Franz Franchetti, James C. Hoe, and Markus Püschel
Discrete Fourier Transform Compiler: From Mathematical Description to Efficient Hardware
poster at FPGA, 2007 - Robert Kirby and Markus Püschel
Program Generation for Polynomial Transforms in Unstructured Finite Element Computation
workshop on Finite Element Methods in Engineering and Science (FEMTEC), 2006 - F. Franchetti, A. Bonelli, E. Chuangsuwanich, Y. J. Lee, J. Lorenz, T. Peter, H. Shen, M. Telgarsky, Y. Voronenko, M. Püschel, J. M. F. Moura, C. W. Ueberhuber
Parallelism in Spiral
Proc. Workshop on Programming Models for Ubiquitous Parallelism (PMUP), 2006 - Paolo D'Alberto, Peter Milder, Franz Franchetti, James Hoe, Markus Püschel, and José Moura
Discrete Fourier Transform Compiler for FPGA and CPU/FPGA Partitioned Implementations
Proc. High Performance Embedded Computing (HPEC), 2006 - Markus Püschel
Algebraic Signal Processing Theory: An Overview
Proc. 12th IEEE DSP Workshop, 2006 - Roland Wunderlich, Markus Püschel, and James C. Hoe
Accelerating Blocked Matrix-Matrix Multiplication using a Software-Managed Memory Hierarchy with DMA
Proc. High Performance Embedded Computing (HPEC), 2005 - Lawrence C. Chang, Yevgen Voronenko, and Markus Püschel
Adaptive Mapping of Linear DSP Algorithms to Fixed-Point Arithmetic
Proc. High Performance Embedded Computing (HPEC), 2004 - Grace Nordin, James C. Hoe, and Markus Püschel
Discrete Fourier Transform IP Generator
Proc. High Performance Embedded Computing (HPEC), 2004 - Markus Püschel and Martin Rötteler
Cooley-Tukey FFT Like Algorithm for the Discrete Triangle Transform
Proc. 11th IEEE DSP Workshop, 2004 - José Moura and Markus Püschel
SPIRAL: An Overview
Proc. Workshop on Optimizations for DSP and Embedded Systems (ODES), held with International Symposium on Code Generation and Optimization (CGO), 2003 - Aca Gacic, Markus Püschel, and José Moura
High Performance Code Generation for FIR Filters and the Discrete Wavelet Transform Using SPIRAL
Proc. High Performance Embedded Computing (HPEC), 2003 - Smarahara Misra, Adam Zelinski, James Hoe, and Markus Püschel
Custom Reduction of Arithmetic in Linear DSP Transforms
Proc. High Performance Embedded Computing (HPEC) 2003 - Markus Püschel and José Moura
The Discrete Trigonometric Transforms and Their Fast Algorithms: An Algebraic Symmetry Perspective
Proc. 10th IEEE Digital Signal Processing Workshop, 2002 - Markus Püschel and José Moura
Generation and Manipulation of DSP Transform Algorithms
Proc. 10th IEEE Digital Signal Processing Workshop, 2002 - Franz Franchetti, Markus Püschel, José Moura, and Christoph Überhuber
Short Vector SIMD Code Generation for DSP Algorithms
Proc. High Performance Embedded Computing (HPEC) 2002 - Fang Fang, James C. Hoe, Markus Püschel, and Smarahara Misra
Generation of Custom DSP Transform IP Cores: Case Study Walsh-Hadamard Transform
Proc. High Performance Embedded Computing (HPEC) 2002 - Markus Püschel
SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms
Proc. Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL), held with International Conference on Supercomputing (ICS), 2002 - José Moura, Jeremy Johnson, Robert W. Johnson, David Padua, Viktor Prasanna, Markus Püschel, Bryan Singer, Manuela Veloso, and Jianxin Xiong
Generating Platform-Adapted DSP Libraries using SPIRAL
Proc. High Performance Embedded Computing (HPEC), 2001 - José Moura, Jeremy Johnson, Robert W. Johnson, David Padua, Viktor Prasanna, Markus Püschel, and Manuela Veloso
SPIRAL: Automatic Implementation of Signal Processing Algorithms
Proc. High Performance Embedded Computing (HPEC), 2000
Other Writing
- Sebastian Egner and Markus Püschel
AREP - a Package for Constructive Representation Theory and Fast Signal Transforms
GAP share package and manual 1998 (99 pages) - Armin Nückel, Markus Püschel, and Volker Baumgarte
Spezifikation und Simulation technologischer Prozesse - am Beispiel einer Zementmühle
E.I.S.S.- Report 1998/2, University of Karlsruhe, 1998 (39 pages) - Armin Nückel, Markus Püschel, Volker Baumgarte, and Winfried Fakler
VERMEIL - Verfahren und Methoden zur wissensbasierten Entwicklung zuverlässiger Leitanlagen
BMBF-Projekt, 6 interim reports July 95 - July 98