Linkedin

Member

Alcides Fonseca

ONGOING

Acronym Title Funding Entity Start Date End Date
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
DACOMICO Data Consistency in Microservices Compositions FCT 15/01/2022 14/01/2025

PAST

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
THOR Computer Assisted Thoracic Assessment using POCUS FCT 01/03/2021 29/02/2024
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
Erasmus+ ACC ERASMUS+ Advanced Computing Consortium – HPC, HPDA, AI & HPV EU ERASMUS+ 01/10/2021 31/12/2022
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
to
Pedro Barbosa, Rosina Savisaar, Alcides Fonseca. Semantically Rich Local Dataset Generation for Explainable AI in Genomics. In Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2024 [Biblios]
F. O. de Franca, M. Virgolin, M. Kommenda, M. S. Majumder, M. Cranmer, G. Espada, L. Ingelse, A. Fonseca, M. Landajuela, B. Petersen, R. Glatt, N. Mundhenk, C. S. Lee, J. D. Hochhalter, D. L. Randall, P. Kamienny, H. Zhang, G. Dick, A. Simon, B. Burlacu, Jaan Kasak, Meera Machado, Casper Wilstrup, W. G. La Cavaz. SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation. IEEE Transactions on Evolutionary Computation, 1-1, Institute of Electrical and Electronics Engineers (IEEE), 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]
Leon Ingelse, José-Ignacio Hidalgo, José Manuel Colmenar, Nuno Lourenço, Alcides Fonseca. Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes. In Proceedings of the Companion Conference on Genetic and Evolutionary Computation. ACM, 2023 [Biblios]
Diogo Poças, Alcides Fonseca. Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference, 2023 [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]
Leon Ingelse, Alcides Fonseca. Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. In Lecture Notes in Computer Science,Genetic Programming, pages 227-243. Springer Nature Switzerland, 2023 [Biblios]
Pedro Barbosa, Rosina Savisaar, Maria Carmo-Fonseca, Alcides Fonseca. Computational prediction of human deep intronic variation. GigaScience, 12, Oxford University Press (OUP), 2022 [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]
Pedro Barbosa, Marta Ribeiro, Maria Carmo-Fonseca, Alcides Fonseca. Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants. Frontiers in Cardiovascular Medicine, 9, Frontiers Media SA, 2022 [Biblios]
Alcides Fonseca, Guilherme Espada. Type Systems in Resource-Aware Programming: Opportunities and Challenges. In ArXiV, 2022 [Biblios]
Alcides Fonseca, Máximo Oliveira. Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. In Proceedings of the Third International Workshop on Automated Program Repair. 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 Proceedings of the 4th International Workshop on Robotics Software Engineering. 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]
Leon Ingelse, Guilherme Espada, Alcides Fonseca. Benchmarking Individual Representation in Grammar-Guided Genetic Programming. In EasyChair, 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]
Cordeiro, Ricardo Jorge Dias, Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven. Formalization and Runtime Verification of Invariants for Robotic Systems. Master's dissertation, 2022 [Biblios]
Ingelse, Leon Kornelis, Fonseca, Alcides Aguiar. Optimization of feature learning through grammar-guided genetic programming. Master's dissertation, 2022 [Biblios]
Tavares, Miguel Rodrigues, Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven. RobotFix : Detecting Bugs On Variables In Robot Programs. Master's dissertation, 2022 [Biblios]
Gonçalo Miguel Inácio Duarte, José Carlos Medeiros de Campos, Alcides Miguel Cachulo Aguiar Fonseca. Bio-inspired Optimization Algorithms for Unit Test Generation. Master's dissertation, 2021 [Biblios]
João Pedro Vieira David, Alcides Miguel Cachulo Aguiar Fonseca. Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis. Master's dissertation, 2021 [Biblios]
Máximo José Nicolaas Hoefnagel Oliveira, Alcides Miguel Cachulo Aguiar Fonseca. Exploring a Larger Search Space for Automatic Program Repair. Master's dissertation, 2021 [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]
Raul Barbosa, Alcides Fonseca, Filipe Araujo. Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal, 29(3):705-731, Springer Science and Business Media LLC, 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]
Alcides Fonseca, Rick Kazman, Patricia Lago. A Manifesto for Energy-Aware Software. IEEE Computing Edge, 18(4), Institute of Electrical and Electronics Engineers (IEEE), 2020 [Biblios]
Bernardo Filipe Martinho Neves, Alcides Miguel Cachulo Aguiar Fonseca. Centralização de configurações de serviços num ambiente de micro-serviços. Master's dissertation, 2020 [Biblios]
Guilherme Jorge Nunes Monteiro Espada, Alcides Miguel Cachulo Aguiar Fonseca. Automatic conversion of Ada source code to Scala. Master's dissertation, 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]