Análise de código para identificação de construções afins à primitivas de hardware
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Otimização de instruções de código C, através de algoritmos genéticos, para a gera...
Um back end baseado no compilador LLVM para aceleração de aplicações em FPGAs
Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Alocação de registrados de endereçamento a referências de "arrays" em laços interi...