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
Find out more about my teaching activities on the dedicated page
NTNU students can browse the currently available project and thesis proposals on the IDI department's project collection.
More general information is available on the dedicated page
MARCO
Modelica Advanced Research Compiler
This is a research effort to provide a modern and efficient approach to compilers for DAE-based modelling and simulation languages.
It is built upon the MLIR compiler infrastructure.
Check it out on GitHub
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.
You might remember me wearing different colours in the past, such as:
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