ÆminiumGPU: An Intelligent Framework for GPU Programming. - Alcides Fonseca; Bruno Cabral 001 (Facing the Multicore-Challenge, 2012)

Handling exceptions in programs with hidden concurrency: new challenges for old solutions. - Alcides Fonseca; Bruno Cabral 001 (WEH@ICSE, 2012)

Eve: A Parallel Event-Driven Programming Language. - Alcides Fonseca; João Rafael; Bruno Cabral 001 (Euro-Par Workshops (2), 2014)

Dependency-Based Automatic Parallelization of Java Applications. - João Rafael; Ivo Correia; Alcides Fonseca; Bruno Cabral 001 (Euro-Par Workshops (2), 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)

Cooperative Exceptions for Concurrent Objects. - Bruno Cabral 001; Alcides Fonseca; Paulo Marques; Jonathan Aldrich (PRDC, 2015)

Evaluation of Runtime Cut-off Approaches for Parallel Programs. - Alcides Fonseca; Bruno Cabral 001 (VECPAR, 2016)

MISO: An intermediate language to express parallel and dependable programs. - Alcides Fonseca; Raul Barbosa (CoRR, 2016)

Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. - Alcides Fonseca; Bruno Cabral 001; João Rafael; Ivo Correia (Int. J. Parallel Program., 2016)

Controlling the granularity of automatic parallel programs. - Alcides Fonseca; Bruno Cabral 001 (J. Comput. Sci., 2016)

Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. - Alcides Fonseca; Nuno Lourenço 002; Bruno Cabral 001 (EvoApplications (1), 2017)

Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis. - Alcides Fonseca; Bruno Cabral 001 (Big Data Res., 2017)

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. - Frederico Cerveira; Alcides Fonseca; Raul Barbosa; Henrique Madeira (EDCC, 2018)

Helping developers write energy efficient Haskell through a data-structure evaluation. - Gilberto Melfe; Alcides Fonseca; João Paulo Fernandes (GREENS@ICSE, 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 (SBLP, 2018)

Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs. - Alcides Fonseca; Bruno Cabral 001 (Parallel Comput., 2018)

Understanding the impact of task granularity in the energy consumption of parallel programs. - Alcides Fonseca; Bruno Cabral 001 (Sustain. Comput. Informatics Syst., 2018)

Language-Based Expression of Reliability and Parallelism for Low-Power Computing. - Alcides Fonseca; Frederico Cerveira; Bruno Cabral 001; Raul Barbosa (IEEE Trans. Sustain. Comput., 2018)

Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs. - Alcides Fonseca; Bruno Cabral 001 (Handbook of Deep Learning Applications, 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)

A Manifesto for Energy-Aware Software. - Alcides Fonseca; Rick Kazman; Patricia Lago (IEEE Softw., 2019)

Refined typed genetic programming as a user interface for genetic programming. - Paulo Santos; Sara Silva; Alcides Fonseca (GECCO Companion, 2020)

The Usability Argument for Refinement Typed Genetic Programming. - Alcides Fonseca; Paulo Santos; Sara Silva (PPSN (2), 2020)

Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming. - Alcides Fonseca; Paulo Santos; Guilherme Espada; Sara Silva (GPTP, 2021)

Augmenting Search-based Techniques with Static Synthesis-based Input Generation. - Paulo Santos; José Campos 001; Christopher Steven Timperley; Alcides Fonseca (SBST@ICSE, 2021)

User-driven Design and Evaluation of Liquid Types in Java. - Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca (CoRR, 2021)

Reductions and abstractions for formal verification of distributed round-based algorithms. - Raul Barbosa; Alcides Fonseca; Filipe Araújo (Softw. Qual. J., 2021)

Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. - Guilherme Espada; Leon Ingelse; Paulo Canelas; Pedro Barbosa; Alcides Fonseca (GPCE, 2022)

Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. - Alcides Fonseca; Máximo Oliveira (APR@ICSE, 2022)

An experience report on challenges in learning the robot operating system. - Paulo Canelas; Miguel Tavares; Ricardo Cordeiro; Alcides Fonseca; Christopher Steven Timperley (RoSE@ICSE, 2022)

Type Systems in Resource-Aware Programming: Opportunities and Challenges. - Alcides Fonseca; Guilherme Espada (CoRR, 2022)

Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. - Leon Ingelse; Alcides Fonseca (EuroGP, 2023)

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. - Alcides Fonseca; Diogo Poças (GECCO, 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 002; Alcides Fonseca (GECCO Companion, 2023)

Usability-Oriented Design of Liquid Types for Java. - Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca (ICSE, 2023)

Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition. - Fabrício Olivetti de França; Marco Virgolin; Michael Kommenda; Maimuna S. Majumder; Miles D. Cranmer; Guilherme Espada; Leon Ingelse; Alcides Fonseca; Mikel Landajuela; Brenden K. Petersen; Ruben Glatt; T. Nathan Mundhenk; et al. (CoRR, 2023)

Latte: Lightweight Aliasing Tracking for Java. - Conrad Zimmerman; Catarina Gamboa; Alcides Fonseca; Jonathan Aldrich (CoRR, 2023)

Semantically Rich Local Dataset Generation for Explainable AI in Genomics. - Pedro Barbosa; Rosina Savisaar; Alcides Fonseca (GECCO, 2024)

Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. - Paulo Canelas; Trenton Tabor; John-Paul Ore; Alcides Fonseca; Claire Le Goues; Christopher Steven Timperley (ICRA, 2024)

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. - Paulo Canelas; Bradley R. Schmerl; Alcides Fonseca; Christopher Steven Timperley (ISSTA, 2024)

Usability Barriers for Liquid Types. - Catarina Gamboa; Abigail Reese; Alcides Fonseca; Jonathan Aldrich (Proc. ACM Program. Lang., 2025)

Call for Action: towards the next generation of symbolic regression benchmark. - Guilherme Seidyo Imai Aldeia; Hengzhe Zhang; Geoffrey F. Bomarito; Miles D. Cranmer; Alcides Fonseca; Bogdan Burlacu; William G. La Cava; Fabrício Olivetti de França (CoRR, 2025)

A comparison of representations in grammar-guided genetic programming in the context of glucose prediction in people with diabetes. - Leon Ingelse; José Ignacio Hidalgo; J. Manuel Colmenar; Nuno Lourenço 002; Alcides Fonseca (Genet. Program. Evolvable Mach., 2025)

Sound Interval-Based Synthesis for Probabilistic Programs. - Guilherme Espada; Alcides Fonseca (CoRR, 2025)

SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation. - Fabrício Olivetti de França; Marco Virgolin; Michael Kommenda; Maimuna S. Majumder; Miles D. Cranmer; Guilherme Espada; Leon Ingelse; Alcides Fonseca; Mikel Landajuela; Brenden K. Petersen; Ruben Glatt; T. Nathan Mundhenk; et al. (IEEE Trans. Evol. Comput., 2025)