14 citations · 16 across the 5 of their papers we have counts for
5 papers
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Guilherme Espada, Leon Ingelse, Paulo Canelas +2
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Softw…
Type Systems in Resource-Aware Programming: Opportunities and Challenges
Alcides Fonseca, Guilherme Espada
Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to pre…
User-driven Design and Evaluation of Liquid Types in Java
Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley +1
Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address,…
MISO: An intermediate language to express parallel and dependable programs
Alcides Fonseca, Raul Barbosa
One way to write fast programs is to explore the potential parallelism and take advantage of the high number of cores available in microprocessors. This can be achieved by manually…
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime
Alcides Fonseca, Bruno Cabral, João Rafael +1
There are billions of lines of sequential code inside nowadays' software which do not benefit from the parallelism available in modern multicore architectures. Automatically parall…