The PAL Module Concept. - Magne Haveraaen (ADT, 1988)

Distributing Programs on Different Parallel Architectures. - Magne Haveraaen (ICPP (2), 1990)

Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. - Magne Haveraaen; Eric G. Wagner (WADT, 1999)

Formal Software Engineering for Computational Modelling. - Magne Haveraaen; Helmer André Friis; Tor Arne Johansen (Nord. J. Comput., 1999)

Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). - Magne Haveraaen (Euro-Par, 2000)

On the Role of Mathematical Abstractions for Scientific Computing. - Krister Åhlander; Magne Haveraaen; Hans Z. Munthe-Kaas (The Architecture of Scientific Software, 2000)

An algebraic programming style for numerical software and its optimization. - T. B. Dinesh; Magne Haveraaen; Jan Heering (Sci. Program., 2000)

Coordinate free programming of computational fluid dynamics problems. - Philip W. Grant; Magne Haveraaen; Michael F. Webster (Sci. Program., 2000)

Machine and collection abstractions for user-implemented data-parallel programming. - Magne Haveraaen (Sci. Program., 2000)

Case study on algebraic software methodologies for scientific computing. - Magne Haveraaen (Sci. Program., 2000)

Computation Algebras. - Michal Walicki; Magne Haveraaen; Sigurd Meldal (Math. Struct. Comput. Sci., 2001)

Guest Editors' Foreword. - Magne Haveraaen; Olaf Owe (Nord. J. Comput., 2001)

On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. - Magne Haveraaen; Hans Z. Munthe-Kaas; Krister Åhlander (Eng. Comput., 2002)

Guest Editors' Foreword. - Magne Haveraaen; Michael R. Hansen (Nord. J. Comput., 2002)

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. - Otto Skrove Bagge; Karl Trygve Kalleberg; Magne Haveraaen; Eelco Visser (SCAM, 2003)

Domain-Specific Optimisation with User-Defined Rules in CodeBoost. - Otto Skrove Bagge; Magne Haveraaen (RULE@RDP, 2003)

Guest Editors' Foreword. - Magne Haveraaen; Jüri Vain (Nord. J. Comput., 2003)

Computable scalar fields: A basis for PDE software. - Magne Haveraaen; Helmer André Friis; Hans Z. Munthe-Kaas (J. Log. Algebraic Methods Program., 2005)

Stayin' alert: : moulding failure and exceptions to your needs. - Anya Helene Bagge; Valentin David; Magne Haveraaen; Karl Trygve Kalleberg (GPCE, 2006)

Axiom-based testing for C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (OOPSLA Companion, 2008)

Testing with concepts and axioms in C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (OOPSLA Companion, 2008)

JAxT and JDI: the simplicity of junit applied to axioms and data invariants. - Magne Haveraaen; Karl Trygve Kalleberg (OOPSLA Companion, 2008)

Axiom-Based Transformations: Optimisation and Testing. - Anya Helene Bagge; Magne Haveraaen (LDTA, 2008)

The axioms strike back: testing with concepts and axioms in C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (GPCE, 2009)

Concepts as Syntactic Sugar. - Valentin David; Magne Haveraaen (SCAM, 2009)

Interfacing Concepts: Why Declaration Style Shouldn't Matter. - Anya Helene Bagge; Magne Haveraaen (LDTA, 2009)

Coordinate-free numerics: all your variation points for free? - Magne Haveraaen; Helmer André Friis (Int. J. Comput. Sci. Eng., 2009)

A Hardware Independent Parallel Programming Model. - Eva Burrows; Magne Haveraaen (J. Log. Algebraic Methods Program., 2009)

Testing with Axioms in C++ 2011. - Anya Helene Bagge; Valentin David; Magne Haveraaen (J. Object Technol., 2011)

Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. - Jaakko Järvi; Magne Haveraaen; John Freeman; Mat Marcus (WGP@ICFP, 2012)

Programmable data dependencies and placements. - Eva Burrows; Magne Haveraaen (DAMP, 2012)

Inferring Required Permissions for Statically Composed Programs. - Tero Hasu; Anya Helene Bagge; Magne Haveraaen (NordSec, 2013)

High-performance design patterns for modern Fortran. - Magne Haveraaen; Karla Morris; Damian W. I. Rouson (SE-HPCCSE@SC, 2013)

Specializing planners for hierarchical multi-way dataflow constraint systems. - Jaakko Järvi; Gabriel Foust; Magne Haveraaen (GPCE, 2014)

Specification of generic APIs, or: why algebraic may be better than pre/post. - Anya Helene Bagge; Magne Haveraaen (HILT, 2014)

High-Performance Design Patterns for Modern Fortran. - Magne Haveraaen; Karla Morris; Damian W. I. Rouson; Hari Radhakrishnan; Clayton Carson (Sci. Program., 2015)

Errors as Data Values. - Tero Hasu; Magne Haveraaen (NIK, 2016)

Domain Engineering the Magnolia Way. - Magne Haveraaen (Ershov Informatics Conference, 2017)

An array API for finite difference methods. - Eva Burrows; Helmer André Friis; Magne Haveraaen (ARRAY@PLDI, 2018)

Proving a core code for FDM correct by 2 + dw tests. - Magne Haveraaen (ARRAY@PLDI, 2018)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Axiom Based Testing for Fun and Pedagogy. - Magne Haveraaen (FMFun, 2019)

Finite difference methods fengshui: alignment through a mathematics of arrays. - Benjamin Chetioui; Lenore Mullin; Ole Abusdal; Magne Haveraaen; Jaakko Järvi; Sandra Macià (ARRAY@PLDI, 2019)

Specifying with syntactic theory functors. - Magne Haveraaen; Markus Roggenbach (J. Log. Algebraic Methods Program., 2020)

Padding in the mathematics of arrays. - Benjamin Chetioui; Ole Abusdal; Magne Haveraaen; Jaakko Järvi; Lenore Mullin (ARRAY@PLDI, 2021)

Semantics of multiway dataflow constraint systems. - Magne Haveraaen; Jaakko Järvi (J. Log. Algebraic Methods Program., 2021)

P3 problem and Magnolia language: Specializing array computations for emerging architectures. - Benjamin Chetioui; Marius Kleppe Larnøy; Jaakko Järvi; Magne Haveraaen; Lenore Mullin (Frontiers Comput. Sci., 2022)

Algebraic Reasoning About Timeliness. - Seyed Hossein Haeri; Peter W. Thompson 002; Peter Van Roy; Magne Haveraaen; Neil J. Davies; Mikhail Barash; Kevin Hammond; James Chapman 001 (ICE, 2023)

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. - Benjamin Chetioui; Jaakko Järvi; Magne Haveraaen (Art Sci. Eng. Program., 2023)

Algebraic reasoning for timeliness-guided system design. - Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus; Peter Thompson 002; Neil J. Davies; Magne Haveraaen; Mikhail Barash; Kevin Hammond; James Chapman 001; Artjoms Sinkarovs (J. Log. Algebraic Methods Program., 2026)