PhD Thesis

  • Fast and Efficient Bit-Level Precision Tuning. (Analyse statique pour le réglage de la précision numérique). University of Perpignan, November, 2021. [PDF] [Slides]

International Peer-Reviewed Conferences

  1. Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. In the 10th IEEE International Conference on Control, Decision and Information Technologies (CoDIT'24).
  2. Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. In the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'24).
  3. Compile-Time Optimization of the Energy Consumption of Numerical Computations. In the 3rd Annual Compiler Frontiers Workshop (CF'24).
  4. What Operations can be Performed Directly on Compressed Arrays, and with What Error? In the 9th International Workshop on Data Analysis and Reduction for Big Scientific Data, DRBSD@SC'23
  5. Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds. In the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA'23, to appear.
  6. On the Functional Properties of Automatically Generated Fixed-Point Controllers. In the 9th International Conference on Control, Decision and Information Technologies, CoDIT'23.
  7. Toward Increasing Trust in Exascale Simulations. In The 4th Annual Workshop on Extreme-Scale Experiment-in-the-Loop Computing, XLOOP@SC'22.
  8. Fixed-Point Code Synthesis Based on Constraint Generation. In the Workshop on Design and Architectures for Signal and Image Processing, DASIP'22.
  9. Constrained Precision Tuning. In the 8th International Conference on Control, Decision and Information Technologies, CoDIT'22.
  10. Fast and Efficient Bit-Level Precision Tuning. In the 28th Static Analysis Symposium, SAS'21.
  11. A Study of the Floating-Point Tuning Behaviour on the N-body Problem. In the 21st International Conference on Computational Science and Its Applications, ICCSA'21.
  12. An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. In the 4th International Conference on Information and Computer Technologies, ICICT'21.
  13. Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. In the IEEE International Conference on Internet of Things and Intelligence System, IoTaIS'20.
  14. Precision Tuning and Internet of Things. In the IEEE International Conference on Internet of Things, Embedded Systems and Communications, IINTEC'19.
  15. POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. In the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS'19 (Revised Selected Papers).

Abstracts in International Conferences

  • Floating-Point Mixed-Precision Tuning in HPC Landscape. In the 4th International Computational Science And Engineering Conference (ICSEC), October, 2023.
  • Managing Performance vs. Accuracy Trade-offs with an Improved Bit-Level Precision Tuning. In the 21th International CMMSE Conference and the First Conference on High Performance Computing (CHPC), July, 2021.
  • [PDF] [Slides]
  • Precision Tuning by Static Analysis. In The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, September, 2018.
  • [PDF]

You can find my list of publications in DBLP.