About

François Serre

PhD, X2007

I completed my PhD degree in Computer Science at ETH Zürich in the Advanced Computing Laboratory, supervised by Prof. Dr. Markus Püschel. My research focused on the generation of streaming hardware for various applications such as permutations, sorting networks, or linear algebra algorithms such as the fast Fourier transform.


I am originally from Paris, France, where, after completing three years of classes préparatoires at Lycée Louis-le-Grand, I enrolled at the Ecole Polytechnique, and obtained the diplôme d'ingénieur degree. As part of this program, I completed a MSc at ETH Zurich focused on visual computing and computer graphics.

My interests focus on the implementation of software and hardware algorithms for complex problems (such as the ones used in visual computing or machine learning) that reach high performance, with, when possible, proven optimality.

Projects

News

Publications

Scaling Polyhedral Neural Network Verification on GPUs

François Serre, Christoph Müller, Gagandeep Singh, Markus Püschel and Martin Vechev
MLSYS'21 | PDF

Optimal Streaming Permutations and Transforms: Theory and Implementation

François Serre
PhD Thesis | PDF

DSL-Based Hardware Generation with Scala: Example Fast Fourier Transforms and Sorting Networks

François Serre and Markus Püschel
TRETS'19 | PDF

DSL-Based Modular IP Core Generators: Example FFT and Related Structures

François Serre and Markus Püschel
ARITH'19 | PDF

In Search of the Optimal Walsh-hadamard Transform for Streamed Parallel Processing

François Serre and Markus Püschel
ICASSP'19 | PDF

A DSL-Based FFT Hardware Generator in Scala

François Serre and Markus Püschel
FPL'18 | PDF

Memory-Efficient Fast Fourier Transform on Streaming Data by Fusing Permutations

François Serre and Markus Püschel
FPGA'18 | PDF

Characterizing and Enumerating Walsh-Hadamard Transform Algorithms

François Serre and Markus Püschel
CoRR'17 | PDF

Optimal Streamed Linear Permutations

François Serre and Markus Püschel
ARITH'17 | PDF

Generalizing Block LU factorization: A lower–upper–lower block triangular decomposition with minimal off-diagonal ranks

François Serre and Markus Püschel
LAA'16 | PDF

Optimal Circuits for Streamed Linear Permutations using RAM

François Serre, Thomas Holenstein and Markus Püschel
FPGA'16 | PDF

Automatic Generation of Hardware Designs for Matrix-Matrix Multiplication

François Serre
Master Thesis | PDF

Read More