Leopoldo Teixeira

CAPES-Alexander von Humboldt Experienced Research Fellow at Universität des Saarlandes.

Room 2.15@Campus E1.1

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. Currently, I am a CAPES-Alexander von Humboldt Experienced Research Fellow at Universität des Saarlandes, working under the Chair of Software Engineering 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).


Jul 12, 2022 Two papers accepted at SBES’22.
Apr 11, 2022 Invited to be a keynote speaker for VariVolution 2022.
Feb 7, 2022 Starting a CAPES Humboldt Research Fellowship with Sven Apel at Universität des Saarlandes.
Jan 17, 2022 Invited to be a part of the program committee of ACM SPLC 2022.
Dec 18, 2021 Awarded a Research Productivity Fellowship (PQ-2) from CNPq.

selected publications

  1. Guiding the Evolution of Product-Line Configurations
    Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, and Ina Schaefer
    Software and Systems Modeling (SoSyM), volume 21, 1, pages 225–247, 2022
  2. 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, 2021
  3. 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]
  4. 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]