James F. Power Department of Computer Science, Maynooth University, Maynooth, Co. Kildare, Ireland Orcid id: 0000-0002-6770-3910

E-Mail: Phone: +353 1 708 3447 Fax: +353 1 708 3848 Office: Room 124, Eolas Building

Research

My research centres on parsers and (front-end) compiler technology for object-oriented languages as part of the Principles of Programming research group here. Primary areas of application include program analysis, transformation and verification.

See: my publication list or entries in DBLP, ACM Author Profile, Google Scholar.

• An ANFIS framework for PyTorch - our poster at the International Conference on Fuzzy Systems (FUZZ-IEEE) 2019
• Our paper on Grammar engineering for multiple front-ends for Python will be appearing in Software: Practice and Experience. It discusses the use of correctness-preserving transformations when developing parsers from grammars.
• Who's moved to Python 3? See our paper on Quantifying the transition from Python 2 to 3, presented at ESEM 2017.
  There's a journal version coming out in Empirical Software Engineering. The code and related data are available from our GitHub repo.
• Our F-IDE 2016 paper on using machine learning to predict the best SMT solver to use for program verification tasks in Why3; also the code and data.
• A formal semantics for the EMFTVM bytecode language so we can verify model transformations has just been published in Software & Systems Modeling. Zheng's latest work is available at his repo.
• Thue's 1914 Paper: the prehistory of language theory.

Teaching

• The modules I was teaching in the 2017-18 academic year were:
  • Introductory Logic: CS151 Discrete Structures (2nd CSSE/Arts) and CS172 Computer Systems II (1st CSSE/Sci/Arts)
  • Epistemic Logic: CS314 Computational Epistemology (2nd CompThink)
  • From Logic to CS: CS434 Readings in the Foundations of Computer Science (3rd CompThink, 4th CSSE)
• I also convene our Foundations of Computer Science Seminar Series.
• Other courses I've taught recently include:
  • CS619 Program Comprehension (MSc in Software Engineering, MSc in Dependable Software Systems, 2006-2014)
  • CS143 Introduction to Computer Systems (1st Year CSSE/Sci/Arts, Semester 2, 2013 & 2015)
  • CS141 & CS142 Introduction to Programming, (HCert in Software Development, Kilkenny Campus, 2012).
  • CS430 - Advanced Concepts and Issues in CS (4th CSSE/CS, 2009-2012) .
  • An introduction to computational thinking, in Feb/March 2012 at our Kilkenny Campus
  • CS310 Compilers (3rd CSSE, 4th CS, 2005-2011)
  • CS357 Software Verification (3rd CSSE, 4th CS, 2005-2011)
• We have an ongoing collaboration with Zhejiang University in Hangzhou, China, where I've taught Fundamentals of Software Engineering to 2nd year undergraduates (May-June 2012, May-June 2011) and a graduate-level course on Program Analysis (March 2007).
• Older modules I've taught include: CS614 Component Based Software Engineering (MSc in SE, 2005), SE304/CS407 Formal Methods (2000-2004), SE301/CS310 Compiler Design (2001-2004), SE209 Virtual Machines (1999), and SE101/CS100 Principles of Computer Programming (1999-2004).
• Before this (in DCU) I've given courses on computability, logic, formal semantics and compiler design

Qualifications

Memberships