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: "Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS"
  editor:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Pierre-Etienne Moreau"
    link: "https://researchr.org/alias/pierre-etienne-moreau"
  publisher: "ACM"
  isbn: "978-1-4503-0063-6"
  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: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  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: "Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings"
  editor:
  - name: "Hanne Riis Nielson"
    link: "https://researchr.org/alias/hanne-riis-nielson"
  - name: "Dieter Gollmann"
    link: "https://researchr.org/alias/dieter-gollmann"
  volume: "8208"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-41487-9"
  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: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  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: "Journal of Object Technology"
  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: "Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings"
  editor:
  - name: "Stan Jarzabek"
    link: "https://researchr.org/alias/stan-jarzabek"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  publisher: "ACM"
  isbn: "1-59593-237-2"
  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: "Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings"
  editor:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  volume: "8225"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-02653-4"
  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: "20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013"
  editor:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Rocco Oliveto"
    link: "https://researchr.org/alias/rocco-oliveto"
  - name: "Romain Robbes"
    link: "https://researchr.org/alias/romain-robbes"
  publisher: "IEEE"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings"
  editor:
  - name: "Keith Duddy"
    link: "https://researchr.org/alias/keith-duddy"
  - name: "Gerti Kappel"
    link: "https://researchr.org/alias/gerti-kappel"
  volume: "7909"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-38882-8"
  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: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers"
  editor:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Dragan Gasevic"
    link: "http://www.sfu.ca/~dgasevic/"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  volume: "5969"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12106-7"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings"
  editor:
  - name: "Jürgen Dingel"
    link: "https://researchr.org/alias/j%C3%BCrgen-dingel"
  - name: "Wolfram Schulte"
    link: "https://researchr.org/alias/wolfram-schulte"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  - name: "Silvia Abrahão"
    link: "https://researchr.org/alias/silvia-abrah%C3%A3o"
  - name: "Emilio Insfrán"
    link: "https://researchr.org/alias/emilio-insfr%C3%A1n"
  volume: "8767"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-11652-5"
  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: "2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014"
  editor:
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  - name: "Dave Binkley"
    link: "https://researchr.org/alias/dave-binkley"
  - name: "Filippo Ricca"
    link: "https://researchr.org/alias/filippo-ricca"
  publisher: "IEEE"
  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: "3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2005-7"
  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: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  editor:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-60558-494-2"
  kind: "inproceedings"
  key: "BaggeDH09"