Alcides Fonseca

40.197958, -8.408312



I am planning to take a sabbatical from September 2024 to August 2025. I would like to spend some time visiting other labs, and some time working with the industry. If this is something that might interest you, please get in touch.

I am an Associate Professor at University of Lisbon, where I teach Functional Programming, Compilers, Parallel and Concurrent Programming.

I am also an integrated researcher at LASIGE where my group develops programming languages and tools that improve developer (and end-user) productivity. We are currently working on a programming language with liquid types that can synthesize programs automatically. I am exploring a combination of smt-guided synthesis (efficient, but does not scale to large contexts) with genetic programming (slow, but can scale). For that, we have built GeneticEngine, which implements different types of synthesis for a problem defined by a grammar and a fitness function. Another liquid types application we are exploring is the modeling of the energy consumption of functions.

My publications are available on Google Scholar and the source code is available on Github.

Recent highlights

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming at GECCO 2023
Usability-Oriented Design of Liquid Types for Java at ICSE 2023
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming at GPCE 2022
Invited Talk at CFTC (March 2024)
Keynote at Ada-Europe 2023
Social Media Chair at ICSE 2024
Web and Publicity Chair at SPLASH 2023 and 2024
Program Committee member at PLDI 2023 and ICT4S 2024