Leopoldo Teixeira

lmt.jpg

Hi there! I am an associate professor at the Informatics Center (CIn) of the Federal University of Pernambuco, where I lead the Software Testing and Analysis Research group. I am also affiliated with the Software Productivity Group and CIn-Trust. Since May/2023, I am also head of graduate studies at our department.

In 2022, I was a CAPES-Alexander von Humboldt Experienced Research Fellow at the Chair of Software Engineering of Universität des Saarlandes, working with Sven Apel on variability analysis over time and space.

My research interests involve Software Engineering, with a focus on providing strong foundations for improving software quality and productivity. In particular, I have worked on software product lines and configurable systems, refactoring, formal methods, software testing, and mobile development.

I obtained my PhD in Computer Science from the Federal University of Pernambuco (CIn-UFPE) in 2014, under the supervision of Paulo Borba and Rohit Gheyi. During my PhD, I spent a winter term at the University of Waterloo, working with Krzysztof Czarnecki. My MSc degree in Computer Science was also obtained at CIn-UFPE (2010), and prior to that I obtained a bachelor’s degree in Computer Engineering from the Polytechnic School of Pernambuco (2007).

news

Oct 9, 2024 On the Expressive Power of Languages for Static Variability won a distinguished artifact award at OOPSLA!
Aug 19, 2024 Towards Effective Gamification of Existing Systems: Method and Experience Report accepted at SQJ.
Aug 18, 2024 On the Expressive Power of Languages for Static Variability accepted at OOPSLA’24.
Aug 6, 2024 Blackbox Observability of Features and Feature Interactions accepted at ASE’24.
Jul 19, 2024 FSE’24 is over, it was a great experience to host it at Pernambuco! See pics at the website.

selected publications

  1. On the Expressive Power of Languages for Static Variability
    Paul Maximilian BittnerAlexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo TeixeiraEric Walkingshaw, Parisa Ataei, and Thomas Thüm
    Proc. ACM Program. Lang., Oct 2024
  2. Blackbox Observability of Features and Feature Interactions
    Kallistos WeisLeopoldo TeixeiraClemens Dubslaff, and Sven Apel
    In 39th IEEE/ACM International Conference on Automated Software Engineering, (ASE), Sacramento, USA, Oct 2024
  3. Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns
    Jairo Souza, Tales Alves, Robson Oliveira, Leopoldo Teixeira, and Baldoino Fonseca
    In Proceedings of the XXXVIII Brazilian Symposium on Software Engineering, Curitiba, Brazil, Oct 2024
  4. Towards a better understanding of the mechanics of refactoring detection tools
    Jonhnanthan Oliveira, Rohit GheyiLeopoldo TeixeiraMárcio Ribeiro, Osmar Leandro, and Baldoino Fonseca
    Information and Software Technology, Oct 2023
  5. Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan HenkelDenini SilvaLeopoldo Teixeira, Marcelo d’Amorim, and Thomas W. Reps
    In IEEE/ACM International Conference on Software Engineering, May 2021