Alcides Fonseca

52 papers A* 3A 3B 2C 1Misc 1Journal 25Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A comparison of representations in grammar-guided genetic programming in the context of glucose prediction in people with diabetes. Genet. Program. Evolvable Mach. Leon Ingelse, José Ignacio Hidalgo, J. Manuel Colmenar, Nuno Lourenço, Alcides Fonseca
2025	—	`conf`	Call for Action: towards the next generation of symbolic regression benchmark. GECCO Companion 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
2025	J	`jnl`	Call for Action: towards the next generation of symbolic regression benchmark. CoRR 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
2025	J	`jnl`	ROSpec: A Domain-Specific Language for ROS-Based Robot Software. Proc. ACM Program. Lang. Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley
2025	J	`jnl`	SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation. IEEE Trans. Evol. Comput. 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, Chak Shing Lee, Jacob D. Hochhalter, David L. Randall, P. Kamienny, Hengzhe Zhang, Grant Dick, Alessandro Simon, Bogdan Burlacu, Jaan Kasak, Meera Vieira Machado, Casper Wilstrup, William G. La Cava
2025	J	`jnl`	Sound Interval-Based Synthesis for Probabilistic Programs. CoRR Guilherme Espada, Alcides Fonseca
2025	J	`jnl`	Usability Barriers for Liquid Types. Proc. ACM Program. Lang. Catarina Gamboa, Abigail Reese, Alcides Fonseca, Jonathan Aldrich
2024	A*	`conf`	Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. ICRA Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley
2024	A	`conf`	Semantically Rich Local Dataset Generation for Explainable AI in Genomics. GECCO Pedro Barbosa, Rosina Savisaar, Alcides Fonseca
2024	J	`jnl`	Semantically Rich Local Dataset Generation for Explainable AI in Genomics. CoRR Pedro Barbosa, Rosina Savisaar, Alcides Fonseca
2024	A	`conf`	Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. ISSTA Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley
2024	J	`jnl`	Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. CoRR Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley
2023	—	`conf`	Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes. GECCO Companion Leon Ingelse, José Ignacio Hidalgo, José Manuel Colmenar, Nuno Lourenço, Alcides Fonseca
2023	A	`conf`	Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. GECCO Alcides Fonseca, Diogo Poças
2023	B	`conf`	Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. EuroGP Leon Ingelse, Alcides Fonseca
2023	J	`jnl`	Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition. CoRR 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, Chak Shing Lee, Jacob D. Hochhalter, David L. Randall, P. Kamienny, H. Zhang, Grant Dick, Alessandro Simon, Bogdan Burlacu, Jaan Kasak, Meera Vieira Machado, Casper Wilstrup, William G. La Cava
2023	J	`jnl`	Latte: Lightweight Aliasing Tracking for Java. CoRR Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
2023	A*	`conf`	Usability-Oriented Design of Liquid Types for Java. ICSE Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca
2022	—	`conf`	An experience report on challenges in learning the robot operating system. RoSE@ICSE Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher Steven Timperley
2022	B	`conf`	Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. GPCE Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
2022	J	`jnl`	Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming. CoRR Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
2022	—	`conf`	Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. APR@ICSE Alcides Fonseca, Máximo Oliveira
2022	J	`jnl`	Type Systems in Resource-Aware Programming: Opportunities and Challenges. CoRR Alcides Fonseca, Guilherme Espada
2021	—	`conf`	Augmenting Search-based Techniques with Static Synthesis-based Input Generation. SBST@ICSE Paulo Santos, José Campos, Christopher Steven Timperley, Alcides Fonseca
2021	—	`conf`	Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming. GPTP Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva
2021	J	`jnl`	Reductions and abstractions for formal verification of distributed round-based algorithms. Softw. Qual. J. Raul Barbosa, Alcides Fonseca, Filipe Araújo
2021	J	`jnl`	User-driven Design and Evaluation of Liquid Types in Java. CoRR Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca
2020	—	`conf`	Refined typed genetic programming as a user interface for genetic programming. GECCO Companion Paulo Santos, Sara Silva, Alcides Fonseca
2020	—	`conf`	The Usability Argument for Refinement Typed Genetic Programming. PPSN (2) Alcides Fonseca, Paulo Santos, Sara Silva
2019	J	`jnl`	A Manifesto for Energy-Aware Software. IEEE Softw. Alcides Fonseca, Rick Kazman, Patricia Lago
2019	—	`ch.`	Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs. Handbook of Deep Learning Applications Alcides Fonseca, Bruno Cabral
2019	J	`jnl`	Soft error sensitivity and vulnerability of languages and their implementations. Int. J. Crit. Comput. Based Syst. Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
2018	Misc	`conf`	Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
2018	—	`conf`	Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. SBLP Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes
2018	—	`conf`	Helping developers write energy efficient Haskell through a data-structure evaluation. GREENS@ICSE Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes
2018	J	`jnl`	Language-Based Expression of Reliability and Parallelism for Low-Power Computing. IEEE Trans. Sustain. Comput. Alcides Fonseca, Frederico Cerveira, Bruno Cabral, Raul Barbosa
2018	J	`jnl`	Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs. Parallel Comput. Alcides Fonseca, Bruno Cabral
2018	J	`jnl`	Understanding the impact of task granularity in the energy consumption of parallel programs. Sustain. Comput. Informatics Syst. Alcides Fonseca, Bruno Cabral
2017	—	`conf`	Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. EvoApplications (1) Alcides Fonseca, Nuno Lourenço, Bruno Cabral
2017	J	`jnl`	Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis. Big Data Res. Alcides Fonseca, Bruno Cabral
2016	J	`jnl`	Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. CoRR Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia
2016	J	`jnl`	Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. Int. J. Parallel Program. Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia
2016	J	`jnl`	Controlling the granularity of automatic parallel programs. J. Comput. Sci. Alcides Fonseca, Bruno Cabral
2016	—	`conf`	Evaluation of Runtime Cut-off Approaches for Parallel Programs. VECPAR Alcides Fonseca, Bruno Cabral
2016	J	`jnl`	MISO: An intermediate language to express parallel and dependable programs. CoRR Alcides Fonseca, Raul Barbosa
2015	C	`conf`	Cooperative Exceptions for Concurrent Objects. PRDC Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2014	—	`conf`	Dependency-Based Automatic Parallelization of Java Applications. Euro-Par Workshops (2) João Rafael, Ivo Correia, Alcides Fonseca, Bruno Cabral
2014	—	`conf`	Eve: A Parallel Event-Driven Programming Language. Euro-Par Workshops (2) Alcides Fonseca, João Rafael, Bruno Cabral
2014	J	`jnl`	Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2014	A*	`conf`	Æminium: a permission based concurrent-by-default programming language approach. PLDI Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2012	—	`conf`	Handling exceptions in programs with hidden concurrency: new challenges for old solutions. WEH@ICSE Alcides Fonseca, Bruno Cabral
2012	—	`conf`	ÆminiumGPU: An Intelligent Framework for GPU Programming. Facing the Multicore-Challenge Alcides Fonseca, Bruno Cabral