Alcides Fonseca
Alcides Fonseca
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at - Homepage
Cited by
Cited by
A manifesto for energy-aware software
A Fonseca, R Kazman, P Lago
IEEE software 36 (6), 79-82, 2019
Prototyping a GPGPU neural network for deep-learning big data analysis
A Fonseca, B Cabral
Big Data Research 8, 50-56, 2017
Æminium: A permission-based concurrent-by-default programming language approach
S Stork, K Naden, J Sunshine, M Mohr, A Fonseca, P Marques, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1-42, 2014
Automatic parallelization: Executing sequential programs on a task-based parallel runtime
A Fonseca, B Cabral, J Rafael, I Correia
International Journal of Parallel Programming 44, 1337-1358, 2016
Helping developers write energy efficient haskell through a data-structure evaluation
G Melfe, A Fonseca, JP Fernandes
Proceedings of the 6th International Workshop on Green and Sustainable …, 2018
Dependency-based automatic parallelization of java applications
J Rafael, I Correia, A Fonseca, B Cabral
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International …, 2014
Æminiumgpu: An intelligent framework for gpu programming
A Fonseca, B Cabral
Facing the Multicore-Challenge III: Aspects of New Paradigms and …, 2013
Controlling the granularity of automatic parallel programs
A Fonseca, B Cabral
Journal of Computational Science 17, 620-629, 2016
Data types as a more ergonomic frontend for grammar-guided genetic programming
G Espada, L Ingelse, P Canelas, P Barbosa, A Fonseca
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
Evaluation of runtime cut-off approaches for parallel programs
A Fonseca, B Cabral
High Performance Computing for Computational Science–VECPAR 2016: 12th …, 2017
The usability argument for refinement typed genetic programming
A Fonseca, P Santos, S Silva
International Conference on Parallel Problem Solving from Nature, 18-32, 2020
Reductions and abstractions for formal verification of distributed round-based algorithms
R Barbosa, A Fonseca, F Araujo
Software Quality Journal 29 (3), 705-731, 2021
Evaluating the inherent sensitivity of programming languages to soft errors
F Cerveira, A Fonseca, R Barbosa, H Madeira
2018 14th European Dependable Computing Conference (EDCC), 65-72, 2018
Interpretable symbolic regression for data science: analysis of the 2022 competition
FO de França, M Virgolin, M Kommenda, MS Majumder, M Cranmer, ...
arXiv preprint arXiv:2304.01117, 2023
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
G Melfe, A Fonseca, JP Fernandes
Proceedings of the XXII Brazilian Symposium on Programming Languages, 83-89, 2018
Eve: A parallel event-driven programming language
A Fonseca, J Rafael, B Cabral
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International …, 2014
An experience report on challenges in learning the robot operating system
P Canelas, M Tavares, R Cordeiro, A Fonseca, CS Timperley
Proceedings of the 4th International Workshop on Robotics Software …, 2022
Handling exceptions in programs with hidden concurrency: New challenges for old solutions
A Fonseca, B Cabral
2012 5th International Workshop on Exception Handling (WEH), 14-17, 2012
Computational prediction of human deep intronic variation
P Barbosa, R Savisaar, M Carmo-Fonseca, A Fonseca
Gigascience 12, giad085, 2023
Overcoming the no free lunch theorem in cut-off algorithms for fork-join programs
A Fonseca, B Cabral
Parallel Computing 76, 42-56, 2018
The system can't perform the operation now. Try again later.
Articles 1–20