Scaling Polyhedral Neural Network Verification on GPUs F Serre, C Müller, G Singh, M Püschel, M Vechev Proceedings of Machine Learning and Systems 3, 2021 | 60* | 2021 |
Optimal circuits for streamed linear permutations using RAM F Serre, T Holenstein, M Püschel Proceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016 | 19 | 2016 |
A DSL-based FFT hardware generator in scala F Serre, M Püschel 2018 28th International Conference on Field Programmable Logic and …, 2018 | 10 | 2018 |
Generalizing block LU factorization: A lower–upper–lower block triangular decomposition with minimal off-diagonal ranks F Serre, M Püschel Linear Algebra and its Applications 509, 114-142, 2016 | 9 | 2016 |
Dsl-based hardware generation with scala: Example fast fourier transforms and sorting networks F Serre, M Püschel ACM Transactions on Reconfigurable Technology and Systems (TRETS) 13 (1), 1-23, 2019 | 6 | 2019 |
SGen—A streaming hardware generator F Serre 2018 Cited on, 8, 2018 | 5 | 2018 |
Memory-efficient fast Fourier transform on streaming data by fusing permutations F Serre, M Püschel Proceedings of the 2018 ACM/SIGDA International Symposium on Field …, 2018 | 4 | 2018 |
Characterizing and enumerating Walsh-Hadamard transform algorithms F Serre, M Püschel arXiv preprint arXiv:1710.08029, 2017 | 2 | 2017 |
DSL-based modular IP core generators: Example FFT and related structures F Serre, M Püschel 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH), 190-191, 2019 | 1 | 2019 |
In search of the optimal Walsh-Hadamard transform for streamed parallel processing F Serre, M Püschel ICASSP 2019-2019 IEEE International Conference on Acoustics, Speech and …, 2019 | 1 | 2019 |
Optimal Streaming Permutations and Transforms: Theory and Implementation F Serre ETH Zurich, 2019 | 1 | 2019 |
Optimal Streamed Linear Permutations F Serre, M Püschel 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 60-61, 2017 | 1 | 2017 |
Automatic Generation of Hardware Designs for Matrix-Matrix Multiplication F Serre Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012 | | 2012 |