Alcides Fonseca

Contactos

Departamento de Informática

Sala/Gabinete 6.3.17
Ext. Principal 26702
Extensão pessoal 721013
Email amfonseca@ciencias.ulisboa.pt
Página Pessoal

Carreira Docente Universitário
Categoria Professor Associado

Indicadores

Orcid
Scopus
Google Scholar
CiênciaVitae
Interesses Científicos

Programação Automática

Programação Paralela

Machine Learning

Computação Evolutionária


Scientific Interests

Program Synthesis, Genetic Programming, Refinement Types


Publicações selecionadas
  • Fonseca, Alcides, and Diogo Poças. "Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming." (2023).
  • Espada, Guilherme, et al. "Data types as a more ergonomic frontend for grammar-guided genetic programming." Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. 2022.
  • Fonseca, Alcides, and Bruno Cabral. "Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis." Big Data Research (2017).
  • Stork, Sven, et al. "Aeminium: A permission-based concurrent-by-default programming language approach." ACM Transactions on Programming Languages and Systems (TOPLAS) 36.1 (2014): 2.
  • Fonseca A, Santos P, Silva S. The Usability Argument for Refinement Typed Genetic Programming. InInternational Conference on Parallel Problem Solving from Nature 2020 Sep 5 (pp. 18-32). Springer, Cham.

Ver todas as Publicações