Flávio Medeiros


I am a professor in the Federal Institute of Alagoas, interested in configurable systems with a high amount of variablity. Currently, I'm investigating approaches to safely evolve configurable systems that are statically configurable with the C preprocessor. Our approach considers perfective evolution, which focuses on improving software quality by performing refactorings, and defective evolution, which focuses on detecting existing configuration-related bugs, including memory leaks, resource leaks, syntax errors, and type errors. Configuration-related bugs appear only when we enable or disable certain compile-time configuration options.

PhD Student at Federal University of Campina Grande, advised by Rohit Gheyi and Márcio Ribeiro.
Internship at Carnegie Mellon University, advised by Christian Kästner.
Internship at Univertät Passau, advised by Sven Apel.
[Google Scholar] | [DBLP] | [LATTES]
E-mail: flavio.medeiros at ifal.edu.br
Tutorials: [Php e Mysql] (only in portuguese)
Main Publications
GPCE 2015 F. Medeiros, I. Rodrigues, M. Ribeiro, L. Teixeira, and R. Gheyi.
An Empirical Study on Configuration-Related Issues: Investigating Undeclared and Unused Identifiers
In Proceedings of the International Conference on Generative Programming: Concepts & Experience (GPCE)
[PDF]
SPLASH 2015 SRC F. Medeiros.
Safely Evolving Configurable Systems
In Proceedings of the Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Student Research Competition
[PDF]
ECOOP 2015 F. Medeiros, C. Kästner, M. Ribeiro, S. Nadi, and R. Gheyi.
The Love/Hate Relationship with The C Preprocessor: An Interview Study
In Proceedings of the European Conference on Object-Oriented Programming (ECOOP)
[PDF | BIB]
SIGPLAN Notices 2014 F. Medeiros, M. Ribeiro, and R. Gheyi.
Investigating Preprocessor-Based Syntax Errors
ACM SIGPLAN Notices
[PDF | BIB]
SPLASH 2014 DS F. Medeiros.
An Approach to Safely Evolve Program Families in C
In Proceedings of the Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Doctoral Symposium
[PDF | BIB]
JUCS 2014 F. Medeiros, M. Ribeiro, R. Gheyi, and B. Fonseca.
A Catalogue of Refactoring to Remove Incomplete Annotations
Journal of Universal Computer Science (JUCS)
[PDF | BIB]
GPCE 2013 F. Medeiros, M. Ribeiro, and R. Gheyi.
Investingating Preprocessor-Based Syntax Errors
In Proceedings of the International Conference on Generative Programming: Concepts & Experience (GPCE)
[PDF | BIB]
CBSoft TOOLS 2013 F. Medeiros, T. Lima, F. Dalton, M. Ribeiro, R. Gheyi, and B. Fonseca.
Colligens: A Tool to Support the Development of Preprocessor-based Software Product Lines in C
In Proceedings of the Brazilian Conference on Software: Theory and Practice (CBSoft) TOOLS
[PDF]
SBCARS 2010 F. Medeiros, E. Almeida, and S. Meira
Designing a set of Service-Oriented Systems as a Software Product Line
In Proceedings of the Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
[PDF | BIB]
SPLC 2010 F. Medeiros, E. Almeida, and S. Meira
SOPLE-DE: An Approach to Design Service-Oriented Product Line Architectures
In Proceedings of the Software Product Line Conference (SPLC)
[PDF | BIB]
SOAPL 2009 F. Medeiros, E. Almeida, and S. Meira
Towards an Approach for Service-Oriented Product Line Architectures
In Proceedings of the Service-Oriented Architectures and Software Product Lines (SOAPL)
International Software Product Line Conference (SPLC)
[PDF]