| 2026 | CGO | QIGen: A Kernel Generator for Inference on Nonuniformly Quantized Large Language Models. | Tommaso Pegolotti, Dan Alistarh, Markus Pschel |
| 2025 | CAV | Accelerating Automated Program Verifiers by Automatic Proof Localization. | Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Mller, Markus Pschel, Ilya Sergey |
| 2025 | ICASSP | Learning Time-Varying Graphs from Data with Few Causes. | Panagiotis Misiakos, Markus Pschel |
| 2025 | UAI | SpinSVAR: Estimating Structural Vector Autoregression Assuming Sparse Input. | Panagiotis Misiakos, Markus Pschel |
| 2024 | ICASSP | Learning Signals and Graphs from Time-Series Graph Data with Few Causes. | Panagiotis Misiakos, Vedran Mihal, Markus Pschel |
| 2023 | ICASSP | Mbius Total Variation for Directed Acyclic Graphs. | Vedran Mihal, Markus Pschel |
| 2022 | CGO | A Compiler for Sound Floating-Point Computations using Affine Arithmetic. | Joao Rivera, Franz Franchetti, Markus Pschel |
| 2022 | IJCAI | Fourier Analysis-based Iterative Combinatorial Auctions. | Jakob Weissteiner, Chris Wendler, Sven Seuken, Benjamin Lubin, Markus Pschel |
| 2021 | AAAI | Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases. | Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Pschel |
| 2021 | CGO | An Interval Compiler for Sound Floating-Point Computations. | Joao Rivera, Franz Franchetti, Markus Pschel |
| 2021 | HiPC | Faster Parallel Training of Word Embeddings. | Eliza Wszola, Martin Jaggi, Markus Pschel |
| 2021 | ICASSP | Wiener Filter on Meet/Join Lattices. | Bastian Seifert, Chris Wendler, Markus Pschel |
| 2020 | ACSSC | Finite-Time In-Network Computation of Linear Transforms. | Soummya Kar, Markus Pschel, Jos M. F. Moura |
| 2020 | ICASSP | Diagonalizable Shift and Filters for Directed Graphs Based on the Jordan-Chevalley Decomposition. | Panagiotis Misiakos, Chris Wendler, Markus Pschel |
| 2020 | PLDI | Learning fast and precise numerical analysis. | Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2019 | ARITH | DSL-Based Modular IP Core Generators: Example FFT and Related Structures. | Franois Serre, Markus Pschel |
| 2019 | GPCE | A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. | Alen Stojanov, Tiark Rompf, Markus Pschel |
| 2019 | HiPC | On Linear Learning with Manycore Processors. | Eliza Wszola, Celestine Mendler-Dnner, Martin Jaggi, Markus Pschel |
| 2019 | ICASSP | A Discrete Signal Processing Framework for Meet/join Lattices with Applications to Hypergraphs and Trees. | Markus Pschel |
| 2019 | ICASSP | In Search of the Optimal Walsh-hadamard Transform for Streamed Parallel Processing. | Franois Serre, Markus Pschel |
| 2019 | ICLR | Boosting Robustness Certification of Neural Networks. | Gagandeep Singh, Timon Gehr, Markus Pschel, Martin T. Vechev |
| 2018 | CAV | Fast Numerical Program Analysis with Reinforcement Learning. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2018 | CGO | Program generation for small-scale linear algebra applications. | Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Pschel |
| 2018 | CGO | SIMD intrinsics on managed language runtimes. | Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Pschel |
| 2018 | FPGA | Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations. | Franois Serre, Markus Pschel |
| 2018 | FPL | A DSL-Based FFT Hardware Generator in Scala. | Franois Serre, Markus Pschel |
| 2018 | ICASSP | A Discrete Signal Processing Framework for Set Functions. | Markus Pschel |
| 2017 | ARITH | Optimal Streamed Linear Permutations. | Franois Serre, Markus Pschel |
| 2017 | GPCE | Staging for generic programming in space and time. | Georg Ofenbeck, Tiark Rompf, Markus Pschel |
| 2017 | POPL | Fast polyhedra abstract domain. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2016 | CGO | A basic linear algebra compiler for structured matrices. | Daniele G. Spampinato, Markus Pschel |
| 2016 | FPGA | Optimal Circuits for Streamed Linear Permutations Using RAM. | Franois Serre, Thomas Holenstein, Markus Pschel |
| 2015 | DATE | A basic linear algebra compiler for embedded processors. | Nikolaos Kyrtatas, Daniele G. Spampinato, Markus Pschel |
| 2015 | PLDI | Making numerical program analysis fast. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2014 | CGO | A Basic Linear Algebra Compiler. | Daniele G. Spampinato, Markus Pschel |
| 2014 | GPCE | Automatic locality-friendly interface extension of numerical functions. | Benjamin Hess, Thomas R. Gross, Markus Pschel |
| 2014 | ISPASS | Applying the roofline model. | Georg Ofenbeck, Ruedi Steinmann, Victoria Caparrs Cabezas, Daniele G. Spampinato, Markus Pschel |
| 2014 | PLDI | Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. | Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Pschel |
| 2013 | GPCE | Spiral in scala: towards the systematic construction of generators for performance libraries. | Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Pschel |
| 2013 | ICML | Active Learning for Multi-Objective Optimization. | Marcela Zuluaga, Guillaume Sergent, Andreas Krause, Markus Pschel |
| 2012 | DAC | Computer generation of streaming sorting networks. | Marcela Zuluaga, Peter A. Milder, Markus Pschel |
| 2012 | ICASSP | Improving fixed-point accuracy of FFT cores in O-OFDM systems. | Robert Koutsoyannis, Peter A. Milder, Christian R. Berger, Madeleine Glick, James C. Hoe, Markus Pschel |
| 2012 | ICASSP | D-ADMM: A distributed algorithm for compressed sensing and other separable optimization problems. | Joo F. C. Mota, Joo M. F. Xavier, Pedro M. Q. Aguiar, Markus Pschel |
| 2012 | PEPM | Compiling math to fast code. | Markus Pschel |
| 2011 | ICASSP | Real-time software implementation of an IEEE 802.11a baseband receiver on Intel multicore. | Christian R. Berger, Volodymyr Arbatov, Yevgen Voronenko, Franz Franchetti, Markus Pschel |
| 2011 | ICASSP | Basis Pursuit in sensor networks. | Joo F. C. Mota, Joo M. F. Xavier, Pedro M. Q. Aguiar, Markus Pschel |
| 2011 | ICASSP | Compression of QRS complexes using Hermite expansion. | Aliaksei Sandryhaila, Jelena Kovacevic, Markus Pschel |
| 2011 | ICS | Automatic SIMD vectorization of fast fourier transforms for the larrabee and AVX instruction sets. | Daniel S. McFarlin, Volodymyr Arbatov, Franz Franchetti, Markus Pschel |
| 2011 | OOPSLA | Automatic performance programming. | Markus Pschel |
| 2010 | ICASSP | Hardware implementation of the discrete fourier transform with non-power-of-two problem size. | Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Pschel |
| 2009 | CGO | Computer Generation of General Size Linear Transform Libraries. | Yevgen Voronenko, Frdric de Mesmay, Markus Pschel |
| 2009 | DATE | Automatic generation of streaming datapaths for arbitrary fixed permutations. | Peter A. Milder, James C. Hoe, Markus Pschel |
| 2009 | ICASSP | Generating high performance pruned FFT implementations. | Franz Franchetti, Markus Pschel |
| 2009 | ICML | Bandit-based optimization on graphs with application to library performance tuning. | Frdric de Mesmay, Arpad Rimmel, Yevgen Voronenko, Markus Pschel |
| 2009 | ICS | Computer generation of fast fourier transforms for the cell broadband engine. | Srinivas Chellappa, Franz Franchetti, Markus Pschel |
| 2009 | ISSAC | Automatic synthesis of high performance mathematical programs. | Markus Pschel |
| 2008 | CC | Generating SIMD Vectorized Permutations. | Franz Franchetti, Markus Pschel |
| 2008 | DAC | Formal datapath representation and manipulation for implementing DSP transforms. | Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Pschel |
| 2008 | ICASSP | Alternatives to the discrete fourier transform. | Doru-Cristian Balcan, Aliaksei Sandryhaila, Jonathan Gross, Markus Pschel |
| 2008 | ICASSP | Haar filter banks for I-D space signals. | Aliaksei Sandryhaila, Jelena Kovacevic, Markus Pschel |
| 2007 | FCCM | Generating FPGA-Accelerated DFT Libraries. | Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, Jos M. F. Moura, Markus Pschel, Jeremy R. Johnson |
| 2007 | GPCE | Can we teach computers to write fast libraries? | Markus Pschel |
| 2007 | ICASSP | SIMD Vectorization of Non-Two-Power Sized FFTs. | Franz Franchetti, Markus Pschel |
| 2007 | ICIP | An Adaptive Multiresolution Approach to Fingerprint Recognition. | Amina Chebira, Lus Pedro Coelho, Aliaksei Sandryhaila, Stephen Lin, William G. Jenkinson, Jeremiah MacSleyne, Christopher Hoffman, Philipp Cuadra, Charles Jackson, Markus Pschel, Jelena Kovacevic |
| 2006 | FPGA | Fast and accurate resource estimation of automatically generated custom DFT IP cores. | Peter A. Milder, Mohammad Ahmad, James C. Hoe, Markus Pschel |
| 2006 | ICASSP | Sampling Theorem Associated With the Discrete Cosine Transform. | Jelena Kovacevic, Markus Pschel |
| 2006 | ICASSP | The Algebraic Structure in Signal Processing: Time and Space. | Markus Pschel, Jos M. F. Moura |
| 2006 | ICASSP | Algebraic Derivation of General Radix Cooley-Tukey Algorithms for the Real Discrete Fourier Transform. | Yevgen Voronenko, Markus Pschel |
| 2006 | ISPA | Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers. | Andreas Bonelli, Franz Franchetti, Juergen Lorenz, Markus Pschel, Christoph W. Ueberhuber |
| 2006 | SC | Tools and techniques for performance - FFT program generation for shared memory: SMP and multicore. | Franz Franchetti, Yevgen Voronenko, Markus Pschel |
| 2005 | DAC | Automatic generation of customized discrete fourier transform IPs. | Grace Nordin, Peter A. Milder, James C. Hoe, Markus Pschel |
| 2005 | DCC | Real, Tight Frames with Maximal Robustness to Erasures. | Markus Pschel, Jelena Kovacevic |
| 2005 | ICASSP | Performance analysis of the filtered backprojection image reconstruction algorithms. | Thammanit Pipatsrisawat, Aca Gacic, Franz Franchetti, Markus Pschel, Jos M. F. Moura |
| 2005 | ICASSP | Fourier transform for the directed quincunx lattice. | Markus Pschel, Martin Rtteler |
| 2005 | ICIP | Fourier transform for the spatial quincunx lattice. | Markus Pschel, Martin Rtteler |
| 2005 | PLDI | Formal loop merging for signal transforms. | Franz Franchetti, Yevgen Voronenko, Markus Pschel |
| 2004 | DAC | Multiple constant multiplication by time-multiplexed mapping of addition chains. | Peter Tummeltshammer, James C. Hoe, Markus Pschel |
| 2004 | ICASSP | Automatically generated high-performance code for discrete wavelet transforms. | Aca Gacic, Markus Pschel, Jos M. F. Moura |
| 2004 | ICASSP | The discrete triangle transform. | Markus Pschel, Martin Rtteler |
| 2004 | ICASSP | Automatic generation of implementations for DSP transforms on fused multiply-add architectures. | Yevgen Voronenko, Markus Pschel |
| 2004 | ICASSP | Automatic cost minimization for multiplierless implementations of discrete signal transforms. | Adam C. Zelinski, Markus Pschel, Smarahara Misra, James C. Hoe |
| 2004 | ICCAD | Custom-optimized multiplierless implementations of DSP algorithms. | Markus Pschel, Adam C. Zelinski, James C. Hoe |
| 2003 | DAC | Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. | Claire Fang Fang, Rob A. Rutenbar, Markus Pschel, Tsuhan Chen |
| 2003 | ICASSP | Short vector code generation and adaptation for DSP algorithms. | Franz Franchetti, Markus Pschel |
| 2003 | ICASSP | Fast automatic software implementations of FIR filters. | Aca Gacic, Markus Pschel, Jos M. F. Moura |
| 2003 | ICASSP | Cooley-Tukey FFT like algorithms for the DCT. | Markus Pschel |
| 2001 | ICCS | Fast Automatic Generation of DSP Algorithms. | Markus Pschel, Bryan Singer, Manuela M. Veloso, Jos M. F. Moura |
| 2000 | ICASSP | In search of the optimal Walsh-Hadamard transform. | Jeremy Johnson, Markus Pschel |
| 1998 | ISSAC | Solving Puzzles Related to Permutation Groups. | Sebastian Egner, Markus Pschel |
| 1997 | ISSAC | Decomposing a Permutation into a Conjugated Tensor Product. | Sebastian Egner, Markus Pschel, Thomas Beth |