Follow
Alcides Fonseca
Alcides Fonseca
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at ciencias.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
A manifesto for energy-aware software
A Fonseca, R Kazman, P Lago
IEEE software 36 (6), 79-82, 2019
482019
Prototyping a GPGPU neural network for deep-learning big data analysis
A Fonseca, B Cabral
Big Data Research 8, 50-56, 2017
382017
Æ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
322014
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
282016
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
142014
Æminiumgpu: An intelligent framework for gpu programming
A Fonseca, B Cabral
Facing the Multicore-Challenge III: Aspects of New Paradigms and …, 2013
142013
Controlling the granularity of automatic parallel programs
A Fonseca, B Cabral
Journal of Computational Science 17, 620-629, 2016
132016
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
122018
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
92020
Evaluation of runtime cut-off approaches for parallel programs
A Fonseca, B Cabral
High Performance Computing for Computational Science–VECPAR 2016: 12th …, 2017
92017
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
82018
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
72022
Eve: A parallel event-driven programming language
A Fonseca, J Rafael, B Cabral
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International …, 2014
72014
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
62021
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
62018
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
62012
Overcoming the no free lunch theorem in cut-off algorithms for fork-join programs
A Fonseca, B Cabral
Parallel Computing 76, 42-56, 2018
52018
Language-based expression of reliability and parallelism for low-power computing
A Fonseca, F Cerveira, B Cabral, R Barbosa
IEEE Transactions on Sustainable Computing 3 (3), 153-166, 2017
52017
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
42023
Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants
P Barbosa, M Ribeiro, M Carmo-Fonseca, A Fonseca
Frontiers in cardiovascular medicine 9, 975478, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20