Alcides Fonseca

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 36

Top Topics

Symbolic Regression

Energy Consumption

Top Venues

GECCO Companion

Euro-Par Workshops (2)

Publications

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)
Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. CoRR (2024)
Pedro Barbosa, Rosina Savisaar, Alcides Fonseca
Semantically Rich Local Dataset Generation for Explainable AI in Genomics. CoRR (2024)
Pedro Barbosa, Rosina Savisaar, Alcides Fonseca
Semantically Rich Local Dataset Generation for Explainable AI in Genomics. GECCO (2024)
Leon Ingelse, Alcides Fonseca
Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. EuroGP (2023)
Fabrício Olivetti de França, Marco Virgolin, Michael Kommenda, M. S. Majumder, Miles D. Cranmer, Guilherme Espada, Leon Ingelse, Alcides Fonseca, Mikel Landajuela, B. Petersen, Ruben Glatt, T. Nathan Mundhenk, C. S. Lee, Jacob D. Hochhalter, David L. Randall, P. Kamienny, H. Zhang, G. Dick, A. Simon, Bogdan Burlacu, Jaan Kasak, Meera Vieira Machado, Casper Wilstrup, William G. La Cava
Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition. CoRR (2023)
Alcides Fonseca, Diogo Poças
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. GECCO (2023)
Leon Ingelse, José Ignacio Hidalgo, José Manuel Colmenar, Nuno Lourenço, Alcides Fonseca
Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes. GECCO Companion (2023)
Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca
Usability-Oriented Design of Liquid Types for Java. ICSE (2023)
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
Latte: Lightweight Aliasing Tracking for Java. CoRR (2023)
Alcides Fonseca, Guilherme Espada
Type Systems in Resource-Aware Programming: Opportunities and Challenges. CoRR (2022)
Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. GPCE (2022)
Alcides Fonseca, Máximo Oliveira
Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. APR@ICSE (2022)
Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher Steven Timperley
An experience report on challenges in learning the robot operating system. RoSE@ICSE (2022)
Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming. CoRR (2022)
Paulo Santos, José Campos, Christopher Steven Timperley, Alcides Fonseca
Augmenting Search-based Techniques with Static Synthesis-based Input Generation. SBST@ICSE (2021)
Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming. GPTP (2021)
Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca
User-driven Design and Evaluation of Liquid Types in Java. CoRR (2021)
Raul Barbosa, Alcides Fonseca, Filipe Araújo
Reductions and abstractions for formal verification of distributed round-based algorithms. Softw. Qual. J. 29 (3) (2021)
Alcides Fonseca, Paulo Santos, Sara Silva
The Usability Argument for Refinement Typed Genetic Programming. PPSN (2) (2020)
Paulo Santos, Sara Silva, Alcides Fonseca
Refined typed genetic programming as a user interface for genetic programming. GECCO Companion (2020)
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) (2019)
Alcides Fonseca, Rick Kazman, Patricia Lago
A Manifesto for Energy-Aware Software. IEEE Softw. 36 (6) (2019)
Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes
Helping developers write energy efficient Haskell through a data-structure evaluation. GREENS@ICSE (2018)
Alcides Fonseca, Bruno Cabral
Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs. Parallel Comput. 76 (2018)
Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. SBLP (2018)
Alcides Fonseca, Frederico Cerveira, Bruno Cabral, Raul Barbosa
Language-Based Expression of Reliability and Parallelism for Low-Power Computing. IEEE Trans. Sustain. Comput. 3 (3) (2018)
Alcides Fonseca, Bruno Cabral
Understanding the impact of task granularity in the energy consumption of parallel programs. Sustain. Comput. Informatics Syst. 17 (2018)
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC (2018)
Alcides Fonseca, Nuno Lourenço, Bruno Cabral
Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. EvoApplications (1) (2017)
Alcides Fonseca, Bruno Cabral
Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis. Big Data Res. 8 (2017)
Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. Int. J. Parallel Program. 44 (6) (2016)
Alcides Fonseca, Bruno Cabral
Evaluation of Runtime Cut-off Approaches for Parallel Programs. VECPAR (2016)
Alcides Fonseca, Raul Barbosa
MISO: An intermediate language to express parallel and dependable programs. CoRR (2016)
Alcides Fonseca, Bruno Cabral
Controlling the granularity of automatic parallel programs. J. Comput. Sci. 17 (2016)
Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. CoRR (2016)
Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Cooperative Exceptions for Concurrent Objects. PRDC (2015)
Alcides Fonseca, João Rafael, Bruno Cabral
Eve: A Parallel Event-Driven Programming Language. Euro-Par Workshops (2) (2014)
João Rafael, Ivo Correia, Alcides Fonseca, Bruno Cabral
Dependency-Based Automatic Parallelization of Java Applications. Euro-Par Workshops (2) (2014)
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)
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Alcides Fonseca, Bruno Cabral
Handling exceptions in programs with hidden concurrency: new challenges for old solutions. WEH@ICSE (2012)
Alcides Fonseca, Bruno Cabral
ÆminiumGPU: An Intelligent Framework for GPU Programming. Facing the Multicore-Challenge (2012)