2024
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.
2023
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.
2022
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.
2021
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.
2020
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).