Room C012 @ CIn-UFPE
Hi there! I am an assistant professor at the Informatics Center (CIn) of the Federal University of Pernambuco, where I lead the Software Testing and Analysis Research group. I am also affiliated with the Software Productivity Group and a joint research project with Motorola Mobility, related to the analysis and improvement of several aspects of smartphone development, with a particular focus on testing activities.
My research interests involve Software Engineering, with a focus on providing strong foundations for improving software quality and productivity. In particular, I have worked on software product lines and configurable systems, refactoring, formal methods, software testing, and mobile development.
I obtained my PhD in Computer Science from the Federal University of Pernambuco (CIn-UFPE) in 2014, under the supervision of Paulo Borba and Rohit Gheyi. During my PhD, I spent a winter term at the University of Waterloo, working with Krzysztof Czarnecki. My MSc degree in Computer Science was also obtained at CIn-UFPE (2010), and prior to that I obtained a bachelor’s degree in Computer Engineering from the Polytechnic School of Pernambuco (2007).
|Sep 27, 2021||Invited to be a part of the program committee of ACM/IEEE AST 2022.|
|Jul 30, 2021||Shaker was accepted for the tool demonstrations track at ASE’21.|
|Jul 9, 2021||Our paper ‘A program generator for TypeScript’ was accepted at SBLP’21.|
|Jul 5, 2021||Our paper on the evolution of delta-oriented product lines was accepted at SBES’21.|
|Jun 14, 2021||Our paper ‘Guiding the Evolution of Product-Line Conﬁgurations’ was accepted at SoSyM.|
- A Formal Framework of Software Product Line AnalysesACM Transactions on Software Engineering and Methodology (TOSEM), volume 30, 3
- Shipwright: A Human-in-the-Loop System for Dockerfile RepairIEEE/ACM International Conference on Software Engineering (ICSE 2021)
Madrid, Spain [Virtual, due to COVID-19]
- Demystifying the Challenges to Formally Specifying API Properties for Runtime VerificationIEEE International Conference on Software Testing, Verification and Validation (ICST 2021)
Porto de Galinhas, Brazil [Virtual, due to COVID-19]