Resource-Aware Programming (RAP) is an exploratory research project, funded by FCT.
The RAP project aims to give developers more feedback of the resources (time, memory energy) their programs cost, during the development process. The projects relies on considering cost as a probabilistic function, and relying on Genetic Programming to infer the cost of basic blocks, based on execution traces.
RAP is funded by FCT:
EXPL/CCI-COM/1306/2021
– Main project (2022-2023)2022.15800.CPCA.A1
– Genetic Programming for Genomics Interpretation (2023)
Team
- Alcides Fonseca (PI)
- Guilherme Espada (PhD Student)
- Paulo Canelas Santos (PhD Student)
- Catarina Gamboa (PhD Student)
- Leon ingelse (MSc Student)
Software
- GeneticEngine An hybrid of Grammar-Guided and Strongly Typed Genetic Programming in Python.
- Aeon A programming language with liquid types, focused on synthesis
- LiquidJava A library+typechecker + VSCode plugin for Java that adds Liquid Types and TypeState.
Publications
Journal
Conference Proceedings
Workshop Proceedings
Short Papers
Demos
- Genetic Engine: Genetic Programming for the Common Programmer @ <Programming> 2022
- Dive into LiquidJava — Extending Java with Liquid Types @ <Programming> 2022
Posters
- Genetic Engine: Grammar-Guided Genetic Programming without the Grammar @ <Programming> 2022