Magne Haveraaen
Stilling
Professor
Tilhørighet
Publikasjoner
2022
- Benjamin Chetioui; Jaakko Timo Henrik Järvi; Magne Haveraaen (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. (ekstern lenke)
- Jonas Lindemann; Magne Haveraaen (2022). The future of HPC programming - a Modern Fortran workshop. (ekstern lenke)
- Seyed Hossein Haeri; Peter W Thompson; Peter Van Roy et al. (2022). On the Algebraic Properties of Timeliness. (ekstern lenke)
- 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. (ekstern lenke)
2021
- Benjamin Chetioui; Ole Jørgen Abusdal; Magne Haveraaen et al. (2021). Padding in the Mathematics of Arrays. (ekstern lenke)
- Benjamin Chtioui Richard Chetioui; Mikhail Barash; Magne Haveraaen (2021). An Ecosystem Architecture for the Magnolia Programming Language. (ekstern lenke)
- 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 —. (ekstern lenke)
- Magne Haveraaen; Jaakko Järvi (2021). Semantics of multiway dataflow constraint systems. (ekstern lenke)