Principles of Programming Research Group
Research | Computer Science | Maynooth University

Main Menu



MU logo
Dept. of Computer Science
Maynooth University
Co. Kildare, Ireland

Principles of Programming Research Group

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 program comprehension, program verification and model-driven engineering.

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 programming languages, and much of our work has links with formal methods in program design and analysis, such as software specification, refinement, verification and programming language semantics.

Some of our recent publications are posted in the sidebar on the right, and are available from the members webpages.

Recent Papers

SoSyM 2016
Formalised EMFTVM bytecode language for sound verification of model transformations

Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory

SAC 2016
Evaluating the Use of a General-Purpose Benchmark Suite for Domain-Specific SMT-solving

ICMT 2015
A sound execution semantics for ATL via translation validation

C3GI 2014
Creating Formal Specifications with Analogical Reasoning

CiE 2014
An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences