Optimal Circuits for Streamed Linear Permutations Using RAM. - François Serre; Thomas Holenstein; Markus Püschel (FPGA, 2016)

Optimal Streamed Linear Permutations. - François Serre; Markus Püschel (ARITH, 2017)

Characterizing and Enumerating Walsh-Hadamard Transform Algorithms. - François Serre; Markus Püschel (CoRR, 2017)

Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations. - François Serre; Markus Püschel (FPGA, 2018)

A DSL-Based FFT Hardware Generator in Scala. - François Serre; Markus Püschel (FPL, 2018)

DSL-Based Modular IP Core Generators: Example FFT and Related Structures. - François Serre; Markus Püschel (ARITH, 2019)

In Search of the Optimal Walsh-hadamard Transform for Streamed Parallel Processing. - François Serre; Markus Püschel (ICASSP, 2019)

Optimal Streaming Permutations and Transforms: Theory and Implementation. - François Serre (2019)

DSL-Based Hardware Generation with Scala: Example Fast Fourier Transforms and Sorting Networks. - François Serre; Markus Püschel (ACM Trans. Reconfigurable Technol. Syst., 2020)

Scaling Polyhedral Neural Network Verification on GPUs. - Christoph Müller; François Serre; Gagandeep Singh 001; Markus Püschel; Martin T. Vechev (MLSys, 2021)