🚀

Mathues Barbosa

Phd Student

Professional Summary

Matheus Barbosa is a PhD student in Software Engineering and Programming Languages, passionate about development. He holds a Bachelor’s degree in Computer Science from the Federal University of Paraíba, and a Master’s in Software Engineering and Programming Languages from the Federal University of Pernambuco.

Download CV

Education

PhD Computer Science

Federal University of Pernambuco

MS Computer Science

Federal University of Pernambuco

Licentiate in Computer Science

Federal University of Paraíba

Interests

Software Engineering Static Analysis Semantic Conflicts Collaborative Development Configuration Management Refactoring

📚 My Research

I’m a research scientist in the SPGroup team at Cin UFPE. I investigate and develop tools and techniques for improving software development quality and productivity levels, especially by reducing unnecessary effort and frustration in software developers work activities.

My main research interests are in the following topics and their integration: advanced (semantic) code merging tools, code integration conflicts, continuous integration and deployment, software modularity, software product lines, and refactoring.

Please reach out to collaborate 😃

Featured Publications

Merge Tools,

The Effect of Pointer Analysis on Semantic Conflict Detection

Subjects: Software Engineering (cs.SE)

Mathues Barbosa

• Jul 26, 2025 • 1 min read

Code Integration Conflicts

Semantic conflict detection with overriding assignment analysis

SBES ‘22: Proceedings of the XXXVI Brazilian Symposium on Software Engineering

Mathues Barbosa

• Oct 5, 2022 • 1 min read

Recent Publications

Mathues Barbosa, Paulo Borba, Rodrigo Bonifácio, Victor Lira, Galileu Santos (2025). The Effect of Pointer Analysis on Semantic Conflict Detection. arxiv.

Online Appendix DOI

Mathues 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,, Mathues 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, Mathues Barbosa, Emanoel Medeiros (2023). Avaliando Aplicativos Baseados na Computação Desplugada em Sala de Aula: Um Relato de Experiência. RENOTE.

DOI

Mathues Barbosa, Paulo Borba, Rodrigo Bonifácio, Galileu Santos (2022). Semantic conflict detection with overriding assignment analysis.

Slides Online Appendix DOI

See all

Events & Talks