POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. - Dorra Ben Khalifa; Matthieu Martel; Assalé Adjé (FTSCS, 2019)

Precision Tuning and Internet of Things. - Dorra Ben Khalifa; Matthieu Martel (IINTEC, 2019)

Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. - Dorra Ben Khalifa; Matthieu Martel (IoTaIS, 2020)

A Study of the Floating-Point Tuning Behaviour on the N-body Problem. - Dorra Ben Khalifa; Matthieu Martel (ICCSA (5), 2021)

An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. - Dorra Ben Khalifa; Matthieu Martel (ICICT, 2021)

Fast and Efficient Bit-Level Precision Tuning. - Assalé Adjé; Dorra Ben Khalifa; Matthieu Martel (SAS, 2021)

Fast and efficient bit-level precision tuning. (Analyse statique pour le réglage de la précision numérique). - Dorra Ben Khalifa (2021)

Constrained Precision Tuning. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2022)

Fixed-Point Code Synthesis Based on Constraint Generation. - Sofiane Bessaï; Dorra Ben Khalifa; Hanane Benmaghnia; Matthieu Martel (DASIP, 2022)

Toward Increasing Trust in Exascale Simulations. - Dorra Ben Khalifa; Xinyi Li; Ignacio Laguna; Matthieu Martel; Ganesh Gopalakrishnan (XLOOP@SC, 2022)

On the Functional Properties of Automatically Generated Fixed-Point Controllers. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2023)

What Operations can be Performed Directly on Compressed Arrays, and with What Error? - Tripti Agarwal; Harvey Dam; Ponnuswamy Sadayappan; Ganesh Gopalakrishnan; Dorra Ben Khalifa; Matthieu Martel (SC Workshops, 2023)

Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds. - Dorra Ben Khalifa; Matthieu Martel (CCIA, 2024)

Compile-Time Optimization of the Energy Consumption of Numerical Computations. - Dorra Ben Khalifa; Matthieu Martel (CF (Companion), 2024)

Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2024)

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. - Dorra Ben Khalifa; Matthieu Martel (LCTES, 2024)

Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers. - Dorra Ben Khalifa; Matthieu Martel (SOAP@PLDI, 2025)

Automated Fixed-Point Precision Optimization for FPGA Synthesis. - Inès Winandy; Arnaud Dion; Florent Manni; Pierre-Loïc Garoche; Dorra Ben Khalifa; Matthieu Martel (IEEE Open J. Circuits Syst., 2025)