Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Metalinguagem para processamento de alto desempenho em arquiteturas híbridas
Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Paralelização de Laços usando Map-Reduce na Nuvem para Cargas de Trabalho Científicas
Paralelizacao automatica e semi-automatica de lacos para arquiteturas multicore.