default search action
Alcides Fonseca
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Pedro Barbosa
, Rosina Savisaar
Semantically Rich Local Dataset Generation for Explainable AI in Genomics. GECCO 2024 - [c24]Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley:
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. ICRA 2024: 4819-4825 - [c23]Paulo Canelas
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. ISSTA 2024: 1161-1173 - [i9]Pedro Barbosa, Rosina Savisaar, Alcides Fonseca:
Semantically Rich Local Dataset Generation for Explainable AI in Genomics. CoRR abs/2407.02984 (2024) - [i8]Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley:
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. CoRR abs/2407.19292 (2024) - 2023
- [c22]Leon Ingelse
Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. EuroGP 2023: 227-243 - [c21]Alcides Fonseca
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. GECCO 2023: 1100-1108 - [c20]Leon Ingelse
Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes. GECCO Companion 2023: 2013-2021 - [c19]Catarina Gamboa
Usability-Oriented Design of Liquid Types for Java. ICSE 2023: 1520-1532 - [i7]Fabrício Olivetti de França, Marco Virgolin, Michael Kommenda, Maimuna S. Majumder, Miles D. Cranmer
Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition. CoRR abs/2304.01117 (2023) - [i6]Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich:
Latte: Lightweight Aliasing Tracking for Java. CoRR abs/2309.05637 (2023) - 2022
- [c18]Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. GPCE 2022: 86-94 - [c17]Alcides Fonseca
Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. APR@ICSE 2022: 24-30 - [c16]Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca
An experience report on challenges in learning the robot operating system. RoSE@ICSE 2022: 33-38 - [i5]Alcides Fonseca
Type Systems in Resource-Aware Programming: Opportunities and Challenges. CoRR abs/2205.15211 (2022) - [i4]Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming. CoRR abs/2210.04826 (2022) - 2021
- [j10]Raul Barbosa
Reductions and abstractions for formal verification of distributed round-based algorithms. Softw. Qual. J. 29(3): 705-731 (2021) - [c15]Alcides Fonseca
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming. GPTP 2021: 45-62 - [c14]Paulo Santos, José Campos
Augmenting Search-based Techniques with Static Synthesis-based Input Generation. SBST@ICSE 2021: 12-15 - [i3]Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca:
User-driven Design and Evaluation of Liquid Types in Java. CoRR abs/2110.05444 (2021) - 2020
- [c13]Paulo Santos, Sara Silva
Refined typed genetic programming as a user interface for genetic programming. GECCO Companion 2020: 251-252 - [c12]Alcides Fonseca
The Usability Argument for Refinement Typed Genetic Programming. PPSN (2) 2020: 18-32
2010 – 2019
- 2019
- [j9]Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira:
Soft error sensitivity and vulnerability of languages and their implementations. Int. J. Crit. Comput. Based Syst. 9(4): 318-347 (2019) - [j8]Alcides Fonseca
A Manifesto for Energy-Aware Software. IEEE Softw. 36(6): 79-82 (2019) - [p1]Alcides Fonseca
Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs. Handbook of Deep Learning Applications 2019: 1-19 - 2018
- [j7]Alcides Fonseca
Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs. Parallel Comput. 76: 42-56 (2018) - [j6]Alcides Fonseca
Understanding the impact of task granularity in the energy consumption of parallel programs. Sustain. Comput. Informatics Syst. 17: 69-80 (2018) - [j5]Alcides Fonseca
Language-Based Expression of Reliability and Parallelism for Low-Power Computing. IEEE Trans. Sustain. Comput. 3(3): 153-166 (2018) - [c11]Frederico Cerveira
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC 2018: 65-72 - [c10]Gilberto Melfe, Alcides Fonseca
Helping developers write energy efficient Haskell through a data-structure evaluation. GREENS@ICSE 2018: 9-15 - [c9]Gilberto Melfe, Alcides Fonseca
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. SBLP 2018: 83-89 - 2017
- [j4]Alcides Fonseca
Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis. Big Data Res. 8: 50-56 (2017) - [c8]Alcides Fonseca
Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. EvoApplications (1) 2017: 757-772 - 2016
- [j3]Alcides Fonseca
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. Int. J. Parallel Program. 44(6): 1337-1358 (2016) - [j2]Alcides Fonseca
Controlling the granularity of automatic parallel programs. J. Comput. Sci. 17: 620-629 (2016) - [c7]Alcides Fonseca
Evaluation of Runtime Cut-off Approaches for Parallel Programs. VECPAR 2016: 121-134 - [i2]Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia:
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. CoRR abs/1604.03211 (2016) - [i1]Alcides Fonseca, Raul Barbosa
MISO: An intermediate language to express parallel and dependable programs. CoRR abs/1608.06171 (2016) - 2015
- [c6]Bruno Cabral
Cooperative Exceptions for Concurrent Objects. PRDC 2015: 21-31 - 2014
- [j1]Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. 36(1): 2:1-2:42 (2014) - [c5]Alcides Fonseca, João Rafael, Bruno Cabral:
Eve: A Parallel Event-Driven Programming Language. Euro-Par Workshops (2) 2014: 170-181 - [c4]João Rafael, Ivo Correia, Alcides Fonseca, Bruno Cabral:
Dependency-Based Automatic Parallelization of Java Applications. Euro-Par Workshops (2) 2014: 182-193 - [c3]Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich:
Æminium: a permission based concurrent-by-default programming language approach. PLDI 2014: 26 - 2012
- [c2]Alcides Fonseca
ÆminiumGPU: An Intelligent Framework for GPU Programming. Facing the Multicore-Challenge 2012: 96-107 - [c1]Alcides Fonseca
Handling exceptions in programs with hidden concurrency: new challenges for old solutions. WEH@ICSE 2012: 14-17
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: