Alcides Fonseca

40.197958, -8.408312


You can find a detailed publication list either at my research group page, Google Scholar or at ResearchGate.

Research Topics

  • Programming Languages
  • Dependent Types
  • Automatic Parallelization
  • Parallel Program Optimization
  • Parallel Program Energy Consumption
  • Work-stealing Runtimes

Research Software

The follow software resulted from this research:

  • Aeminium Runtime – A task-based work-stealing runtime. It follows Cilk THE algorithm for work-stealing, but is configurable with several work-stealing algorithms, and different granularity control algorithms. (Paper)
  • Aeminium Benchmarks – A set of 24 recursive parallel programs, each implemented sequentially, using Java ForkJoin or using Aeminium Runtime. Most of the programs were reimplemented based on other benchmark suites, but some of the programs are new. The parameters chosen can evidence differences in granularity control choices, and execute within minutes. The benchmark measurement utility follows the Statistical Rigorous Java Performance Evaluation methodology. (Paper)
  • AeminiumGPU Compiler and Runtime – A compiler that translates map-reduce programs in Java to OpenCL, and a runtime library that executes the OpenCL kernels automatically. (Paper)