Leopoldo Teixeira

Registered user since Fri 10 Oct 2014

Name:Leopoldo Teixeira
Bio:

Assistant Professor @ CIn-UFPE

Country:Brazil
Affiliation:Federal University of Pernambuco
Research interests:Software Evolution, Highly Configurable Systems, Software Testing, Program Analysis, Refactoring, Formal Methods

Contributions

GPCE 2021 Committee Member in Program Committee within the GPCE-track
ASE 2021 Author of Shaker: a Tool for Detecting More Flaky Tests Faster within the Tool Demonstrations-track
AST 2021 Committee Member in Program Committee within the AST 2021-track
SPLASH 2010
ICST 2021 Author of Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification within the Research Papers-track
Session Chair of Slicing and Static Analysis (part of Research Papers)
Committee Member in Tools Demo Program Committee within the Tool Demos Track-track
ISSTA 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2021 Author of Shipwright: A Human-in-the-Loop System for Dockerfile Repair within the Technical Track-track
Author of Shipwright: A Human-in-the-Loop System for Dockerfile Repair within the AE - Artifact Evaluation-track
FOSD 2017 Committee Member in Program Committee within the FOSD 2017-track
FOSD 2016 Workshop Chair of Workshop Opening within the FOSD-track
Chair in Organizing Committee within the FOSD-track
Session Chair of Session 1 - Opening + Keynote (part of FOSD)
GPCE 2016 Author of A Change-Centric Approach to Compile Configurable Systems with #ifdefs within the GPCE-track
ECOOP 2016 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Modularity 2016 Committee Member in SRC Reviewers within the Student Research Competition-track
GPCE 2015 Author of An Empirical Study on Configuration-Related Type Issues within the GPCE-track