Dorra Ben Khalifa

22 papers B 2C 3Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Fixed-Point Precision Optimization for FPGA Synthesis.
IEEE Open J. Circuits Syst.
Inès Winandy, Arnaud Dion, Florent Manni, Pierre-Loïc Garoche, Dorra Ben Khalifa, Matthieu Martel
2025 — conf
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers.
SOAP@PLDI
Dorra Ben Khalifa, Matthieu Martel
2024 — conf
Compile-Time Optimization of the Energy Consumption of Numerical Computations.
CF (Companion)
Dorra Ben Khalifa, Matthieu Martel
2024 B conf
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures.
LCTES
Dorra Ben Khalifa, Matthieu Martel
2024 — conf
Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds.
CCIA
Dorra Ben Khalifa, Matthieu Martel
2024 C conf
Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers.
CoDIT
Dorra Ben Khalifa, Matthieu Martel
2024 J jnl
What Operations can be Performed Directly on Compressed Arrays, and with What Error?
CoRR
Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa, Matthieu Martel, P. Sadayappan, Ganesh Gopalakrishnan
2023 C conf
On the Functional Properties of Automatically Generated Fixed-Point Controllers.
CoDIT
Dorra Ben Khalifa, Matthieu Martel
2023 — conf
What Operations can be Performed Directly on Compressed Arrays, and with What Error?
SC Workshops
Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel
2022 C conf
Constrained Precision Tuning.
CoDIT
Dorra Ben Khalifa, Matthieu Martel
2022 J jnl
Constrained Precision Tuning.
CoRR
Dorra Ben Khalifa, Matthieu Martel
2022 — conf
Fixed-Point Code Synthesis Based on Constraint Generation.
DASIP
Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, Matthieu Martel
2022 — conf
Toward Increasing Trust in Exascale Simulations.
XLOOP@SC
Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan
2021 — conf
A Study of the Floating-Point Tuning Behaviour on the N-body Problem.
ICCSA (5)
Dorra Ben Khalifa, Matthieu Martel
2021 J jnl
A Study of the Floating-Point Tuning Behaviour on the N-body Problem.
CoRR
Dorra Ben Khalifa, Matthieu Martel
2021 — conf
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic.
ICICT
Dorra Ben Khalifa, Matthieu Martel
2021 B conf
Fast and Efficient Bit-Level Precision Tuning.
SAS
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021 J jnl
Fast and Efficient Bit-Level Precision Tuning.
CoRR
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021 — —
Fast and efficient bit-level precision tuning. (Analyse statique pour le réglage de la précision numérique).
Dorra Ben Khalifa
2020 — conf
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices.
IoTaIS
Dorra Ben Khalifa, Matthieu Martel
2019 — conf
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.
FTSCS
Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
2019 — conf
Precision Tuning and Internet of Things.
IINTEC
Dorra Ben Khalifa, Matthieu Martel