Automated Fixed-Point Precision Optimization for FPGA Synthesis
Published in IEEE Open Journal of Circuits and Systems, 2025
You can also find my articles on my DBLP profile.
Journal Articles
Conference Articles
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Published in 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2025), Seoul, Republic of Korea, 2025
Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds
Published in 26th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2024), Barcelona, Spain, 2024
Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers
Published in 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024), Vallette, Malta, 2024
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
Published in Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024), Copenhagen, Denmark, 2024
Compile-Time Optimization of the Energy Consumption of Numerical Computations
Published in Proceedings of the 21st ACM International Conference on Computing Frontiers (CF 2024), Ischia, Italy, 2024
What Operations can be Performed Directly on Compressed Arrays, and with What Error?
Published in Proceedings of the SC '23 Workshops (SC-W 2023), Denver, CO, USA, 2023
Toward Increasing Trust in Exascale Simulations
Published in 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing (XLOOP 2022), Dallas, TX, USA, 2022
Fixed-Point Code Synthesis Based on Constraint Generation
Published in Design and Architecture for Signal and Image Processing - 15th International Workshop (DASIP 2022), Budapest, Hungary, 2022
Constrained Precision Tuning
Published in 8th International Conference on Control, Decision and Information Technologies (CoDIT 2022), Istanbul, Turkey, 2022
Fast and Efficient Bit-Level Precision Tuning
Published in Static Analysis - 28th International Symposium (SAS 2021), Chicago, IL, USA, 2021
A Study of the Floating-Point Tuning Behaviour on the N-body Problem
Published in Computational Science and Its Applications - ICCSA 2021, Cagliari, Italy, 2021
This paper studies the behaviour of floating-point tuning in the N-body problem.
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic
Published in 4th International Conference on Information and Computer Technologies (ICICT 2021), Kahului, HI, USA, 2021
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices
Published in IEEE International Conference on Internet of Things and Intelligence System (IoTaIS 2020), Bali, Indonesia, 2021
Precision Tuning and Internet of Things
Published in International Conference on Internet of Things, Embedded Systems and Communications (IINTEC 2019), Tunis, Tunisia, 2019
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
Published in Formal Techniques for Safety-Critical Systems - 7th International Workshop (FTSCS 2019), Shenzhen, China, 2019