Alunos
Mestrado
|
Juliano Henrique Foleiss
Compilação Dinâmica no Contexto de Prolog (provisório) |
|
Rodrigo Hübner
Programando para Many-core (provisório) |
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
|
Bruno Rogério Artivo
Revisitando o Modelo TIRT |
|
Guilherme Polo
TCLjit |
|
Maycon Sambinelli
Transações de Kernel |
|
Otávio Siste
BSeg: Uma Infraestrutura para Implementar Segurança |
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 |