Leopoldo Teixeira

Assistant Professor @ CIn-UFPE.

Room C012 @ CIn-UFPE

Hi there! I am an assistant 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 a joint research project with Motorola Mobility, related to the analysis and improvement of several aspects of smartphone development, with a particular focus on testing activities.

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).


Sep 27, 2021 Invited to be a part of the program committee of ACM/IEEE AST 2022.
Jul 30, 2021 Shaker was accepted for the tool demonstrations track at ASE’21.
Jul 9, 2021 Our paper ‘A program generator for TypeScript’ was accepted at SBLP’21.
Jul 5, 2021 Our paper on the evolution of delta-oriented product lines was accepted at SBES’21.
Jun 14, 2021 Our paper ‘Guiding the Evolution of Product-Line Configurations’ was accepted at SoSyM.

selected publications

  1. A Formal Framework of Software Product Line Analyses
    Thiago Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, and Rohit Gheyi
    ACM Transactions on Software Engineering and Methodology (TOSEM), volume 30, 3
  2. Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d’Amorim, and Thomas W. Reps
    IEEE/ACM International Conference on Software Engineering (ICSE 2021)
    Madrid, Spain [Virtual, due to COVID-19]
  3. Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification
    Leopoldo Teixeira, Breno Miranda, Henrique Rebelo, and Marcelo d’Amorim
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2021)
    Porto de Galinhas, Brazil [Virtual, due to COVID-19]