Anya Helene Bagge

Associate Professor

Department of Informatics

Home Page

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

Teaching
Publications

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

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.
Show author(s)

Report

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. .
Show author(s)

Lecture

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.
Show author(s)

Popular scientific lecture

2008. Hverdagsmat og festmat i gamle Egypt.
Show author(s)

Academic lecture

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.
Show author(s)

Software

2013. PGF v0.1 – The Pretty Good Formatter.
Show author(s)
2013. Nuthatch/J v0.99 – A software transformation library based on tree walking.
Show author(s)

Doctoral dissertation

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.
Show author(s)

Academic chapter/article/Conference paper

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.
Show author(s)

Abstract

2015. Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 32-37.
Show author(s)

Poster

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)