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