CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
É Doutor em Ciência da Computação na Universidade Estadual de Campinas (Unicamp). Graduou-se bacharel em Ciência da Computação pela Universidade Católica de Goiás em 2008. Obteve o título de Mestre em Ciência da Computação pela Universidade Estadual de Campinas em 2010, financiado por bolsa FAPESP. Realizou doutorado-sanduíche na Columbia University entre 2014-2015, financiado pelo programa PDSE da CAPES. Seus principais interesses são linguagens de programação, arquitetura de computadores, sistemas operacionais e segurança computacional. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O surgimento de arquiteturas computacionais multiprocessadas impõe novas dificuldades no desenvolvimento de software. Dentre estas dificuldades está a necessidade de sincronização dos fluxos de execução de forma a garantir acessos ordenados à memória compartilhada. A sincronização tradicionalmente é realizada com o uso de travas de exclusão mútua ou semáforos, porém estas estruturas são i…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |