Leopoldo Teixeira -

Registered user since Fri 10 Oct 2014

Name: Leopoldo Teixeira

Bio: Assistant Professor @ CIn-UFPE

Country: Brazil

Affiliation: Federal University of Pernambuco

Personal website: http://www.cin.ufpe.br/~lmt

Twitter: https://twitter.com/leopoldomt

GitHub: https://github.com/leopoldomt

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