Home
Anya Helene Bagge's picture

Anya Helene Bagge

Associate Professor
  • E-mailAnya.Bagge@uib.no
  • Phone+47 55 58 42 90+47 482 71 775
  • Visitor Address
    HIB - Thormøhlensgt. 55
    Room 
    406P2
  • Postal Address
    Postboks 7803
    5020 Bergen

Courses:

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

Awards:

 

Academic article
  • Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker. 2016. Safer refactorings. Lecture Notes in Computer Science (LNCS). 517-531.
  • Bagge, Anya Helene. 2016. Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming. 100-111.
  • Bagge, Anya Helene; Lämmel, Ralf; Zaytsev, Vadim. 2015. Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 54-63.
  • Zaytsev, Vadim; Bagge, Anya Helene. 2014. Parsing in a Broad Sense. Lecture Notes in Computer Science (LNCS). 50-67.
  • Bagge, May-Lill; Bagge, Anya Helene; Buanes, Baste Nesse; Eilertsen, Anna Maria; Herland, Alf Kristoffer; Ivanova, Sofija. 2014. Nerding for Newbies 2014: A Summer School in Computers & Programming. NIK: Norsk Informatikkonferanse. 12 pages.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2014. Languages, models and megamodels a tutorial. CEUR Workshop Proceedings. 132-143.
  • Bagge, Anya Helene; Lämmel, Ralf. 2013. Walk Your Tree Any Way You Want. Lecture Notes in Computer Science (LNCS). 33-49.
  • Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne. 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science (LNCS). 51-55.
  • Rosbach, Alexander Hoem; Bagge, Anya Helene. 2013. Classifying and Measuring Student Problems and Misconceptions. NIK: Norsk Informatikkonferanse. 110-121.
  • Bagge, Anya Helene; Hasu, Tero. 2013. A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science (LNCS). 177-196.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 1-32.
  • Bagge, Anya Helene. 2010. Yet another language extension scheme. Lecture Notes in Computer Science (LNCS). 123-132.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 15-24.
  • Bagge, Anya Helene; Haveraaen, Magne. 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 37-50.
  • Bagge, Anya Helene; Haveraaen, Magne. 2009. Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 17-33.
Report
  • Lungu, Mircea; Bagge, Anya Helene; Osman, Haidar. 2017. Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. 1791. 1791. .
  • Bagge, Anya Helene; Mens, Tom; Osman, Haidar. 2017. Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. 1820. 1820. .
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2008. Testing with Concepts and Axioms in C++. 368. 368. .
Lecture
  • Bagge, Anya Helene. 2018. Implementing Compilers and Interpreters with Rascal – A Tutorial.
  • Bagge, Anya Helene. 2017. Implementing Languages in Rascal.
  • Bagge, Anya Helene. 2017. Building Interpreters and Compilers in Rascal.
  • Zaytsev, Vadim; Bagge, Anya Helene. 2014. Modelling Parsing and Unparsing.
  • Bagge, Anya Helene. 2014. Languages, Models and Megamodels.
  • Lämmel, Ralf; Bagge, Anya Helene; Järvi, Jaakko; Schultz, Ulrik Pagh; Sloane, Anthony; Tisi, Massimo; Van Wyk, Eric. 2014. Education of language engineers (Panel).
  • Bagge, Anya Helene. 2014. Axiom based testing.
  • Bagge, Anya Helene. 2013. Code Formatting.
  • Bagge, Anya Helene. 2013. A Practical Example of Language Design and Implementation.
Popular scientific lecture
  • Bagge, Anya Helene. 2008. Hverdagsmat og festmat i gamle Egypt.
Academic lecture
  • Bagge, Anya Helene; Haugsbakk, Kristoffer; Zaytsev, Vadim. 2017. Towards Reasonable Ownership.
  • Bagge, Anya Helene. 2017. Algool – Object-Orientation with Algebraic Specification.
  • Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker. 2016. Safer Refactorings with Assertions.
  • Bagge, Anya Helene. 2013. Facts, Resources and the IDE/Compiler Mind-Meld.
  • Bagge, Anya Helene. 2008. The Magnolia Programming Language.
  • Bagge, Anya Helene; Kalleberg, Karl Trygve. 2006. DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages.
Software
  • Bagge, Anya Helene; Hasu, Tero. 2013. PGF v0.1 – The Pretty Good Formatter.
  • Bagge, Anya Helene. 2013. Nuthatch/J v0.99 – A software transformation library based on tree walking.
Doctoral dissertation
  • Yarygina, Tetiana. 2018. Exploring Microservice Security.
  • Hasu, Tero. 2017. Programming Language Technology for Niche Platforms.
  • Bagge, Anya Helene. 2009. Constructs & Concepts: Language Design for Flexibility and Reliability.
Academic chapter/article/Conference paper
  • Yarygina, Tetiana; Bagge, Anya Helene. 2018. Overcoming Security Challenges in Microservice Architectures. 10 pages.
  • Eilertsen, Anna Maria; Bagge, Anya Helene. 2017. Exploring API/client Co-evolution. 4 pages.
  • Bagge, Anya Helene. 2015. Analysis and transformation with the Nuthatch tree-walking library. 6 pages.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2014. Workshop on Open and Original Problems in Software Language Engineering. 1 pages.
  • Bagge, Anya Helene; Haveraaen, Magne. 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. 10 pages.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2013. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 2 pages.
  • Bagge, Anya Helene. 2012. Separating Exceptional Concerns. 3 pages.
  • Bagge, Anya Helene. 2010. Language Description for Front End Implementation. 8 pages.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2009. The axioms strike back: Testing with concepts and axioms in C++. 10 pages.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Testing with concepts and axioms in {C++}. 2 pages.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Axiom-based testing for {C++}. 2 pages.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne; Kalleberg, Karl Trygve. 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10 pages.
  • Bagge, Anya Helene; Kalleberg, Karl Trygve. 2006. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 7 pages.
Abstract
  • Bagge, Anya Helene; Zaytsev, Vadim. 2015. Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 32-37.
Poster
  • Aalvik, Ragnhild; Bagge, Anya Helene; Järvi, Jaakko Timo Henrik. 2018. VisAST – Generic AST Visualizer for Software Language Education.
  • Eilertsen, Anna Maria; Bagge, Anya Helene. 2018. Software != Programs – Software Behaviour as an Emergent Property.
  • Stokke, Knut Anders; Bagge, Anya Helene; Lerring, Håkon Heggernes. 2018. Automating Testing of Programming Assignments.
  • Bagge, Anya Helene; Eilertsen, Anna Maria; Zaytsev, Vadim. 2016. Balance Your Fitness.
  • Bagge, Anya Helene. 2008. The Magnolia Programming Language.
Musical performance
  • Lämmel, Ralf; Bagge, Anya Helene; Sarah, Piller; Peter, Babnik. 2013. Xmas Lecture: Beautiful Code.
Academic literature review
  • Bagge, Anya Helene; Zaytsev, Vadim. 2015. Languages, Models and Megamodels: A Tutorial . 132-143.

More information in national current research information system (CRIStin)

Twitter