Mr. Keith Ó Dúlaigh

Keith's profile picture.

Computer Science

Ph.D. Candidate with the Principles of Programming Group.

Callan
Research Lab 1
(01) 708 3929
keithod AT cs DOT nuim DOT ie
Download

Research

The working title of Keith's project is the "Consistency of Software Artifacts in a Model Oriented Environment". The deliverable will be a semantic framework built on Burstall and Goguen's theory of institutions to show the effects that transforming models has on software artifacts --- in particular software metrics. Upon completion, such a framework could be used to determine what transformations can be applied to software representations without compromising the quality of a system's design. The framework will be delivered as a set of programs written in the logical rewriting language Maude.

Funding

Keith's project is being carried out with funding provided by Science Foundation Ireland under grant number 11/RFP.1/CMS/3068.

Education

  • Ph.D. Computer Science (Maynooth University)
  • M.Sc. Computer Science (NUI Maynooth)
  • B.Sc. Computer Science and Software Engineering (NUI Maynooth)

Publications

Workshops

  • Keith Ó Dúlaigh, Rosemary Monahan, and James F. Power. Some Early Ideas on Institutions for Software Metrics. In Conference on Algebra and Coalgebra in Computer Science: Early Ideas Workshop, Warsaw, Poland, September 3 2013.
  • Keith Ó Dúlaigh, James F. Power, and Peter J. Clarke. Measurement of Exception-Handling Code: An Exploratory Study. In 5th International Workshop on Exception Handling, Zurich, Switzerland, June 9 2012.

Presentation Material

  • A Domain Specific Language for Defining and Scripting Refactorings, Annual Postgraduate Seminar Series, Maynooth University Department of Computer Science, Ireland (19 March 2015) Download as PDF.
  • An Institution for the Not-Java Programming Language, Annual Postgraduate Seminar Series, Maynooth University Department of Computer Science, Ireland (19 March 2014) Download as PDF.
  • Some Early Ideas on Institutions for Software Metrics, 5th International Conference on Algebra and Coalgebra in Computer Science (Workshop), Warsaw University, Poland (3 September 2013) Download as PDF.
  • An Introduction to Haskell, Chinese Summer School, National University of Ireland Maynooth, Ireland (8 August 2013) Download as PDF.
  • Categorical Refactorings, PoP group Meeting, (2013) Download PDF.
  • Category Theory and Software Engineering, Annual Postgraduate Seminar Series, National University of Ireland Maynooth, Ireland (2013) Download as PDF.
  • Tutorial Slides for CS142K, Presented via Blackboard, (2012) Download PDFs as Zip.
  • Workshop on Exception Handling, Maynooth University, (2012) Download as PDF.
  • Software Metrics, Maynooth University, (2012) Download as PDF.
  • Software coupling, Maynooth University, (2012) Download as PDF.
  • Moose, Maynooth University, (2012) Download as PDF.
  • Universal Algebra, Maynooth University, (2012) Download as PDF.
  • Category Theory, Maynooth University, (2012) Download as PDF.
  • Automated Detection of Refactorings in Evolving Components, Maynooth University, (2012) Download as PDF.
  • ASM Overview, Maynooth University, (2012) Download as PDF.

Demonstrating

February - May 2015
  • CS615 Internet Solutions Engineering
September - December 2014
  • CS130 Introduction to Database Systems
February - May 2014
  • CS615 Internet Solutions Engineering
September - December 2013
  • CS130 Introduction to Database Systems
February - May 2013
  • CS230 Web Information Processing
  • CS142K Introduction to Object Oriented Programming (via Blackboard A/V Conferencing)
September - December 2012
  • CS130 Introduction to Database Systems
February - May 2012
  • CS141 Introduction to Programming
  • CS335 Software Engineering and Software Process