Associate Professor - Norwegian University of Science and Technology (NTNU)
Research focus on compilers and approximate computing.
Lord of Glencoe, Scotland
Learn more about associations and activities I support
Browse the list of my publications on Google Scholar or on the dedicated page
Compiler Engineer and Research Engineer - Codeplay Software
Years of activity: Mar 2020 - Feb 2021
Lecturer in Software Engineering - School of Computing, Engineering, and the Built Environment - Edinburgh Napier University
Years of activity: Mar 2021 - Jun 2023
PhD student and Post-Doc Research Fellow - Computer Science Engineering - HEAP lab - Politecnico di Milano
PhD Thesis title: Compiler-Assisted Dynamic Precision Tuning.
Years of activity: Sep 2015 - Mar 2020
Find out more about my teaching activities on the dedicated page
Browse the currently available project and thesis proposals on the dedicated page
TAFFO
Tuning Assistant for Floating point and Fixed point Optimization
This toolchain provides user-driven precision tuning capabilities by exploiting integer computation instead of floating point whenever possible.
It is composed by a set of plugins for the LLVM compiler infrastructure.
It does NOT require any customization of the compiler.
Check it out on github.
libVersioningCompiler
This library enables runtime compilation of source code and dynamic loading of a specified C/C++ function.
It also provides support for versioning of the compiled functions.
Check it out on github.