Current Members
Stefano Cherubin
Stefano Cherubin is an Associate Professor at NTNU (Norway). He received his Ph.D. in Information Engineering at Politecnico di Milano (Italy) in 2019 with a thesis on Compiler-Assisted Dynamic Precision Tuning. His research interests include compilers, and approximate computing.
He is the founder of the TAFFO project.
Daniele Cattaneo
Daniele Cattaneo has earned his M.Sc. graduation cum laude in Computer Science and Engineering in December 2018, with a thesis work based on the architecture and implementation of a mixed precision compiler which exploits the fixed point numerical representation. Currently he is a Ph.D. candidate at Politecnico di Milano. His research interests involve embedded systems, compiler technology and software-hardware codesign.
He is one of the two first contributors to TAFFO, as he worked on the initial floating-point to fixed-point conversion pass, and later on most of the remaining infrastructure. He is now working on TAFFO as part of his Ph.D. at Politecnico di Milano.
Gabriele Magnani
Gabriele Magnani received his MSc in Computer Science and Engineering in 2021 at Politecnico di Milano, with a thesis on precision tuning of mathematically intensive programs. Currently he is PhD student, still at Politecnico di Milano, and his research interests involve the application of precision tuning in a concrete applicative context, computer security and real-time systems.
He developed FixM, TAFFO’s custom fixed-point mathematical library function generator, and is currently working on supporting more numeric representations in TAFFO.
Lev Denisov
Lev Denisov is a PhD student at Politecnico di Milano. He received his M.Sc. degree in Big Data Management and Analytics from TU Berlin (Germany) in 2019. His research interests include approximate computing, big data and compilers.
Lev is contributing to TAFFO as part of his PhD studies, working on hardware-software co-design approaches and dynamical approaches to program analyses.
Giovanni Agosta
Giovanni Agosta is Associate Professor at Politecnico di Milano, where he received his Ph.D. in 2004 and the MS degree (Laurea) in 2000. His research interests focus on compiler technologies for the enforcement of extra functional properties. He has published over 100 papers in international journals and conferences. He is a senior member of the ACM, a member of the HiPEAC NoE, an associate editor of SoftwareX, and is currently the technical manager of the RECIPE research project.
He is the academic supervisor of the TAFFO project.
Former Members
Antonio Di Bello
Antonio Di Bello graduated in Computer Science and Engineering in December 2018 from Politecnico di Milano.
He is one of the two first contributor to TAFFO, together with Daniele Cattaneo.
Nicola Fossati
Nicola Fossati received his MSc in Computer Science and Engineer in 2020 at Politecnico di Milano, with a thesis on linear programming applied to mixed precision tuning. Currently he is an Embedded Systems Engineer. His research interests focus on embedded systems and mixed precision tuning.
He developed TAFFO’s new data-type allocation engine, based on Integer Linear Programming.
Michele Chiari
Michele Chiari is a PostDoc researcher in the TrustCPS led by Univ-Prof Ezio Bartocci within the Institute of Computer Engineering at TU Wien. His research interests cover formal methods for the verification of safety-critical and real-time systems, focusing on temporal logic, formal languages and automata theory. Previously, he has been a Ph.D. candidate and then a PostDoc in the deepse group, at DEIB, Politecnico di Milano.
He mainly contributed to TAFFO’s value-range and error analyses, as well as other parts of its architecture.