Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
contact
people
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
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
Precision Tuning and Internet of Things
Published in International Conference on Internet of Things, Embedded Systems and Communications (IINTEC 2019), Tunis, Tunisia, 2019
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
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
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.
Fast and Efficient Bit-Level Precision Tuning
Published in Static Analysis - 28th International Symposium (SAS 2021), Chicago, IL, USA, 2021
Constrained Precision Tuning
Published in 8th International Conference on Control, Decision and Information Technologies (CoDIT 2022), Istanbul, Turkey, 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
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
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
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
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
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
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
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
Automated Fixed-Point Precision Optimization for FPGA Synthesis
Published in IEEE Open Journal of Circuits and Systems, 2025
software
talks
teaching
Basic Python Programming & PythonQt
Course, , 2023
C/C++ Algorithmic and Programming
Course, , 1900
C++ Oriented Certification: DO-178/ED-12 and DO-332
Course, , 1900
Deepening and Management of Databases/SQL
Course, , 1900
Drone Development from Concept to Flight
Course, , 1900
Introduction to R
Course, , 1900
Introduction to Systems Engineering
Course, , 1900
Python Algorithmic and Programming
, , 1900
Requirement Engineering & Verification and Validation
Course, , 1900
Web Programming
Course, , 1900