Alcides Fonseca

According to our database, Alcides Fonseca authored at least 36 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Latte: Lightweight Aliasing Tracking for Java.

Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich

CoRR, 2023

Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition.

Fabrício Olivetti de França, Marco Virgolin, Michael Kommenda, M. S. Majumder, Miles D. Cranmer, Guilherme Espada, Leon Ingelse, Alcides Fonseca, Mikel Landajuela, Brenden K. Petersen, Ruben Glatt, T. Nathan Mundhenk, C. S. Lee, Jacob D. Hochhalter, David L. Randall, P. Kamienny, H. Zhang, Grant Dick, A. Simon, Bogdan Burlacu, Jaan Kasak, Meera Vieira Machado, Casper Wilstrup, William G. La Cava

CoRR, 2023

Usability-Oriented Design of Liquid Types for Java.

Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes.

Leon Ingelse, José Ignacio Hidalgo, José Manuel Colmenar, Nuno Lourenço, Alcides Fonseca

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming.

Alcides Fonseca, Diogo Poças

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Domain-Aware Feature Learning with Grammar-Guided Genetic Programming.

Leon Ingelse, Alcides Fonseca

Proceedings of the Genetic Programming - 26th European Conference, 2023

2022

Type Systems in Resource-Aware Programming: Opportunities and Challenges.

Alcides Fonseca, Guilherme Espada

CoRR, 2022

An experience report on challenges in learning the robot operating system.

Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher Steven Timperley

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair.

Alcides Fonseca, Máximo Oliveira

Proceedings of the 3rd IEEE/ACM International Workshop on Automated Program Repair, 2022

Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming.

Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Reductions and abstractions for formal verification of distributed round-based algorithms.

Raul Barbosa, Alcides Fonseca, Filipe Araújo

Softw. Qual. J., 2021

User-driven Design and Evaluation of Liquid Types in Java.

Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca

CoRR, 2021

Augmenting Search-based Techniques with Static Synthesis-based Input Generation.

Paulo Santos, José Campos, Christopher Steven Timperley, Alcides Fonseca

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

2020

The Usability Argument for Refinement Typed Genetic Programming.

Alcides Fonseca, Paulo Santos, Sara Silva

Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020

Refined typed genetic programming as a user interface for genetic programming.

Paulo Santos, Sara Silva, Alcides Fonseca

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

A Manifesto for Energy-Aware Software.

Alcides Fonseca, Rick Kazman, Patricia Lago

IEEE Softw., 2019

Soft error sensitivity and vulnerability of languages and their implementations.

Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira

Int. J. Crit. Comput. Based Syst., 2019

Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs.

Alcides Fonseca, Bruno Cabral

Proceedings of the Handbook of Deep Learning Applications., 2019

2018

Language-Based Expression of Reliability and Parallelism for Low-Power Computing.

Alcides Fonseca, Frederico Cerveira, Bruno Cabral, Raul Barbosa

IEEE Trans. Sustain. Comput., 2018

Understanding the impact of task granularity in the energy consumption of parallel programs.

Alcides Fonseca, Bruno Cabral

Sustain. Comput. Informatics Syst., 2018

Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs.

Alcides Fonseca, Bruno Cabral

Parallel Comput., 2018

Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures.

Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Helping developers write energy efficient Haskell through a data-structure evaluation.

Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes

Proceedings of the 6th International Workshop on Green and Sustainable Software, 2018

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors.

Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis.

Alcides Fonseca, Bruno Cabral

Big Data Res., 2017

Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs.

Alcides Fonseca, Nuno Lourenço, Bruno Cabral

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

2016

Controlling the granularity of automatic parallel programs.

Alcides Fonseca, Bruno Cabral

J. Comput. Sci., 2016

Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime.

Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia

Int. J. Parallel Program., 2016

MISO: An intermediate language to express parallel and dependable programs.

Alcides Fonseca, Raul Barbosa

CoRR, 2016

Evaluation of Runtime Cut-off Approaches for Parallel Programs.

Alcides Fonseca, Bruno Cabral

Proceedings of the High Performance Computing for Computational Science - VECPAR 2016, 2016

2015

Cooperative Exceptions for Concurrent Objects.

Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

2014

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

Dependency-Based Automatic Parallelization of Java Applications.

João Rafael, Ivo Correia, Alcides Fonseca, Bruno Cabral

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

Eve: A Parallel Event-Driven Programming Language.

Alcides Fonseca, João Rafael, Bruno Cabral

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2012

Handling exceptions in programs with hidden concurrency: new challenges for old solutions.

Alcides Fonseca, Bruno Cabral

Proceedings of the 5th International Workshop on Exception Handling, 2012

ÆminiumGPU: An Intelligent Framework for GPU Programming.

Alcides Fonseca, Bruno Cabral

Proceedings of the Facing the Multicore-Challenge, 2012