Thesis "An Annotation Framework for Low-Level Virtual Machine Compiler Infrastructure" for the Master in Computer Engineering @ PoliMi