Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Extracao, analise e edicao de codigos para sintese de datapaths especializados.
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
Geração automática de backend de compiladores baseada em ADLs
Um back end baseado no compilador LLVM para aceleração de aplicações em FPGAs