Alcides Fonseca


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
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024


Acronym Title Funding Entity Start Date End Date
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
Diogo PoçasAlcides FonsecaComparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference, 2023 [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]
Leon IngelseAlcides FonsecaDomain-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 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 FonsecaMáximo OliveiraFigra: 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 CanelasMiguel TavaresRicardo CordeiroAlcides FonsecaChristopher S. TimperleyAn experience report on challenges in learning the robot operating system. In Proceedings of the 4th International Workshop on Robotics Software Engineering. 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]
Raul BarbosaAlcides FonsecaFilipe AraujoReductions 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]
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 FonsecaRick KazmanPatricia LagoA Manifesto for Energy-Aware Software. IEEE Computing Edge, 18(4), Institute of Electrical and Electronics Engineers (IEEE), 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]