Speculative Alias Analysis for Executable Code. - Manel Fernández; Roger Espasa (IEEE PACT, 2002)

Load redundancy elimination on executable code. - Manel Fernández; Roger Espasa; Saumya K. Debray (Concurr. Comput. Pract. Exp., 2003)

Link-Time Optimization Techniques for Eliminating Conditional Branch Redundancies. - Manel Fernández; Roger Espasa (Interaction between Compilers and Computer Architectures, 2004)

Link-Time Path-Sensitive Memory Redundancy Elimination. - Manel Fernández; Roger Espasa (HPCA, 2004)

Binary Redundancy Elimination. - Manel Fernández (2005)