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 |
| THOR | Computer Assisted Thoracic Assessment using POCUS | FCT | 01/03/2021 | 29/02/2024 |
| SafeSessions | Safe Concurrent Programming with Session Types | FCT | 01/03/2021 | 29/02/2024 |
| RAP | Resource Aware Programming | FCT | 13/01/2022 | 12/01/2024 |
PAST
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| 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 |
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]
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, 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]
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]
Ingelse, Leon Kornelis, Fonseca, Alcides Aguiar. Optimization of feature learning through grammar-guided genetic programming. Master's dissertation, 2022 [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. 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]
Guilherme Jorge Nunes Monteiro Espada, Alcides Miguel Cachulo Aguiar Fonseca. Automatic conversion of Ada source code to Scala. 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]