Magne Haveraaen

According to our database, Magne Haveraaen authored at least 49 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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 About Timeliness.

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

2022

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

2021

Semantics of multiway dataflow constraint systems.

Magne Haveraaen, Jaakko Järvi

J. Log. Algebraic Methods Program., 2021

Padding in the mathematics of arrays.

Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020

Specifying with syntactic theory functors.

Magne Haveraaen, Markus Roggenbach

J. Log. Algebraic Methods Program., 2020

2019

Finite difference methods fengshui: alignment through a mathematics of arrays.

Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Axiom Based Testing for Fun and Pedagogy.

Magne Haveraaen

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

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, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2018

Proving a core code for FDM correct by 2 + dw tests.

Magne Haveraaen

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

An array API for finite difference methods.

Eva Burrows, Helmer André Friis, Magne Haveraaen

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

2017

Domain Engineering the Magnolia Way.

Magne Haveraaen

Proceedings of the Perspectives of System Informatics, 2017

2016

Errors as Data Values.

Tero Hasu, Magne Haveraaen

Proceedings of the 29th Norsk Informatikkonferanse, 2016

2015

High-Performance Design Patterns for Modern Fortran.

Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson

Sci. Program., 2015

2014

Specification of generic APIs, or: why algebraic may be better than pre/post.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Specializing planners for hierarchical multi-way dataflow constraint systems.

Jaakko Järvi, Gabriel Foust, Magne Haveraaen

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

High-performance design patterns for modern Fortran.

Magne Haveraaen, Karla Morris, Damian W. I. Rouson

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

Inferring Required Permissions for Statically Composed Programs.

Tero Hasu, Anya Helene Bagge, Magne Haveraaen

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012

Programmable data dependencies and placements.

Eva Burrows, Magne Haveraaen

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

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

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

Testing with Axioms in C++ 2011.

Anya Helene Bagge, Valentin David, Magne Haveraaen

J. Object Technol., 2011

2009

A Hardware Independent Parallel Programming Model.

Eva Burrows, Magne Haveraaen

J. Log. Algebraic Methods Program., 2009

Coordinate-free numerics: all your variation points for free?

Magne Haveraaen, Helmer André Friis

Int. J. Comput. Sci. Eng., 2009

Interfacing Concepts: Why Declaration Style Shouldn't Matter.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Concepts as Syntactic Sugar.

Valentin David, Magne Haveraaen

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

The axioms strike back: testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Axiom-Based Transformations: Optimisation and Testing.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

JAxT and JDI: the simplicity of junit applied to axioms and data invariants.

Magne Haveraaen, Karl Trygve Kalleberg

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Axiom-based testing for C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2006

Stayin' alert: : moulding failure and exceptions to your needs.

Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Computable scalar fields: A basis for PDE software.

Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas

J. Log. Algebraic Methods Program., 2005

2003

Guest Editors' Foreword.

Magne Haveraaen, Jüri Vain

Nord. J. Comput., 2003

Domain-Specific Optimisation with User-Defined Rules in CodeBoost.

Otto Skrove Bagge, Magne Haveraaen

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser

Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

2002

Guest Editors' Foreword.

Magne Haveraaen, Michael R. Hansen

Nord. J. Comput., 2002

On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs.

Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander

Eng. Comput., 2002

2001

Guest Editors' Foreword.

Magne Haveraaen, Olaf Owe

Nord. J. Comput., 2001

Computation Algebras.

Michal Walicki, Magne Haveraaen, Sigurd Meldal

Math. Struct. Comput. Sci., 2001

2000

Case study on algebraic software methodologies for scientific computing.

Magne Haveraaen

Sci. Program., 2000

Machine and collection abstractions for user-implemented data-parallel programming.

Magne Haveraaen

Sci. Program., 2000

Coordinate free programming of computational fluid dynamics problems.

Philip W. Grant, Magne Haveraaen, Michael F. Webster

Sci. Program., 2000

An algebraic programming style for numerical software and its optimization.

T. B. Dinesh, Magne Haveraaen, Jan Heering

Sci. Program., 2000

On the Role of Mathematical Abstractions for Scientific Computing.

Krister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas

Proceedings of the Architecture of Scientific Software, 2000

Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note).

Magne Haveraaen

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Formal Software Engineering for Computational Modelling.

Magne Haveraaen, Helmer André Friis, Tor Arne Johansen

Nord. J. Comput., 1999

Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There.

Magne Haveraaen, Eric G. Wagner

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1990

Distributing Programs on Different Parallel Architectures.

Magne Haveraaen

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1988

The PAL Module Concept.

Magne Haveraaen

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988