Courses:

• INF101 (programming with abstraction and object-orientation)
• INF225 (software language engineering and compilers)
• INF219 (Bachelor-level projects)
• INF319 (Master-level projects)

Awards:

• 2016/17 Teaching Prize at the Faculty of Mathematics and Natural Sciences
• Informatics Lecturer of the Year (Spring 2015)

 

Introduction

• Arne Gerhard Styve; Anniken T. Karlsen; Anya Helene Bagge et al. (2015). Forord til UDIT 2015 | Norsk IKT-konferanse for forskning og utdanning. (external link)

Lecture

• Ralf Lämmel; Anya Helene Bagge; Jaakko Järvi et al. (2014). Education of language engineers (Panel). (external link)
• Anya Helene Bagge (2017). Implementing Languages in Rascal. (external link)
• Anya Helene Bagge (2014). Axiom based testing. (external link)
• Anya Helene Bagge (2008). Hverdagsmat og festmat i gamle Egypt. (external link)
• Anya Helene Bagge (2013). Code Formatting. (external link)
• Anya Helene Bagge (2013). A Practical Example of Language Design and Implementation. (external link)
• Anya Helene Bagge (2017). Building Interpreters and Compilers in Rascal. (external link)
• Anya Helene Bagge (2018). Implementing Compilers and Interpreters with Rascal – A Tutorial. (external link)
• Vadim Zaytsev; Anya Helene Bagge (2014). Modelling Parsing and Unparsing. (external link)
• Anya Helene Bagge (2014). Languages, Models and Megamodels. (external link)

Academic article

• Anya Helene Bagge; Ralf Lämmel; Vadim Zaytsev (2015). Reflections on Courses for Software Language Engineering. (external link)
• Anya Helene Bagge; Magne Haveraaen (2009). Axiom-Based Transformations: Optimisation and Testing. (external link)
• Vadim Zaytsev; Anya Helene Bagge (2020). Oopsle 2020: Open and original problems in software language engineering?. (external link)
• Anya Helene Bagge; Vadim Zaytsev (2014). Languages, models and megamodels a tutorial. (external link)
• Alexander Hoem Rosbach; Anya Helene Bagge (2013). Classifying and Measuring Student Problems and Misconceptions. (external link)
• Anya Helene Bagge; Magne Haveraaen (2010). Interfacing concepts: Why declaration style shouldn't matter. (external link)
• Anya Helene Bagge (2010). Yet another language extension scheme. (external link)
• Anya Helene Bagge; Ralf Lämmel (2013). Walk Your Tree Any Way You Want. (external link)
• Anya Helene Bagge; Tero Hasu (2013). A Pretty Good Formatting Pipeline. (external link)
• Tero Hasu; Anya Helene Bagge; Magne Haveraaen (2013). Inferring Required Permissions for Statically Composed Programs. (external link)
• Anya Helene Bagge; Valentin Francois R David; Magne Haveraaen (2010). The Axioms Strike Back: Testing with Concepts and Axioms in C plus. (external link)
• Vadim Zaytsev; Anya Helene Bagge (2014). Parsing in a Broad Sense. (external link)
• May-Lill Bagge; Anya Helene Bagge; Baste Nesse Buanes et al. (2014). Nerding for Newbies 2014: A Summer School in Computers & Programming. (external link)
• Anya Helene Bagge; Valentin David; Magne Haveraaen (2011). Testing with Axioms in C++ 2011. (external link)
• Anna Maria Eilertsen; Anya Helene Bagge; Volker Stolz (2016). Safer refactorings. (external link)
• Anya Helene Bagge (2016). Managing facts and resources with the Pica IDE infrastructure library. (external link)

Academic book chapter

• Anya Helene Bagge; Valentin David; Magne Haveraaen et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (external link)
• Anya Helene Bagge; Valentin David; Magne Haveraaen (2009). The axioms strike back: Testing with concepts and axioms in C++. (external link)
• Anya Helene Bagge (2010). Language Description for Front End Implementation. (external link)
• Anya Helene Bagge; Karl Trygve Kalleberg (2006). DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. (external link)
• Anya Helene Bagge; Vadim Zaytsev (2013). Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). (external link)
• Anya Helene Bagge; Magne Haveraaen (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. (external link)
• Tetiana Yarygina; Anya Helene Bagge (2018). Overcoming Security Challenges in Microservice Architectures. (external link)
• Anna Maria Eilertsen; Anya Helene Bagge (2017). Exploring API/client Co-evolution. (external link)
• Anya Helene Bagge; Vadim Zaytsev (2014). Workshop on Open and Original Problems in Software Language Engineering. (external link)
• Anya Helene Bagge; Valentin Francois R David; Magne Haveraaen (2008). Axiom-based testing for {C++}. (external link)
• Anya Helene Bagge; Valentin Francois R David; Magne Haveraaen (2008). Testing with concepts and axioms in {C++}. (external link)
• Anya Helene Bagge (2012). Separating Exceptional Concerns. (external link)
• Anya Helene Bagge (2015). Analysis and transformation with the Nuthatch tree-walking library. (external link)

Conference lecture

• Anya Helene Bagge; Karl Trygve Kalleberg (2006). DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages. (external link)
• Anya Helene Bagge (2013). Facts, Resources and the IDE/Compiler Mind-Meld. (external link)
• Anya Helene Bagge (2017). Algool – Object-Orientation with Algebraic Specification. (external link)
• Anya Helene Bagge (2008). The Magnolia Programming Language. (external link)
• Anya Helene Bagge; Kristoffer Haugsbakk; Vadim Zaytsev (2017). Towards Reasonable Ownership. (external link)
• Anna Maria Eilertsen; Anya Helene Bagge; Volker Stolz (2016). Safer Refactorings with Assertions. (external link)

Conference abstract

• Anya Helene Bagge; Vadim Zaytsev (2015). Open and Original Problems in Software Language Engineering 2015 Workshop Report. (external link)

Conference poster

• Anya Helene Bagge; Anna Maria Eilertsen; Vadim Zaytsev (2016). Balance Your Fitness. (external link)
• Anya Helene Bagge (2008). The Magnolia Programming Language. (external link)
• Ragnhild Aalvik; Anya Helene Bagge; Jaakko Timo Henrik Järvi (2018). VisAST – Generic AST Visualizer for Software Language Education. (external link)
• Anna Maria Eilertsen; Anya Helene Bagge (2018). Software != Programs – Software Behaviour as an Emergent Property. (external link)
• Knut Anders Stokke; Anya Helene Bagge; Håkon Heggernes Lerring (2018). Automating Testing of Programming Assignments. (external link)

Music performance

• Ralf Lämmel; Anya Helene Bagge; Piller Sarah et al. (2013). Xmas Lecture: Beautiful Code. (external link)

Research report

• Anya Helene Bagge; Valentin David; Magne Haveraaen (2008). Testing with Concepts and Axioms in C++. (external link)
• Mircea Lungu; Anya Helene Bagge; Haidar Osman (2017). Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. (external link)
• Anya Helene Bagge; Tom Mens; Haidar Osman (2017). Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. (external link)

Doctoral thesis (PhD)

• Anna Maria Eilertsen; Anya Helene Bagge; Gail C. Murphy (2021). Improving the Usability of Refactoring Tools for Software Change Tasks. (external link)
• Tetiana Yarygina; Anya Helene Bagge; Jaakko Timo Henrik Järvi (2018). Exploring Microservice Security. (external link)
• Tero Hasu; Magne Haveraaen; Anya Helene Bagge (2017). Programming Language Technology for Niche Platforms. (external link)
• Anya Helene Bagge; Magne Haveraaen; Eelco Visser (2009). Constructs & Concepts: Language Design for Flexibility and Reliability. (external link)

Academic literature review

• Anya Helene Bagge; Vadim Zaytsev (2015). Languages, Models and Megamodels: A Tutorial. (external link)

Editorial/Leader article

• Haidar Osman; Davide Di Ruscio; Vadim Zaytsev et al. (2015). SATToSE 2015: The post-proceedings editorial. (external link)

See a complete overview of publications in NVA.