Gabriel Ferreira

Software Engineering PhD Student

Institute for Software Research

Carnegie Mellon University


About me

I am a Software Engineering PhD Student at the Institute for Software Research, School of Computer Science (SCS) at Carnegie Mellon University. I am fortunate to be advised by Christian Kästner.

My research focuses on Software Engineering, specifically on topics such as quality assurance, security, measurement, reuse, modularity, and automation.

I am currently working on bridging the gap between assurance and certification of complex software systems by investigating solutions related to compositionality, reuse, and automation to reduce the costs and improve the efficiency of current certification processes.

Profiles: CV, DBLP, Linkedin, Lattes (only in Portuguese)

News

  • Feb 2017: I will be at ICSE 2017 participating of the ACM Student Research Competition! See you there!

  • Jan 2017: I served the IEEE S&P (Oakland'17) Student PC. It was a lot of fun writing reviews and discussing top-level research work on security.

Education

  • (In Progress) - PhD in Software Engineering from Carnegie Mellon University, USA.
    Advisor: Christian Kästner

  • 2012 - MSc. in Computer Science from Federal University of Uberlandia, Brazil.
    Dissertation title: "On the Use of Feature-Oriented Programming for Evolving Software Product Lines"
    Co-advisors: Marcelo Maia, Eduardo Figueiredo.

  • 2009 - BSc. in Computer Science from Federal University of Uberlandia, Brazil.

Publications

Journals / Book Chapters

  • JSEP 2017 - Goyal, R., Ferreira, G, Kaestner, C., Herbsleb, J. Identifying Unusual Commits on GitHub. Journal of Software Evolution and Process (to appear) [doi]

  • SCP 2014 - Gaia, F. N., Ferreira, G. C. S., Figueiredo, E., Maia, M. A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines. Science of Computer Programming, Vol. 96, Part 2, 2014, pp. 230-253 [doi]

  • SCP 2014 - Ferreira, G. C. S., Gaia, F. N., Figueiredo, E., Maia, M. On the Use of Feature- Oriented Programming for Evolving Software Product Lines – A Comparative Study. Science of Computer Programming, Vol. 93, Part A, 2014, pp. 65-85 [doi]

  • LNCS 2012 - Gaia, F. N., Ferreira, G. C. S., Figueiredo, E., Maia, M. A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines. Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings (Lecture Notes in Computer Science), Book 7554, pp. 134-149. [doi]

  • Conferences

  • SPLC 2016 - Ferreira, G., Malik. M, Kaestner, C., Pfeffer, J., Apel, S. Do #ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel In Proc. of the International Systems and Software Product Line Conference (SPLC’16), 2016. Distinguished Paper [doi]

  • HotSoS 2015 - Ferreira, G., Kaestner, C., Pfeffer, J., Apel, S. Characterizing Configuration Complexity in Highly-Configurable Systems with Variational Call Graphs (poster abstract). In Proc. of the Symposium and Bootcamp on the Science of Security (HotSoS’15), Article 17, 2015.[doi]

  • SBLP 2011 - Ferreira, G. C. S., Gaia, F. N., Figueiredo, E., Maia, M. On the Use of Feature- Oriented Programming for Evolving Software Product Lines: A Comparative Study. In Proc. of the 15th Brazilian Symposium on Programming Languages (SBLP’11), 2011, pp. 1-15.[doi]

  • AOSD 2011 - Figueiredo, E., Garcia, A., Maia, M., Ferreira, G., Nunes, C., Whittle, J. On the Impact of Crosscutting Concern Projection on Code Measurement. In Proc. of the International Conference on Aspect-oriented Software Development (AOSD '11), 2011, pp. 81-92.[doi]