publications:
- title: "Language description for front end implementation"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868281.1868290"
  links:
    doi: "http://doi.acm.org/10.1145/1868281.1868290"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/Bagge10"
  researchr: "https://researchr.org/publication/Bagge10"
  cites: 0
  citedby: 0
  pages: "9"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "Bagge10"
- 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: "Inferring Required Permissions for Statically Composed Programs"
  author:
  - name: "Tero Hasu"
    link: "https://researchr.org/alias/tero-hasu"
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Magne Haveraaen"
    link: "https://researchr.org/alias/magne-haveraaen"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-41488-6_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-41488-6_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nordsec/HasuBH13"
  researchr: "https://researchr.org/publication/HasuBH13"
  cites: 0
  citedby: 0
  pages: "51-66"
  booktitle: "nordsec"
  kind: "inproceedings"
  key: "HasuBH13"
- 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: "Testing with Axioms in C++ 2011"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "https://researchr.org/alias/valentin-david"
  - name: "Magne Haveraaen"
    link: "https://researchr.org/alias/magne-haveraaen"
  year: "2011"
  doi: "http://dx.doi.org/10.5381/jot.2011.10.1.a10"
  links:
    doi: "http://dx.doi.org/10.5381/jot.2011.10.1.a10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jot/BaggeDH11"
  researchr: "https://researchr.org/publication/BaggeDH11"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "10"
  kind: "article"
  key: "BaggeDH11"
- 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: "A Pretty Good Formatting Pipeline"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Tero Hasu"
    link: "https://researchr.org/alias/tero-hasu"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/BaggeH13"
  researchr: "https://researchr.org/publication/BaggeH13"
  cites: 0
  citedby: 0
  pages: "177-196"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "BaggeH13"
- title: "Constructs & Concepts: Language Design for Flexibility and Reliability"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  year: "2009"
  month: "November"
  tags:
  - "language design"
  - "reliability"
  - "design"
  researchr: "https://researchr.org/publication/Bagge09phd"
  cites: 0
  citedby: 0
  school: "Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway"
  address: "PB 7803, 5020 Bergen, Norway"
  advisor:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  kind: "phdthesis"
  key: "Bagge09phd"
- title: "Workshop on open and original problems in software language engineering"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Vadim Zaytsev"
    link: "http://grammarware.net"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671334"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671334"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/BaggeZ13"
  researchr: "https://researchr.org/publication/BaggeZ13"
  cites: 0
  citedby: 0
  pages: "493-494"
  booktitle: "WCRE"
  kind: "inproceedings"
  key: "BaggeZ13"
- title: "Interfacing Concepts: Why Declaration Style Shouldn t Matter"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Magne Haveraaen"
    link: "https://researchr.org/alias/magne-haveraaen"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.030"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/BaggeH10"
  researchr: "https://researchr.org/publication/BaggeH10"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "253"
  number: "7"
  pages: "37-50"
  kind: "article"
  key: "BaggeH10"
- title: "Walk Your Tree Any Way You Want"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38883-5_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38883-5_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/BaggeL13"
  researchr: "https://researchr.org/publication/BaggeL13"
  cites: 0
  citedby: 0
  pages: "33-49"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "BaggeL13"
- title: "Yet Another Language Extension Scheme"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_9"
  researchr: "https://researchr.org/publication/Bagge09"
  cites: 0
  citedby: 0
  pages: "123-132"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "Bagge09"
- title: "Axiom-Based Transformations: Optimisation and Testing"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Magne Haveraaen"
    link: "https://researchr.org/alias/magne-haveraaen"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.038"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.038"
  tags:
  - "rule-based"
  - "testing"
  - "transformation"
  researchr: "https://researchr.org/publication/BaggeH09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "5"
  pages: "17-33"
  kind: "article"
  key: "BaggeH09"
- title: "Parsing in a Broad Sense"
  author:
  - name: "Vadim Zaytsev"
    link: "http://grammarware.net"
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-11653-2_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-11653-2_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/ZaytsevB14"
  researchr: "https://researchr.org/publication/ZaytsevB14"
  cites: 0
  citedby: 0
  pages: "50-67"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "ZaytsevB14"
- title: "International workshop on open and original problems in software language engineering"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Vadim Zaytsev"
    link: "http://grammarware.net"
  year: "2014"
  doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747223"
  links:
    doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747223"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/BaggeZ14"
  researchr: "https://researchr.org/publication/BaggeZ14"
  cites: 0
  citedby: 0
  pages: "478"
  booktitle: "CSMR"
  kind: "inproceedings"
  key: "BaggeZ14"
- title: "Home Page"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  researchr: "https://researchr.org/publication/homepages-31-3092"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "homepages-31-3092"
- 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 axioms strike back: testing with concepts and axioms in C++"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "https://researchr.org/alias/valentin-david"
  - name: "Magne Haveraaen"
    link: "https://researchr.org/alias/magne-haveraaen"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1621607.1621612"
  links:
    doi: "http://doi.acm.org/10.1145/1621607.1621612"
  tags:
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/BaggeDH09"
  cites: 0
  citedby: 0
  pages: "15-24"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "BaggeDH09"