Trace Execution Automata in Dynamic Binary Translation. - João Paulo Porto; Guido Araujo; Edson Borin; Youfeng Wu (ISCA Workshops, 2010)

Techniques and architecture for trace detection and speculative execution. - João Paulo Porto (2011)

Cache-based cross-iteration coherence for speculative parallelization. - Andre Baixo; João Paulo Porto; Guido Araujo (HiPC, 2013)

Extending decoupled software pipeline to parallelize Java programs. - André Loureiro; João Paulo Porto; Guido Araujo (Softw. Pract. Exp., 2013)