Dorra Ben Khalifa

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

Collaborative distances:

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

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