Publications
2022
- Benjamin Chetioui; Jaakko Timo Henrik Järvi; Magne Haveraaen (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. (external link)
- Jonas Lindemann; Magne Haveraaen (2022). The future of HPC programming - a Modern Fortran workshop. (external link)
- Seyed Hossein Haeri; Peter W Thompson; Peter Van Roy et al. (2022). On the Algebraic Properties of Timeliness. (external link)
- Benjamin Chetioui; Marius Kleppe Larnøy; Jaakko Timo Henrik Järvi et al. (2022). P3 problem and Magnolia language: Specializing array computations for emerging architectures. (external link)
2021
- Benjamin Chetioui; Ole Jørgen Abusdal; Magne Haveraaen et al. (2021). Padding in the Mathematics of Arrays. (external link)
- Benjamin Chtioui Richard Chetioui; Mikhail Barash; Magne Haveraaen (2021). An Ecosystem Architecture for the Magnolia Programming Language. (external link)
- Antonio Cerone; Markus Roggenbach; James Davenport et al. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —. (external link)
- Magne Haveraaen; Jaakko Järvi (2021). Semantics of multiway dataflow constraint systems. (external link)