Linkedin

Member

Paulo Canelas

ONGOING

Acronym Title Funding Entity Start Date End Date
LiquidDevX Improving the Developer Experience with Liquid Types FCT | LASIGE 01/10/2025 01/10/2026

PAST

Acronym Title Funding Entity Start Date End Date
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
to
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. ROSpec: A Domain-Specific Language for ROS-Based Robot Software. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):3313-3341, Association for Computing Machinery (ACM), 2025 [Biblios]
Daniel Ramos, Claudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues. Are Large Language Models Memorizing Bug Benchmarks?. In The Second International Workshop on Large Language Models for Code, 2025 [Biblios]
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. ROSpec: A Domain-Specific Language for ROS-Based Robot Software. In Proceedings of the ACM on Programming Languages(OOPSLA2), 2025 [Biblios]
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 1161-1173. ACM, 2024 [Biblios]
Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher S. Timperley. Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. In IEEE International Conference on Robotics and Automation (ICRA), pages 4819-4826. IEEE, 2024 [Biblios]
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. In International Symposium on Software Testing and Analysis, 2024 [Biblios]
Catarina Gamboa, Paulo Canelas, Christopher Timperley, Alcides Fonseca. Usability-Oriented Design of Liquid Types for Java. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 2023 [Biblios]
Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca. Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. In Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 2022 [Biblios]
Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher S. Timperley. An Experience Report on Challenges in Learning the Robot Operating System. In International Workshop on Robotics Software Engineering, 2022 [Biblios]
Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva. Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming, In Genetic and Evolutionary Computation,Genetic Programming Theory and Practice XVIII, pages 45 - 62. Springer Singapore, 2022 [Biblios]
Paulo Santos, Jose Campos, Christopher S. Timperley, Alcides Fonseca. Augmenting Search-based Techniques with Static Synthesis-based Input Generation. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), pages 12-15. IEEE, 2021 [Biblios]
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca. LiquidJava: Adding Lightweight Verification to Java. In INFORUM, 2021 [Biblios]
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca. User-driven design and evaluation of Liquid Types in java. In Human Aspects of Types and Reasoning Assistants, 2021 [Biblios]
Paulo Santos, Sara Silva, Alcides Fonseca. Refined typed genetic programming as a user interface for genetic programming, Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, 2020 [Biblios]
Paulo Alexandre Canelas dos Santos, Alcides Miguel Cachulo Aguiar Fonseca. Towards the conceptualization of refinement typed genetic programming. Master's dissertation, 2020 [Biblios]
Alcides Fonseca, Paulo Santos, Sara Silva. The Usability Argument for Refinement Typed Genetic Programming. In Parallel Problem Solving from Nature – PPSN XVI,Lecture Notes in Computer Science, pages 18-32. Springer International Publishing, 2020 [Biblios]