My research

My main research interest is the interaction between compilers and architecture.

	My résumé (PDF)
	My research group at MIT
	My Master's thesis Compiling Issues for the Simultaneous Multithreading Processor (July 2000) (PS Gzip 143Kb) and its defense (slides, 2-up PS Gzip 220Kb), advisors prof. Dean Tullsen and prof. Marco Vanneschi
	My presentation about the Future of Computer Science, held in Pisa, March 30th, 2001 (PDF 3Mb, Web)

Some projects

Randomized Algorithms

	Semidefinite Programming in Randomized Approximation Algorithms (paper: PS Gzip 157Kb)
	Scheduling for VLIW (presentation: PDF 2 Mb, Web)

For LLC: Laboratory of Compilers and LTA: Advanced compiling techniques classes at Università di Pisa, I developed, with Roberto Raggi, a flexible data-flow analyzer, written in ML. It allows very easy implementation of complex data-flow analyses, taking full advantage of the expressive power of ML. It was used also at University of California at San Diego for CSE 231-Advanced Compiler Design class by prof. Jeanne Ferrante

MyBODY, DFS, FARM-UP, FRISC and DAF, DASMER, PAMI, Embodied Intelligence