Home
University of Bergen
Anya Helene Bagge's picture

Anya Helene Bagge

Associate Professor
Department of Informatics
Home Page
github
  • 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:

 

Journal articles
  • Bagge, Anya Helene. 2016. Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming. 134: 100-111. doi: 10.1016/j.scico.2016.09.004
  • Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker. 2016. Safer refactorings. Lecture Notes in Computer Science. 9952 LNCS: 517-531. doi: 10.1007/978-3-319-47166-2_36
  • Bagge, Anya Helene; Lämmel, Ralf; Zaytsev, Vadim. 2015. Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 1346: 54-63.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2015. Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 40: 32-37. doi: 10.1145/2757308.2757313
  • Bagge, Anya Helene; Zaytsev, Vadim. 2015. Languages, Models and Megamodels: A Tutorial. CEUR Workshop Proceedings. 1354: 132-143.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2014. Languages, models and megamodels a tutorial. CEUR Workshop Proceedings. 1354: 132-143.
  • 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. 27. 12 pages.
  • Zaytsev, Vadim; Bagge, Anya Helene. 2014. Parsing in a Broad Sense. Lecture Notes in Computer Science. 8767: 50-67. doi: 10.1007/978-3-319-11653-2_4
  • Bagge, Anya Helene; Hasu, Tero. 2013. A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science. 8225: 177-196. doi: 10.1007/978-3-319-02654-1_10
  • Bagge, Anya Helene; Lämmel, Ralf. 2013. Walk Your Tree Any Way You Want. Lecture Notes in Computer Science. 7909: 33-49. doi: 10.1007/978-3-642-38883-5_3
  • Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne. 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science. 8208: 51-55. doi: 10.1007/978-3-642-41488-6_4
  • Rosbach, Alexander Hoem; Bagge, Anya Helene. 2013. Classifying and Measuring Student Problems and Misconceptions. NIK: Norsk Informatikkonferanse. 110-121.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 10: 1-32. doi: 10.5381/jot.2011.10.1.a10
  • Bagge, Anya Helene. 2010. Yet another language extension scheme. Lecture Notes in Computer Science. 5969: 123-132. doi: 10.1007/978-3-642-12107-4_9
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 45: 15-24. doi: 10.1145/1837852.1621612
  • Bagge, Anya Helene; Haveraaen, Magne. 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 253: 37-50. doi: 10.1016/j.entcs.2010.08.030
  • Bagge, Anya Helene; Haveraaen, Magne. 2009. Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 238: 17-33. doi: 10.1016/j.entcs.2009.09.038
Reports and theses
  • 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. CEUR Workshop Proceedings. 1820. Technical University of Aachen, Mons, Belgium. 64 pages.
  • 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. CEUR Workshop Proceedings. 1791. Technical University of Aachen. 56 pages.
  • Bagge, Anya Helene. 2009. Constructs & Concepts: Language Design for Flexibility and Reliability. 216 pages.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2008. Testing with Concepts and Axioms in C++. Reports in Informatics. 368. Institutt for Informatikk, Universitetet i Bergen, Bergen. 18 pages.
Book sections
  • Yarygina, Tetiana; Bagge, Anya Helene. 2018. Overcoming Security Challenges in Microservice Architectures. 2, pages 11-20. In:
    • Lenhard, Jörg; Meng, Fanjing; Wang, Yan. 2018. 2018 IEEE Symposium on Service-Oriented System Engineering (SOSE). IEEE conference proceedings. 256 pages. ISBN: 978-1-5386-5207-7.
  • Eilertsen, Anna Maria; Bagge, Anya Helene. 2017. Exploring API/client Co-evolution. 4, pages 10-13. In:
    • Amann, Sven; Nadi, Sarah; Nguyen, Hoan Anh; Nguyen, Tien N.; Khatchadourian, Raffi. 2017. Proceedings of the 2nd International Workshop on API Usage and Evolution. Association for Computing Machinery (ACM). 26 pages. ISBN: 978-1-4503-5754-8.
  • Bagge, Anya Helene. 2015. Analysis and transformation with the Nuthatch tree-walking library. 9, pages 83-88. In:
    • Paige, Richard; Di Ruscio, Davide; Völter, Markus. 2015. Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery (ACM). 172 pages. ISBN: 978-1-4503-3686-4.
  • Bagge, Anya Helene; Haveraaen, Magne. 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. Specification of generic APIs, or: why algebraic may be better than pre/post, pages 71-80. In:
    • Feldman, Michael; Taft, Tucker. 2014. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. ACM Publications. 106 pages. ISBN: 978-1-4503-3217-0.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2014. Workshop on Open and Original Problems in Software Language Engineering. -, pages 478-478. In:
    • Demeyer, Serge; Binkley, Dave; Ricca, Filippo. 2014. IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), Antwerp, 3-6 Febr. 2014. IEEE. 479 pages. ISBN: 978-1-4799-3752-3.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2013. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 61, pages 493-494. In:
    • Lämmel, Ralf; Oliveto, Rocco; Robbes, Romain. 2013. 20th Working Conference on Reverse Engineering (WCRE 2013). IEEE conference proceedings. 494 pages. ISBN: 978-1-4799-2931-3.
  • Bagge, Anya Helene. 2012. Separating Exceptional Concerns. 11, pages 49-51. In:
    • Garcia, Alessandro; Romanovsky, Alexander; Kienzle, Jörg; Dony, Christophe; Barbosa, Eiji. 2012. Proceedings of the 5th International Workshop on Exception Handling (WEH 2012). IEEE conference proceedings. 64 pages. ISBN: 978-1-4673-1767-2.
  • Bagge, Anya Helene. 2010. Language Description for Front End Implementation. 9, pages . In:
    • Brabrand, Claus; Moreau, Pierre-Etienne. 2010. LDTA '10:Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. Association for Computing Machinery (ACM). ISBN: 978-1-4503-0063-6.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2009. The axioms strike back: Testing with concepts and axioms in C++. 2, pages 15-24. In:
    • Siek, Jeremy; Fischer, Bernd. 2009. Proceedings of the Eighth International ACM SIGPLAN Conference on Generative Programming & Component Engineering (GPCE’09). Association for Computing Machinery (ACM). 186 pages. ISBN: 978-1-60558-862-9.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Axiom-based testing for {C++}. Axiom-based testing for {C++}, pages 721-722. In:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 pages. ISBN: 978-1-60558-220-7.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Testing with concepts and axioms in {C++}. Testing with concepts and axioms in {C++}, pages 773-774. In:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 pages. ISBN: 978-1-60558-220-7.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne; Kalleberg, Karl Trygve. 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10, pages 265-274.. In:
    • Jarzabek, Stan; Schmidt, Douglas; Veldhuizen, Todd. 2006. Proceedings of the 5th international conference on Generative programming and component engineering. ACM Press. 291 pages. ISBN: 1-59593-237-2.
  • Bagge, Anya Helene; Kalleberg, Karl Trygve. 2006. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 1, pages . In:
    • Tanter, Éric; Cleenewerck, Thomas; Fabry, Johan; Le Meur, Anne-Françoise; Noyé, Jacques. 2006. Proceedings of the Domain-Specific Aspect Languages Workshop 2006. Vrije Universiteit Brussel, Portland, Oregon, USA. 37 pages.
Artistic production
  • Lämmel, Ralf; Bagge, Anya Helene; Sarah, Piller; Peter, Babnik. 2013. Xmas Lecture: Beautiful Code.

More information in national current research information system (CRIStin)

Fields of competence 
Programming
Programming Languages
Software Engineering
Computer games
Software Language Engineering
Arduino
Raspberry Pi
Vintage computers

Twitter