1. Assalé Adjé, Dorra Ben Khalifa, and Matthieu Martel. 2021. Fast and Efficient Bit-Level Precision Tuning. In Static Analysis - 28th International Symposium, SAS 2021 (Lecture Notes in Computer Science, Vol. 12913). Springer, 1--24.
2. ANSI/IEEE 2008. IEEE Standard for Binary Floating-point Arithmetic. ANSI/IEEE.
3. Dorra Ben Khalifa and Matthieu Martel. 2022. Constrained Precision Tuning. In 8th International Conference on Control, Decision and Information Technologies, CoDIT. IEEE, 230--236.
4. Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, and Matthieu Martel. 2022. Fixed-Point Code Synthesis Based on Constraint Generation. In Design and Architecture for Signal and Image Processing (Lecture Notes in Computer Science, Vol. 13425), Karol Desnos and Sergio A. Pertuz (Eds.). Springer, 108--120.
5. Mixed Precision Block Fused Multiply-Add: Error Analysis and Application to GPU Tensor Cores