MEMBER

Alcides Fonseca

Profile Picture of Alcides Fonseca

ONGOING

Acronym Title Funding Entity Start Date End Date
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
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/07/2022

PAST

Acronym Title Funding Entity Start Date End Date
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
to
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]
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]
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]
Alcides Fonseca, Rick Kazman, Patricia Lago. A Manifesto for Energy-Aware Software. IEEE Software, 36(6):79-82, Institute of Electrical and Electronics Engineers (IEEE), 2019 [Biblios]
Alcides Fonseca, Bruno Cabral. Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs, In Handbook of Deep Learning Applications,Smart Innovation, Systems and Technologies, pages 1-19. Springer International Publishing, 2019 [Biblios]
Alcides Fonseca, Bruno Cabral. Evaluation of Runtime Cut-off Approaches for Parallel Programs. In High Performance Computing for Computational Science – VECPAR 2016,Lecture Notes in Computer Science, pages 121-134. Springer International Publishing, 2017 [Biblios]
Alcides Fonseca, Nuno Lourenço, Bruno Cabral. Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. In Applications of Evolutionary Computation,Lecture Notes in Computer Science, pages 757-772. Springer International Publishing, 2017 [Biblios]
Alcides Fonseca, Bruno Cabral. Controlling the granularity of automatic parallel programs. Journal of Computational Science, 17, Elsevier BV, 2016 [Biblios]
Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia. Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. International Journal of Parallel Programming, 44(6):1337-1358, Springer Science and Business Media LLC, 2016 [Biblios]