Principles of Programming Research Group

 // NUIM / Computer Science / Research

PoP
home people funding partners related conferences related journals other links
Faculty
Rosemary Monahan James Power Barak Pearlmutter
Postgrads
Zheng Cheng Marie Farrell Keith Ó Dúlaigh Jagadeeswaran Thangaraj Hao Wu

NUIM logo

Dept. of Computer Science
National University of Ireland
Maynooth, Co. Kildare
Ireland

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.

New in June 2014: funded MSc studentship available (2014-2016).

Recent PoP Papers

Verification and Program Transformation 2013
Theoretical Aspects of Software Engineering 2013
History and Philosophy of Computing 2013
Exception Handling 2012
Formal Methods 2011
SIGCSE 2011
Software Testing, Verification and Reliability 2010

Maintained by James Power