Publications

Matheus Barbosa, Paulo Borba, Rodrigo Bonifácio, Victor Lira, Galileu Santos (2025). The Effect of Pointer Analysis on Semantic Conflict Detection. arxiv.
Online Appendix DOI
Matheus Barbosa (2024). Semantic Conflict Analysis in Continuous Software Integration with Semantic Merging Tool. FSE 2024 Doctoral Symposium.
Preprint Slides
Galileu Santos De Jesus, Paulo Borba, Rodrigo Bonifácio,, Matheus Barbosa (2024). Lightweight Semantic Conflict Detection with Static Analysis. ICSE-Companion ‘24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings.
DOI
Sabrina Gonçalves De Almeida, Marcos Vinícius Ferreira, Ayla Débora Dantas De Souza Rebouças, Matheus Barbosa, Emanoel Medeiros (2023). Avaliando Aplicativos Baseados na Computação Desplugada em Sala de Aula: Um Relato de Experiência. RENOTE.
DOI
Matheus Barbosa, Paulo Borba, Rodrigo Bonifácio, Galileu Santos (2022). Semantic conflict detection with overriding assignment analysis.
Slides Online Appendix DOI
Sabrina Gonçalves De Almeida, Marcos Vinícius Ferreira, Emanoel Medeiros, Matheus Barbosa, Ayla Débora Dantas De Souza Rebouças (2022). Computação Plugada Pixel: Projeto, Desenvolvimento e Avaliação de Aplicativo para Apoiar o Ensino da Ciência da Computação Relativo a Representação de Imagens. UFPB.
Link
Matheus Barbosa (2022). Detecção de conflitos semânticos via análise estática de substituição de atribuição. UFPE.
Link
Matheus Barbosa
Equal contribution
, Ayla Rebouças
Equal contribution
(2021). Avaliando um Aplicativo Android para Apoiar a Aplicação de Exercícios de Computação Desplugada Revista Brasileira de Informática. RBIE.
DOI
Larrysa Figueiredo, Matheus Barbosa, Emanoel Silva, Josinaldo Pontes Júnior, Ayla Dantas Rebouças, Ivonildo Pereira Neto (2021). Ensinando sobre Representação de Imagens: Experiência no Projeto Computação Plugada com o Aplicativo Pixel. EduComp.
Video DOI
Matheus Barbosa, Ayla Dantas​, Ivonildo Neto (2019). Computação Plugada: Um Aplicativo Android Para Apoiar a Aplicação de Exercícios de Computação Desplugada. CBIE 2019.
DOI