Principles of Programming Research Group

 // Maynooth / Computer Science / Research


The Principles of Programming research group at Maynooth University 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.

Recent PoP Papers

International Conference on Model Transformation 2015
A sound execution semantics for ATL via translation validation

Computability in Europe 2014
Verification and Program Transformation 2013
Theoretical Aspects of Software Engineering 2013
Exception Handling 2012
Formal Methods 2011
Software Testing, Verification and Reliability 2010

Maintained by James Power