Flávio Medeiros

Informatics Coordination
CPSoftware Group

Federal Institute of Alagoas

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 at Federal University of Campina Grande (UFCG), concluded in March 2016, 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.

Productivity Research Grant (PQ-A) at IFAL. Founding member and coordinator of the Software Research Center (CPS). Conducts research in the areas of configurable systems and analysis of software repositories. He has publications in very selective software engineering venues, such as ICSE and TSE.

[Google Scholar] [DBLP] [LATTES]


Interests and Expertise

  • Software Engineering
  • Software Variability
  • Highly Configurable Systems
  • Misunderstanding Patterns
  • Configuration-Related Bugs
  • Internet of Things
  • Artificial Intelligence
  • Recommendation systems

Formal Education

  • DSc in Software Engineering, 2016

    Federal University of Campina Grande, Brazil

  • PhD Internship, 2014

    Carnegie Mellon University, USA

  • PhD Internship, 2015

    University of Passau, Germany

  • MSc in Computer Science, 2012

    Federal University of Pernambuco, Brazil

  • BSc in Computer Science, 2007

    Federal University of Alagoas, Brazil

Selected Publications

Flávio Medeiros, Gabriel Lima, Guilherme Amaral, Sven Apel, Christian Kastner, Márcio Ribeiro, Rohit Gheyi. An investigation of misunderstanding code patterns in C open-source software projects. In Empirical Software Engineering, 2018. PDF
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kastner, Bruno Ferreira, Luiz Carvalho, and Baldoino Fonseca. Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell. In IEEE Transactions on Software Engineering (TSE), 2017. PDF
Romero Malaquias, Márcio Ribeiro, Rodrigo B., Eduardo M., Flávio Medeiros, Alessandro G., and Rohit G. The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n’t #endif Matter. In International Conference on Program Comprehension (ICPC), 2017. PDF
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi and Sven Apel. A comparison of 10 sampling algorithms for configurable systems. In International Conference on Software Engineering (ICSE), 2016. PDF
Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, and Leopoldo Teixeira. A Change-Centric Approach to Compile Configurable Systems with #ifdefs. In Proceedings of the International Conference on Generative Programming: Concepts and Experience (GPCE), 2016. PDF
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), 2015. PDF
F. Medeiros. Safely Evolving Configurable Systems. In Proceedings of the Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Student Research Competition, 2015. PDF
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)., 2015. PDF
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, 2014. PDF
F. Medeiros, M. Ribeiro, R. Gheyi, and B. Fonseca. A Catalogue of Refactoring to Remove Incomplete Annotations. In Journal of Universal Computer Science (JUCS), 2014. PDF
F. Medeiros, M. Ribeiro, and R. Gheyi. Investingating Preprocessor-Based Syntax Errors. In International Conference on Generative Programming: Concepts & Experience (GPCE), 2013. PDF
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 Brazilian Conference on Software: Theory and Practice (CBSoft), 2013. PDF
F. Medeiros, E. Almeida, and S. Meira. Designing a set of Service-Oriented Systems as a Software Product Line. In Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2010. PDF
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), 2010. PDF
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), joint with the International Software Product Line Conference (SPLC), 2009. PDF

Teaching

Regular undergrad and grad courses at Federal Institute of Alagoas:

  • Programming Languages;
  • Web Development;
  • Mobile Development;
  • Agile programming.