Strategies for Source-to-Source Constant Progagation. - Karina Olmos; Eelco Visser (WRS, 2002)

Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. - Karina Olmos; Eelco Visser (SCAM, 2003)

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. - Karina Olmos; Eelco Visser (CC, 2005)

Program Transformation with Scoped Dynamic Rewrite Rules. - Martin Bravenboer; Arthur van Dam; Karina Olmos; Eelco Visser (Fundam. Informaticae, 2006)