| Fast and efficient bit-level precision tuning A Adjé, D Ben Khalifa, M Martel Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 14 | 2021 |
| POP: A tuning assistant for mixed-precision floating-point computations D Ben Khalifa, M Martel, A Adjé Formal Techniques for Safety-Critical Systems: 7th International Workshop …, 2020 | 10 | 2020 |
| Precision tuning and internet of things DB Khalifa, M Martel 2019 International Conference on Internet of Things, Embedded Systems and …, 2019 | 7 | 2019 |
| Precision tuning of an accelerometer-based pedometer algorithm for iot devices DB Khalifa, M Martel 2020 IEEE International Conference on Internet of Things and Intelligence …, 2021 | 6 | 2021 |
| An evaluation of POP performance for tuning numerical programs in floating-point arithmetic DB Khalifa, M Martel 2021 4th International Conference on Information and Computer Technologies …, 2021 | 4 | 2021 |
| A study of the floating-point tuning behaviour on the n-body problem D Ben Khalifa, M Martel Computational Science and Its Applications–ICCSA 2021: 21st International …, 2021 | 4 | 2021 |
| Constrained precision tuning DB Khalifa, M Martel 2022 8th International Conference on Control, Decision and Information …, 2022 | 3 | 2022 |
| Fixed-point code synthesis based on constraint generation S Bessaï, DB Khalifa, H Benmaghnia, M Martel International Workshop on Design and Architecture for Signal and Image …, 2022 | 2 | 2022 |
| Everything you Need to Know About Reduced Mixed Precision Computation in Numerical Programs DB Khalifa, M Martel | 1 | 2023 |
| Toward increasing trust in exascale simulations DB Khalifa, X Li, I Laguna, M Martel, G Gopalakrishnan 2022 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing …, 2022 | 1 | 2022 |
| Constrained precision tuning D Ben Khalifa, M Martel arXiv e-prints, arXiv: 2203.07486, 2022 | 1 | 2022 |
| Fast and efficient bit-level precision tuning DB Khalifa Université de Perpignan, 2021 | 1 | 2021 |
| What Operations can be Performed Directly on Compressed Arrays, and with What Error? T Agarwal, H Dam, P Sadayappan, G Gopalakrishnan, DB Khalifa, ... Proceedings of the SC'23 Workshops of The International Conference on High …, 2023 | | 2023 |
| On the Functional Properties of Automatically Generated Fixed-Point Controllers DB Khalifa, M Martel 2023 9th International Conference on Control, Decision and Information …, 2023 | | 2023 |
| Fast and efficient bit-level precision tuning D Ben Khalifa Perpignan, 2021 | | 2021 |
| Floating-Point Mixed Precision Tuning by Static Analysis DB Khalifa | | 2019 |
| Managing Performance vs. Accuracy Trade-offs with an Efficient Bit-Level precision Tuning DB Khalifa, M Martel | | |
