Dorra Ben Khalifa

According to our database, Dorra Ben Khalifa authored at least 18 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2025

2024

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures.

Dorra Ben Khalifa, Matthieu Martel

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.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the 10th International Conference on Control, 2024

Compile-Time Optimization of the Energy Consumption of Numerical Computations.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024

Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the Artificial Intelligence Research and Development, 2024

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

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.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the 9th International Conference on Control, 2023

2022

Toward Increasing Trust in Exascale Simulations.

Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan

Proceedings of the 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, 2022

Fixed-Point Code Synthesis Based on Constraint Generation.

Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, Matthieu Martel

Proceedings of the Design and Architecture for Signal and Image Processing, 2022

Constrained Precision Tuning.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the 8th International Conference on Control, 2022

2021

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

Dorra Ben Khalifa

PhD thesis, 2021

Fast and Efficient Bit-Level Precision Tuning.

Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel

Proceedings of the Static Analysis - 28th International Symposium, 2021

An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic.

Dorra Ben Khalifa, Matthieu Martel

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.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

2020

Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the IEEE International Conference on Internet of Things and Intelligence System, 2020

2019

Precision Tuning and Internet of Things.

Dorra Ben Khalifa, Matthieu Martel

Proceedings of the International Conference on Internet of Things, 2019

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.

Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019