Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. Paulo Canelas, Trenton Tabor, John-Paulo Ore, Alcides Fonseca, Claire Le Goues, Christopher S. Timperley. In International Conference on Robotics and Automation (ICRA), 2024.


Usability-Oriented Design of Liquid Types for Java.

Catarina Gamboa, Paulo Canelas, Christopher S. Timperley, Alcides Fonseca. In International Conference on Software Engineering (ICSE), 2023.


Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming

Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca, in Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022.

An Experience Report on Challenges in Learning the Robot Operating System

Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher Steven Timperley, in IEEE/ACM 4th International Workshop on Robotics Software Engineering (RoSE), 2022.

Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming

Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva, in Genetic Programming Theory and Practice XVIII, 2022.


Augmenting Search-based Techniques with Static Synthesis-based Input Generation, Paulo Santos, José Campos, Christopher S. Timperley, and Alcides Fonseca, in International Workshop on Search-Based Software Testing (SBST ‘21), 2021.


Extending Java with Refinements, Catarina Gamboa, Paulo Santos, Alcides Fonseca. In Program Semantics, Specification and Verification (PSSV 2020).

The Usability Argument for Refinement Typed Genetic Programming, Alcides Fonseca, Paulo Santos, Sara Silva. In Parallel Problem Solving from Nature (PPSN 2020).

Refined Typed Genetic Programming as a user interface for Genetic Programming, Paulo Santos, Sara Silva, Alcides Fonseca. In Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion (GECCO’20).