Alunos

Mestrado

Juliano Henrique Foleiss
Título a Definir
Rodrigo Hübner
Título a Definir

Especialização

Iniciação Científica

Guilherme Shiba Goto (PIC)
Transações como Mecanismo de Sincronização
Jean Yuji Takano (PIC)
Suporte ao Desenvolvimento de Infraestruturas Distribuídas
Maycon Sambinelli (PIBIC)
Suporte de Kernel para a Detecção de Conflitos Transacionais

Trabalho de Conclusão de Curso

Guilherme Polo
TCLjit

Ex Alunos

Especialização

Luciano de Carvalho
Geração Dinâmica de Código: Sua História e sua Viabilidade em Linguagens WEB

Iniciação Científica

Guilherme Puglia Assunção (PIBIC)
Suporte de Kernel para a Detecção de Conflitos Transacionais
Guilherme Puglia Assunção (PIBIC)
Algoritmo Heurístico Paralelo Baseado em Colônia de Formigas
Matheus de Moraes Santos Cruz (PIC)
Transações como Mecanismo de Sincronização
Maycon Sambinelli (PIC)
Técnicas Avançadas de Compilação Aplicadas à Linguagens de Programação em Lógicas
Rodrigo Hübner (PIC)
M2TI: Um Modelo de Programação com Transações Implícitas e Threads Implícitas

Trabalho de Conclusão de Curso

Anderson Aguilar Ferreira
Uma Estratégia Heurística de Aplicação de Inline no Nível da YAAM
Anderson Rodrigues de Oliveira
Um Algoritmo para a Redução de Grafo de Fluxo de Controle
Francis Rangel da Silva
O Impacto de Inline no Contexto de Programas Java
Guilherme Puglia Assunção
Um Algoritmo Heurístico para Encontrar Caminhos Hamiltonianos de Custo Mínimo
Juliano Henrique Foleiss
Revisistando o Framework de Compilação Dinâmica do Sistema YAP Prolog
Matheus de Moraes Santos Cruz
MTSbl - Um Sistema Transacional baseado em Locks
Rodrigo Hübner
Um Modelo de Programação Paralela baseado em Trabalhadores Implícitos e Roubo de Tarefas
Tiago Henrique Bordoni
Anotação de Código: Uma Abordagem Alternativa ao Uso da Análise Global