M. Sykora. , Politecnico di Milano, 2007

G. Agosta. Dynamic Compilation for Architectures with Instruction-Level Parallelism. Politecnico di Milano, 2004

Vincenzo Martena, Alias Analysis by Means of a Model Checker. Politecnico di Milano, 2003

Marco Garatti, On-demand Alias Analysis Impact on VLIW Instruction Scheduling. Politecnico di Milano, 2002