François Serre

According to our database, François Serre authored at least 10 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Scaling Polyhedral Neural Network Verification on GPUs.

Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proceedings of the Fourth Conference on Machine Learning and Systems, 2021

2020

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

2019

Optimal Streaming Permutations and Transforms: Theory and Implementation.

François Serre

PhD thesis, 2019

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

François Serre, Markus Püschel

Proceedings of the IEEE International Conference on Acoustics, 2019

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

François Serre, Markus Püschel

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

A DSL-Based FFT Hardware Generator in Scala.

François Serre, Markus Püschel

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

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

François Serre, Markus Püschel

Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018

2017

Characterizing and Enumerating Walsh-Hadamard Transform Algorithms.

François Serre, Markus Püschel

CoRR, 2017

Optimal Streamed Linear Permutations.

François Serre, Markus Püschel

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Optimal Circuits for Streamed Linear Permutations Using RAM.

François Serre, Thomas Holenstein, Markus Püschel

Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2016