CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Professor Doutor da Universidade Estadual de Campinas (Unicamp). É Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO). Bacharel em Ciências de Computação e Mestre em Ciências de Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo (USP), campus de São Carlos. Especialista em Educação Inclusiva com Ênfase em Libras pela Universidade Federal de Mato Grosso do Sul (UFMS). É também Técnico em Informática pelo Colégio Técnico Industrial (CTI) "Prof. Isaac Portal Róldan" da Universidade Estadual Paulista (UNESP), campus de Bauru. (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) |
No contexto dos ecossistemas de software, as comunidades desempenham um papel crucial ao oferecer um ambiente propício para colaboração e compartilhamento de conhecimento. Composta por desenvolvedores, usuários finais e outros interessados, essas comunidades interagem ativamente por meio de fóruns online, plataformas de perguntas e respostas e redes sociais, trocando conhecimentos, experi…
Este projeto visa gerar código-fonte para implementar novas funcionalidades solicitadas pela comunidade em code samples no GitHub. Utilizando LLMs (Modelos de Linguagem de Grande Escala), o aluno realizará a geração de código e aplicará técnicas de fine-tuning para adaptar os modelos ao estilo de código e às boas práticas de programação específicas dos ecossistemas em estudo que possuam c…
O objetivo deste plano de trabalho é concluir uma parte signficativa de um projeto de pesquisa que visa a apoiar o teste estrutural de unidade e de integração de programas orientados a aspectos (AspectJ). Neste projeto de mestrado será definido um grafo integrado contextual (ou de nível N) e critérios de teste de integração para o código integrado contextualmente (ou inlined) em qualquer …
A pesquisa a ser realizada pelo tem o objetivo de estender dois trabalhos de mestrados, um concluído e outro emandamento, no sentido de apoiar o teste estrutural de integrado de um método ou adendo, chamado de intermodulo (intermétodo e interadendo). Para isso se deve criar um grafo integrado de todos os métodos chamados direta e indiretamente por um método inicial e de todos os adendos …