publications:
- title: "Guest Editors  Foreword"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Olaf Owe"
    link: "https://researchr.org/alias/olaf-owe"
  year: "2001"
  researchr: "https://researchr.org/publication/HaveraaenO01"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "8"
  number: "3"
  pages: "277-278"
  kind: "article"
  key: "HaveraaenO01"
- title: "On the Role of Mathematical Abstractions for Scientific Computing"
  author:
  - name: "Krister Åhlander"
    link: "https://researchr.org/alias/krister-%C3%A5hlander"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Hans Z. Munthe-Kaas"
    link: "https://researchr.org/alias/hans-z.-munthe-kaas"
  year: "2000"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/AhlanderHM00"
  cites: 0
  citedby: 0
  pages: "145-158"
  booktitle: "ifip2-5"
  kind: "inproceedings"
  key: "AhlanderHM00"
- title: "Case study on algebraic software methodologies for scientific computing"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2000"
  tags:
  - "case study"
  - " algebra"
  researchr: "https://researchr.org/publication/Haveraaen00a"
  cites: 0
  citedby: 0
  journal: "sp"
  volume: "8"
  number: "4"
  pages: "261-273"
  kind: "article"
  key: "Haveraaen00a"
- title: "Testing with concepts and axioms in C++"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449855"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449855"
  tags:
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/BaggeDH08a"
  cites: 0
  citedby: 0
  pages: "773-774"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BaggeDH08a"
- title: "An algebraic programming style for numerical software and its optimization"
  author:
  - name: "T. B. Dinesh"
    link: "https://researchr.org/alias/t.-b.-dinesh"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "2000"
  tags:
  - "optimization"
  - " algebra"
  - "programming"
  - "program optimization"
  researchr: "https://researchr.org/publication/DineshHH00"
  cites: 0
  citedby: 0
  journal: "sp"
  volume: "8"
  number: "4"
  pages: "247-259"
  kind: "article"
  key: "DineshHH00"
- title: "Computable scalar fields: A basis for PDE software"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Helmer André Friis"
    link: "https://researchr.org/alias/helmer-andr%C3%A9-friis"
  - name: "Hans Z. Munthe-Kaas"
    link: "https://researchr.org/alias/hans-z.-munthe-kaas"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.12.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2004.12.001"
  researchr: "https://researchr.org/publication/HaveraaenFM05"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "65"
  number: "1"
  pages: "36-49"
  kind: "article"
  key: "HaveraaenFM05"
- title: "An Algebraic Programming Style for Numerical Software and its Optimization"
  author:
  - name: "T. B. Dinesh"
    link: "https://researchr.org/alias/t.-b.-dinesh"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "1999"
  doi: "http://arxiv.org/abs/cs.SE/9903002"
  links:
    doi: "http://arxiv.org/abs/cs.SE/9903002"
  tags:
  - "optimization"
  - " algebra"
  - "programming"
  - "program optimization"
  researchr: "https://researchr.org/publication/cs-SE-9903002"
  cites: 0
  citedby: 1
  journal: "corr"
  volume: "cs.SE/9903002"
  kind: "article"
  key: "cs-SE-9903002"
- title: "Guarded Algebras: Disguising Partiality so You Won t Know Whether It s There"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Eric G. Wagner"
    link: "https://researchr.org/alias/eric-g.-wagner"
  year: "1999"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/HaveraaenW99"
  cites: 0
  citedby: 0
  pages: "182-200"
  booktitle: "WADT"
  kind: "inproceedings"
  key: "HaveraaenW99"
- title: "Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2003"
  doi: "https://doi.org/10.1109/SCAM.2003.1238032"
  abstract: "The use of a high-level, abstract coding style can greatly increase developer productivity. For numerical software, this can result in drastically reduced run-time performance. High-level, domain-specific optimisations can eliminate much of the overhead caused by an abstract coding style, but current compilers have poor support for domain-specific optimisation. In this paper we present CodeBoost, a source-to-source transformation tool for domain-specific optimisation of C++ programs. CodeBoost performs parsing, semantic analysis and pretty-printing, and transformations can be implemented either in the Stratego program transformation language, or as user-defined rewrite rules embedded within the C++ program. CodeBoost has been used with great success to optimise numerical applications written in the Sophus high-level coding style. We discuss the overall design of the CodeBoost transformation framework, and take a closer look at two important features of CodeBoost: user-defined rules and totem annotations. We also show briefly how CodeBoost is used to optimise Sophus code, resulting in applications that run twice as fast, or more."
  links:
    doi: "https://doi.org/10.1109/SCAM.2003.1238032"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "rule-based"
  - "program analysis"
  - "application framework"
  - "graph transformation"
  - "CodeBoost"
  - "embedded software"
  - "Stratego/XT"
  - "transformation language"
  - "points-to analysis"
  - "domain analysis"
  - "analysis"
  - "language design"
  - "source-to-source"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "transformation system"
  - "compiler"
  - "model transformation"
  - "rewriting"
  - "parsing"
  - "design"
  - "open-source"
  - "transformation"
  - "Stratego"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BaggeKHV03"
  cites: 0
  citedby: 0
  pages: "65"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "BaggeKHV03"
- title: "The PAL Module Concept"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "1988"
  researchr: "https://researchr.org/publication/Haveraaen88"
  cites: 0
  citedby: 0
  booktitle: "WADT"
  kind: "inproceedings"
  key: "Haveraaen88"
- title: "Axiom-based testing for C++"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449829"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449829"
  tags:
  - "rule-based"
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/BaggeDH08"
  cites: 0
  citedby: 0
  pages: "721-722"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BaggeDH08"
- title: "Formal Software Engineering for Computational Modelling"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Helmer André Friis"
    link: "https://researchr.org/alias/helmer-andr%C3%A9-friis"
  - name: "Tor Arne Johansen"
    link: "https://researchr.org/alias/tor-arne-johansen"
  year: "1999"
  tags:
  - "meta-model"
  - "software engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HaveraaenFJ99"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "6"
  number: "3"
  pages: "241-270"
  kind: "article"
  key: "HaveraaenFJ99"
- title: "Computation Algebras"
  author:
  - name: "Michal Walicki"
    link: "https://researchr.org/alias/michal-walicki"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Sigurd Meldal"
    link: "https://researchr.org/alias/sigurd-meldal"
  year: "2001"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/WalickiHM01"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "11"
  number: "5"
  pages: "597-636"
  kind: "article"
  key: "WalickiHM01"
- title: "Guest Editors  Foreword"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Michael R. Hansen"
    link: "https://researchr.org/alias/michael-r.-hansen"
  year: "2002"
  researchr: "https://researchr.org/publication/HaveraaenH02"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "9"
  number: "4"
  pages: "267-268"
  kind: "article"
  key: "HaveraaenH02"
- title: "Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note)"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1900/19000758.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1900/19000758.htm"
  researchr: "https://researchr.org/publication/Haveraaen00"
  cites: 0
  citedby: 0
  pages: "758-761"
  booktitle: "europar"
  kind: "inproceedings"
  key: "Haveraaen00"
- title: "Coordinate free programming of computational fluid dynamics problems"
  author:
  - name: "Philip W. Grant"
    link: "https://researchr.org/alias/philip-w.-grant"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Michael F. Webster"
    link: "https://researchr.org/alias/michael-f.-webster"
  year: "2000"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/GrantHW00"
  cites: 0
  citedby: 0
  journal: "sp"
  volume: "8"
  number: "4"
  pages: "211-230"
  kind: "article"
  key: "GrantHW00"
- title: "On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Hans Z. Munthe-Kaas"
    link: "https://researchr.org/alias/hans-z.-munthe-kaas"
  - name: "Krister Åhlander"
    link: "https://researchr.org/alias/krister-%C3%A5hlander"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0177-0667&volume=18&issue=4&spage=286"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0177-0667&volume=18&issue=4&spage=286"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HaveraaenMA02"
  cites: 0
  citedby: 0
  journal: "ewc"
  volume: "18"
  number: "4"
  pages: "286-294"
  kind: "article"
  key: "HaveraaenMA02"
- title: "A Hardware Independent Parallel Programming Model"
  author:
  - name: "Eva Burrows"
    link: "http://www.ii.uib.no/~eva/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jlap.2009.06.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2009.06.002"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/BurrowsH09"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "78"
  number: "7"
  pages: "519-538"
  kind: "article"
  key: "BurrowsH09"
- title: "Machine and collection abstractions for user-implemented data-parallel programming"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2000"
  tags:
  - "parallel programming"
  - "data-flow programming"
  - "data-flow"
  - "programming"
  - "abstraction"
  researchr: "https://researchr.org/publication/Haveraaen00%3A0"
  cites: 0
  citedby: 0
  journal: "sp"
  volume: "8"
  number: "4"
  pages: "231-246"
  kind: "article"
  key: "Haveraaen00:0"
- title: "Domain-Specific Optimisation with User-Defined Rules in CodeBoost"
  author:
  - name: "Otto Skrove Bagge"
    link: "https://researchr.org/alias/otto-skrove-bagge"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#008"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/BaggeH03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "2"
  pages: "119-133"
  kind: "article"
  key: "BaggeH03"
- title: "Stayin  alert: moulding failure and exceptions to your needs"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173747"
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173747"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/BaggeDHK06"
  cites: 0
  citedby: 0
  pages: "265-274"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "BaggeDHK06"
- title: "JAxT and JDI: the simplicity of junit applied to axioms and data invariants"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449834"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449834"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/HaveraaenK08"
  cites: 0
  citedby: 0
  pages: "731-732"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "HaveraaenK08"
- title: "Distributing Programs on Different Parallel Architectures"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "1990"
  tags:
  - "architecture"
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/Haveraaen90"
  cites: 0
  citedby: 0
  pages: "288-289"
  booktitle: "icpp"
  kind: "inproceedings"
  key: "Haveraaen90"
- title: "Guest Editors  Foreword"
  author:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Jüri Vain"
    link: "https://researchr.org/alias/j%C3%BCri-vain"
  year: "2003"
  researchr: "https://researchr.org/publication/HaveraaenV03"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "10"
  number: "4"
  pages: "263-264"
  kind: "article"
  key: "HaveraaenV03"
- title: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings"
  year: "2007"
  tags:
  - "e-science"
  - " algebra"
  researchr: "https://researchr.org/publication/calco%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings"
  conference: "calco"
  editor:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  volume: "4624"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73857-2"
  kind: "proceedings"
  key: "calco:2007"
- title: "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers"
  year: "1996"
  researchr: "https://researchr.org/publication/compass%3A1995"
  cites: 0
  citedby: 0
  booktitle: "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers"
  conference: "compass"
  editor:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Olaf Owe"
    link: "https://researchr.org/alias/olaf-owe"
  - name: "Ole-Johan Dahl"
    link: "https://researchr.org/alias/ole-johan-dahl"
  volume: "1130"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61629-2"
  kind: "proceedings"
  key: "compass:1995"