área de pesquisa
- Análise esparsa de fluxo de informação
- Execução de funções parciais em linguagem de programação C
- Adaptable parsing expression grammars
- Adilson de Oliveira Arcoverde Junior
- Alessandro Mueller
- Alex Silva Torres
- Aline Dayany de Lemos
- Alocação Global de Registradores de Endereçamento para Referências a Vetores em DSPS.
- An evolutionary algorithm for finding optimisation sequences: proposal and experiments
- Ana Lucia Lima Marreiros Maia
- Analise Sintatica do Portugues
- Andrey Kuehlkamp
- André Rauber Du Bois
- ANOTAÇÃO AUTOMÁTICA DE CÓDIGO COM DIRETIVAS OPENACC
- Antonio Manoel dos Santos Almeida Neto
- AspectPreProcessor - Linguagem de Programação
- AutoCode: Um Gerador Automático de Geradores de Código
- Carlos Henrique Andrade Costa
- Christine Vieira
- Cinthyan Renata Sachs Camerlengo de Barbosa
- Claudio de Oliveira
- CNC-C2: um Controlador Aderente às Normas ISO14649 e IEC61499
- COGNITE - Um framework para construção de geradores de código para arquiteturas multi-core
- Compilação de bytecodes Java para um ambiente de arquitetura reconfigurável
- Compilação de Linguagens de Comando de Alto Nível
- CONTRIBUIÇÃO PARA A TECNOLOGIA LINGPON 2.0: AVANÇOS NA COMPLETUDE LÍGUISTICA E NO COMPILADOR PARA O CÓDIGO ALVO ?C++ NOTIFICANTE VIA ESPAÇO DE NOMES
- Cristianno Martins Vieira
- Cristiano Lino Felicio
- Dario Fernandes Franz
- Deborah Silva Alves Fernandes
- Denise Marin Rodrigues
- Diego Henrique Oliveira de Souza
- Douglas do Couto Teixeira
- Ed Wilson Tavares Ferreira
- EMS - Um plug-in para exibição das mensagens de erro dos compiladores
- Engenharia quântica aplicada à segurança da informação
- Especialização de linguagens orientadas a aspectos baseada em extensibilidade de gramáticas
- Eugenio Souza Carvalho
- Evandro Baccarin
- Exploração de sequências de otimização do compilador baseada em técnicas hibridas de mineração de dados complexos
- Fabio Asturian Zanin
- Fabio Carneiro Mokarzel
- Fernando Luis Caprio da Costa Junior
- Formally verified compilation with the B method
- Galileu Batista de Sousa
- George Souza Oliveira
- Giorgio Prímola Ferreira Guimarães Torres
- GIOVANI RUBERT LIBRELOTTO
- Guilherme de Lima Ottoni
- Guilherme Kely de Melo Oliveira
- Guilherme Vieira Leobas
- Gustavo Leite
- Hudson Ramos
- Identificacao de expressoes cristalizadas
- Implementação de linguagem orientada a objetos com ligação estática de tipos
- Jeferson Ferreira
- Joker: An Animator for Formal Languages
- José Wagner Vasconcelos Alves
- João Carlos de Carvalho e Silva Ribeiro
- Klaus Ribeiro Cavalcante
- Leonardo Vieira dos Santos Reis
- Linguagem e Compilador para o Paradigma Orientado a Notificações (PON): Avanços para Facilitar a Codificação e sua Validação em uma Aplicação de Controle de Futebol de Robôs
- Luis Fernando da Silva
- Luiz Alfredo Soares Garcindo
- Luiz Reginaldo Almeida Fleury Curado
- Luís Eduardo de Souza Amorim
- Marcelo Silva Cintra
- Marcos Alberto de Carvalho
- Marcus Rodrigues de Araújo
- Marcus Vinícius Midena Ramos
- Maria Janaina da Silva Ferreira
- Mateus Felipe Tymburibá Ferreira
- Miguel Raymundo Flores Santibanez
- Método para a Criação de Linguagens de Programação e Compiladores para o Paradigma Orientado a Notificações em Plataformas Distintas.
- Nayane Ponte Viana
- Oswaldo Ortiz Fernandes Junior
- Otimizações para Placas de Processamento Gráfico
- Paulo Sávio da Silva Costa
- Pedro Luiz Pizzigatti Corrêa
- Profiling contínuo para determinação de unidades de tradução em tradução dinâmica de binários
- Projeto e Implementação de LL - uma linguagem de Bibliotecas Baseada em Objetos
- Projeto e Implementação do Compilador YAPc: Um Compilador Otimizador para Linguagens de Programação em Lógica
- RAFAEL BALDIATI PARIZI
- Raimundo Santos Moura
- Recuperação de informação orientada ao domínio da matemática
- Renan Gomes Vieira
- Reusable Language Specifications
- Ricardo Ferreira de Oliveira
- Ricardo Menotti
- Ring Optimization: Dynamic Elision of Expressions with Identity and Absorbing Element
- Roberto de Carvalho Ferreira
- Rodrigo Cesar Evangelista
- Rodrigo Hübner
- RS: Uma Linguagem para Programação de Núcleos Reactivos
- Salvador Ramos Bernardino da Silva
- Securing Networked Embedded Systems through Distributed Systems Analysis,
- Simulação Compilada Dinâmica para ArchC
- SISTEMA DE EXECUCAO PARA A LINGUAGEM DE PROGRAMACAO CM
- Solução Integrada para os Problemas de Seleção e Ordenação de Fase
- Tays Cristina do Amaral Pales Soares
- TECNOLOGIA NOPL ERLANG-ELIXIR ? PARADIGMA ORIENTADO A NOTIFICAÇÕES VIA UMA ABORDAGEM ORIENTADA A MICRO ATORES ASSÍNCRONOS
- Thatyana de Faria Piola Seraphim
- Tiago Cariolano de Souza Xavier
- TSL Uma Linguagem para a Especificação de Tradutores
- Um Compilador para a Linguagem RS Distribuida
- Um modelo categórico para tradução entre linguagens de programação
- Um SOS - Sistema Orto-Sintático para a Língua Portuguesa
- Uma Ferramenta para Execução de Algoritmos Utilizando o Modelo a Fluxo de Dados Dinâmico em Hardware Reconfigurável para a Arquitetura ChipCflow : Módulo de Conversão C em Grafo a Fluxo de Dados.
- Vanessa Matias Leite
- Willian dos Santos Lima