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