Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures.
Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, 2024
Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers.
Proceedings of the 10th International Conference on Control, 2024
Compile-Time Optimization of the Energy Consumption of Numerical Computations.
Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024
Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds.
Proceedings of the Artificial Intelligence Research and Development, 2024
What Operations can be Performed Directly on Compressed Arrays, and with What Error?
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023
On the Functional Properties of Automatically Generated Fixed-Point Controllers.
Proceedings of the 9th International Conference on Control, 2023
Toward Increasing Trust in Exascale Simulations.
Proceedings of the 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, 2022
Fixed-Point Code Synthesis Based on Constraint Generation.
Proceedings of the Design and Architecture for Signal and Image Processing, 2022
Constrained Precision Tuning.
Proceedings of the 8th International Conference on Control, 2022
Fast and efficient bit-level precision tuning. (Analyse statique pour le réglage de la précision numérique).
PhD thesis, 2021
Fast and Efficient Bit-Level Precision Tuning.
Proceedings of the Static Analysis - 28th International Symposium, 2021
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic.
Proceedings of the 4th International Conference on Information and Computer Technologies, 2021
A Study of the Floating-Point Tuning Behaviour on the N-body Problem.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices.
Proceedings of the IEEE International Conference on Internet of Things and Intelligence System, 2020
Precision Tuning and Internet of Things.
Proceedings of the International Conference on Internet of Things, 2019
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019