Introduction

The Principles of Programming research group at NUI Maynooth specialises in the static and dynamic analysis of object-oriented programs and programming languages. We exploit a variety of techniques, such as parsing, bytecode analysis, software metrics, meta-modelling and program verification to model software systems in order to increase comprehensibility and reliability. Our work has applications in reverse engineering, program verification and validated forward engineering from design to code.

The group's interests extend from software engineering tools and techniques, right through programming language design, down to the implementation of compilers and programming language processors. We have a strong interest in the formal underpinnings of software technology, and much of our work has links with formal methods in program design and analysis. Some of our recent publications are posted in the sidebar on the right.

Barak has just put together a team working on First Class Automatic Differentiation (AD+FP). He'll be working with Alexey Radul, as well as PhD students David Rush and Oleksandr Manzyuk.

Rosemary presented some slides on our work at a meeting during FM Week, November 2009.