Principles of Programming Research Group

 // NUIM / Computer Science / Research


Funding

Current funding sources include:

  • TOOLAP, an Enterprise Ireland Basic Research Grant no. 2003/278 (Rosemary - with DCU)

  • IRCSET Embark Postgraduate Research Scholarships nos. 2002/935 and 2002/885 (Áine and Mark)

Recent funding sources have included:

  • Definition and evaluation of run-time object-oriented software metrics, Áine Mitchell and J.F. Power, IRCSET/Embark PG Research Scholarship RS-2002-885, 2002-2005.

  • The application of software engineering techniques to the design of parsers and compiler front ends, Mark Hennessy and J.F. Power, IRCSET Embark PG Research Scholarship RS-2002-935, 2002-2006.

  • Detection of Storage Allocation Errors in Object-Oriented Programs, Enterprise Ireland International Collaboration Grant no. 2003/112 (Rosemary)

  • Principles and Practice of Programming in Java 2003, Science Foundation Ireland Conference and Workshops Grant no. 02/CW/I155 (James)

  • Formal Methods applied to Object-Oriented Languages and Systems, Enterprise Ireland International Collaboration Grant no. 2001/061 (James, Paul and Rosemary)

  • A solution to the name lookup problem for C++, Enterprise Ireland International Collaboration Grant no. 1999/046 (James)

  • Implementing Protocol Verification for E-Commerce, Enterprise Ireland Strategic Research Grant, no. 2000/94 (James and Paul, with DCU)

Recent PoP Papers

Formal Methods 2011
Model Transformation with ATL 2010
Software Testing, Verification and Reliability 2010
Model Transformation with ATL 2009
ACM Symposium on Applied Computing 2009
Empirical Software Engineering 2008
ETAPS 2008 Tutorial
Software Testing Verification and Validation 2008
Formal Techniques for Java-like Programs 2007
Information and Software Technology 2007
IBM CASCON 2006
Model Size Metrics 2006
Science of Computer Programming 2006

Maintained by James Power