Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe) - Filipe Cabecinhas; Nuno P. Lopes; Renato Crisostomo; Luís Veiga (CoRR, 2008)