Magne Haveraaen

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 15

Top Topics

Higher Education

Software Engineering

Top Venues

J. Log. Algebraic Methods Program.

Publications

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)
Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. Art Sci. Eng. Program. 7 (2) (2023)
Benjamin Chetioui, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin
P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers Comput. Sci. 4 (2022)
Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. CoRR (2022)
Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin
Padding in the mathematics of arrays. ARRAY@PLDI (2021)
Magne Haveraaen, Jaakko Järvi
Semantics of multiway dataflow constraint systems. J. Log. Algebraic Methods Program. 121 (2021)
Magne Haveraaen, Markus Roggenbach
Specifying with syntactic theory functors. J. Log. Algebraic Methods Program. 113 (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià
Finite difference methods fengshui: alignment through a mathematics of arrays. ARRAY@PLDI (2019)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Magne Haveraaen
Axiom Based Testing for Fun and Pedagogy. FMFun (2019)
Eva Burrows, Helmer André Friis, Magne Haveraaen
An array API for finite difference methods. ARRAY@PLDI (2018)
Magne Haveraaen
Proving a core code for FDM correct by 2 + dw tests. ARRAY@PLDI (2018)
Magne Haveraaen
Domain Engineering the Magnolia Way. Ershov Informatics Conference (2017)
Tero Hasu, Magne Haveraaen
Errors as Data Values. NIK (2016)
Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson
High-Performance Design Patterns for Modern Fortran. Sci. Program. 2015 (2015)
Jaakko Järvi, Gabriel Foust, Magne Haveraaen
Specializing planners for hierarchical multi-way dataflow constraint systems. GPCE (2014)
Anya Helene Bagge, Magne Haveraaen
Specification of generic APIs, or: why algebraic may be better than pre/post. HILT (2014)
Magne Haveraaen, Karla Morris, Damian W. I. Rouson
High-performance design patterns for modern Fortran. SE-HPCCSE@SC (2013)
Tero Hasu, Anya Helene Bagge, Magne Haveraaen
Inferring Required Permissions for Statically Composed Programs. NordSec (2013)
Eva Burrows, Magne Haveraaen
Programmable data dependencies and placements. DAMP (2012)
Jaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus
Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. WGP@ICFP (2012)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Testing with Axioms in C++ 2011. J. Object Technol. 10 (2011)
Anya Helene Bagge, Magne Haveraaen
Interfacing Concepts: Why Declaration Style Shouldn't Matter. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Anya Helene Bagge, Magne Haveraaen
Axiom-Based Transformations: Optimisation and Testing. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Valentin David, Magne Haveraaen
Concepts as Syntactic Sugar. SCAM (2009)
Anya Helene Bagge, Valentin David, Magne Haveraaen
The axioms strike back: testing with concepts and axioms in C++. GPCE (2009)
Eva Burrows, Magne Haveraaen
A Hardware Independent Parallel Programming Model. J. Log. Algebraic Methods Program. 78 (7) (2009)
Magne Haveraaen, Helmer André Friis
Coordinate-free numerics: all your variation points for free? Int. J. Comput. Sci. Eng. 4 (4) (2009)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Testing with concepts and axioms in C++. OOPSLA Companion (2008)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Axiom-based testing for C++. OOPSLA Companion (2008)
Magne Haveraaen, Karl Trygve Kalleberg
JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA Companion (2008)
Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
Stayin' alert: : moulding failure and exceptions to your needs. GPCE (2006)
Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas
Computable scalar fields: A basis for PDE software. J. Log. Algebraic Methods Program. 65 (1) (2005)
Magne Haveraaen, Jüri Vain
Guest Editors' Foreword. Nord. J. Comput. 10 (4) (2003)
Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. SCAM (2003)
Otto Skrove Bagge, Magne Haveraaen
Domain-Specific Optimisation with User-Defined Rules in CodeBoost. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. Eng. Comput. 18 (4) (2002)
Magne Haveraaen, Michael R. Hansen
Guest Editors' Foreword. Nord. J. Comput. 9 (4) (2002)
Michal Walicki, Magne Haveraaen, Sigurd Meldal
Computation Algebras. Math. Struct. Comput. Sci. 11 (5) (2001)
Magne Haveraaen, Olaf Owe
Guest Editors' Foreword. Nord. J. Comput. 8 (3) (2001)
Krister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas
On the Role of Mathematical Abstractions for Scientific Computing. The Architecture of Scientific Software (2000)
Philip W. Grant, Magne Haveraaen, Michael F. Webster
Coordinate free programming of computational fluid dynamics problems. Sci. Program. 8 (4) (2000)
Magne Haveraaen
Case study on algebraic software methodologies for scientific computing. Sci. Program. 8 (4) (2000)
Magne Haveraaen
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). Euro-Par (2000)
T. B. Dinesh, Magne Haveraaen, Jan Heering
An algebraic programming style for numerical software and its optimization. Sci. Program. 8 (4) (2000)
Magne Haveraaen
Machine and collection abstractions for user-implemented data-parallel programming. Sci. Program. 8 (4) (2000)
T. B. Dinesh, Magne Haveraaen, Jan Heering
An Algebraic Programming Style for Numerical Software and its Optimization CoRR (1999)
Magne Haveraaen, Eric G. Wagner
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT (1999)
Magne Haveraaen, Helmer André Friis, Tor Arne Johansen
Formal Software Engineering for Computational Modelling. Nord. J. Comput. 6 (3) (1999)
Magne Haveraaen
Distributing Programs on Different Parallel Architectures. ICPP (2) (1990)
Magne Haveraaen
The PAL Module Concept. ADT (1988)