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 (UFCG), advised by Dr. Rohit Gheyi and Dr. Márcio Ribeiro. Internship at Carnegie Mellon University (CMU), advised by Dr. Christian Kästner, and another at Univertät Passau, advised by Dr. 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]