Linkedin

Member

Paulo Canelas

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 CanelasTrenton TaborJohn-Paul OreAlcides FonsecaClaire Le GouesChristopher S. TimperleyIs 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]
Catarina GamboaPaulo CanelasChristopher TimperleyAlcides FonsecaUsability-Oriented Design of Liquid Types for Java. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 2023 [Biblios]
Guilherme EspadaLeon IngelsePaulo CanelasPedro BarbosaAlcides FonsecaData 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]
Alcides FonsecaPaulo SantosGuilherme EspadaSara SilvaGrammatical 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 SantosJose CamposChristopher S. TimperleyAlcides FonsecaAugmenting 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]
Paulo SantosSara SilvaAlcides FonsecaRefined typed genetic programming as a user interface for genetic programming, Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, 2020 [Biblios]
Alcides FonsecaPaulo SantosSara SilvaThe 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]