This page documents the activities of the HIPERFIT reading group, which was initiated in April 2015. We meet on tuesdays from 13:00 to 15:00 (approx.) following the schedule below. The schedule will be updated continuously.

Time usage

The reading group will run for 16 times, with an expected time usage around 8 hours for each session (including preparation), which will total 128 hours, which should correspond to 5 ECTS.


We will be reading papers in several topics in the core area of HIPERFIT, namely functional programming languages for financial IT.

  • Programming language design for parallel programming
  • Type systems for array based languages (e.g. dependent types)
  • high-performance computing optimizations and algorithms.
  • Automatic/algorithmic differentiation
  • Finance and monte-carlo simulation


  • Troels Henriksen (Ph.D. student)
  • Danil Annenkov (Ph.D. student)
  • Frederik Meisner Madsen (Ph.D. student)
  • Martin Dybdal (Ph.D. student)
  • Andrzej Filinski (Supervisor)
  • Martin Elsman (Supervisor)
  • Cosmin Oancea (Supervisor)

Other HIPERFIT faculty and students are welcome to participate in the meetings on voluntary basis.

##Schedule (2015)

Suggestions for future sessions

If you add a topic, please include your name

Finance, automatic differentiation, Monte-Carlo simulations etc.

  • “Parallel random numbers: as easy as 1, 2, 3” - - Martin Dybdal

  • Andreas Griewank, Andrea Walther, “Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation” – det er en bog; jeg har den på mit kontor (fra KUBIS). - Fritz Henglein

  • (“Specialising Simulator Generators for High-Performance Monte-Carlo Methods” - - Martin Dybdal)

High-performance computing

  • “Rodinia: A benchmark suite for heterogeneous computing” - - Martin Dybdal

  • “A characterization of the Rodinia benchmark suite with comparison to contemporary CMP workloads” - - Martin Dybdal

  • “Software Pipelined Execution of Stream Programs on GPUs” - - Martin Dybdal

  • Obsidian


Trying to stick to something that has general value, rather than one-off hacks - Troels

  • “Effective Automatic Data Allocation for Parallelization of Affine Loop Nests” - - Troels Henriksen

  • “Metrics and Models for Reordering Transformations” - - Troels Henriksen

  • “Automatic Generation of Peephole Superoptimizers” - (maybe also Massalin, 1987) - Martin Dybdal

Cost models for data-parallel languages

  • J. Hoffmann and Z. Shao. Automatic static cost analysis for parallel programs. ESOP 2015. - - Danil Annenkov
  • D. B. Skillicorn , W Cai. A cost calculus for parallel functional programming, 1995. - - Danil Annenkov
  • C. Barry Jay. Costing Parallel Programs as a Function of Shapes, 1998. - - Danil Annenkov

Other topics:

  • Flattening, NESL, VCODE
  • Something on the architecture of Xeon Phi? - Martin Dybdal
  • Hierarchical cost-models - Martin Dybdal
  • “Fission” / Bohrium

Decided not to read

  • “pocl: A Performance-Portable OpenCL Implementation” -