Lecturer - Edinburgh Napier University
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
No more active since Mar 2021
PhD student and Post-Doc Research Fellow - Computer Science Engineering - HEAP lab - Politecnico di Milano
PhD Thesis title: Compiler-Assisted Dynamic Precision Tuning.
No more active since 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 to 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.