Desenvolvimento de um modelo comportamental para a arquitetura AVR32 usando a ling...
Um back end baseado no compilador LLVM para aceleração de aplicações em FPGAs
Análise de código para identificação de construções afins à primitivas de hardware
Segurança de Computadores por meio de autenticação intrínseca de hardware