Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Extracao, analise e edicao de codigos para sintese de datapaths especializados.
Geração automática de backend de compiladores baseada em ADLs
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Metalinguagem para processamento de alto desempenho em arquiteturas híbridas
Análise de código para identificação de construções afins à primitivas de hardware