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øhlens gate 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
  • Show author(s) (2016). Safer refactorings. Lecture Notes in Computer Science (LNCS). 517-531.
  • Show author(s) (2016). Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming. 100-111.
  • Show author(s) (2015). Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 54-63.
  • Show author(s) (2014). Parsing in a Broad Sense. Lecture Notes in Computer Science (LNCS). 50-67.
  • Show author(s) (2014). Nerding for Newbies 2014: A Summer School in Computers & Programming. NIKT: Norsk IKT-konferanse for forskning og utdanning. 12 pages.
  • Show author(s) (2014). Languages, models and megamodels a tutorial. CEUR Workshop Proceedings. 132-143.
  • Show author(s) (2013). Walk Your Tree Any Way You Want. Lecture Notes in Computer Science (LNCS). 33-49.
  • Show author(s) (2013). Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science (LNCS). 51-55.
  • Show author(s) (2013). Classifying and Measuring Student Problems and Misconceptions. NIKT: Norsk IKT-konferanse for forskning og utdanning. 110-121.
  • Show author(s) (2013). A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science (LNCS). 177-196.
  • Show author(s) (2011). Testing with Axioms in C++ 2011. Journal of Object Technology. 1-32.
  • Show author(s) (2010). Yet another language extension scheme. Lecture Notes in Computer Science (LNCS). 123-132.
  • Show author(s) (2010). The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 15-24.
  • Show author(s) (2010). Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 37-50.
  • Show author(s) (2009). Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 17-33.
Report
  • Show author(s) (2017). Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. 1791. 1791. .
  • Show author(s) (2017). Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. 1820. 1820. .
  • Show author(s) (2008). Testing with Concepts and Axioms in C++. 368. 368. .
Lecture
  • Show author(s) (2018). Implementing Compilers and Interpreters with Rascal – A Tutorial.
  • Show author(s) (2017). Implementing Languages in Rascal.
  • Show author(s) (2017). Building Interpreters and Compilers in Rascal.
  • Show author(s) (2014). Modelling Parsing and Unparsing.
  • Show author(s) (2014). Languages, Models and Megamodels.
  • Show author(s) (2014). Education of language engineers (Panel).
  • Show author(s) (2014). Axiom based testing.
  • Show author(s) (2013). Code Formatting.
  • Show author(s) (2013). A Practical Example of Language Design and Implementation.
Popular scientific lecture
  • Show author(s) (2008). Hverdagsmat og festmat i gamle Egypt.
Academic lecture
  • Show author(s) (2017). Towards Reasonable Ownership.
  • Show author(s) (2017). Algool – Object-Orientation with Algebraic Specification.
  • Show author(s) (2016). Safer Refactorings with Assertions.
  • Show author(s) (2013). Facts, Resources and the IDE/Compiler Mind-Meld.
  • Show author(s) (2008). The Magnolia Programming Language.
  • Show author(s) (2006). DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages.
Software
  • Show author(s) (2013). PGF v0.1 – The Pretty Good Formatter.
  • Show author(s) (2013). Nuthatch/J v0.99 – A software transformation library based on tree walking.
Doctoral dissertation
  • Show author(s) (2018). Exploring Microservice Security.
  • Show author(s) (2017). Programming Language Technology for Niche Platforms.
  • Show author(s) (2009). Constructs & Concepts: Language Design for Flexibility and Reliability.
Academic chapter/article/Conference paper
  • Show author(s) (2018). Overcoming Security Challenges in Microservice Architectures. 10 pages.
  • Show author(s) (2017). Exploring API/client Co-evolution. 4 pages.
  • Show author(s) (2015). Analysis and transformation with the Nuthatch tree-walking library. 6 pages.
  • Show author(s) (2014). Workshop on Open and Original Problems in Software Language Engineering. 1 pages.
  • Show author(s) (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. 10 pages.
  • Show author(s) (2013). Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 2 pages.
  • Show author(s) (2012). Separating Exceptional Concerns. 3 pages.
  • Show author(s) (2010). Language Description for Front End Implementation. 8 pages.
  • Show author(s) (2009). The axioms strike back: Testing with concepts and axioms in C++. 10 pages.
  • Show author(s) (2008). Testing with concepts and axioms in {C++}. 2 pages.
  • Show author(s) (2008). Axiom-based testing for {C++}. 2 pages.
  • Show author(s) (2006). Stayin' alert:: moulding failure and exceptions to your needs. 10 pages.
  • Show author(s) (2006). DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 7 pages.
Abstract
  • Show author(s) (2015). Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 32-37.
Poster
  • Show author(s) (2018). VisAST – Generic AST Visualizer for Software Language Education.
  • Show author(s) (2018). Software != Programs – Software Behaviour as an Emergent Property.
  • Show author(s) (2018). Automating Testing of Programming Assignments.
  • Show author(s) (2016). Balance Your Fitness.
  • Show author(s) (2008). The Magnolia Programming Language.
Musical performance
  • Show author(s) (2013). Xmas Lecture: Beautiful Code.
Academic literature review
  • Show author(s) (2015). Languages, Models and Megamodels: A Tutorial . CEUR Workshop Proceedings. 132-143.

More information in national current research information system (CRIStin)

Twitter