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
Metalinguagem para processamento de alto desempenho em arquiteturas híbridas
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Análise de código para identificação de construções afins à primitivas de hardware