François Serre

François Serre

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 5328625
Swiss Federal Institute of Technology ETH Zurich
person_outline François Serre's MOST POPULAR ARTICLES
1-) Scaling Polyhedral Neural Network Verification on GPUsF Serre, C Müller, G Singh, M Püschel, M VechevProceedings of Machine Learning and Systems 3, 202167*2021
2-) Optimal circuits for streamed linear permutations using RAMF Serre, T Holenstein, M PüschelProceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016192016
3-) A DSL-based FFT hardware generator in scalaF Serre, M Püschel2018 28th International Conference on Field Programmable Logic and …, 2018102018
4-) Generalizing block LU factorization: A lower–upper–lower block triangular decomposition with minimal off-diagonal ranksF Serre, M PüschelLinear Algebra and its Applications 509, 114-142, 2016102016
5-) DSL-based hardware generation with scala: Example fast Fourier transforms and sorting networksF Serre, M PüschelACM Transactions on Reconfigurable Technology and Systems (TRETS) 13 (1), 1-23, 2019