Emeritus Professor Paul Bailes
Emeritus Professor

Paul Bailes

Email: 

Background

Professor Paul Bailes's research interests are in: Software Engineering, Programming Langauge Design and Implementation, and Decision Support Systems.

He received his PhD from The University of Queensland in 1984. His current research projects are in the fields of:

  • Forensic Analysis of Failed Software Projects
  • Higher-Order Functional Programming
  • Automated Academic Advising.

Availability

Emeritus Professor Paul Bailes is:
Available for supervision
Media expert

Fields of research

Information and Computing Sciences

Qualifications

  • Bachelor (Honours) of Science (Advanced), The University of Queensland
  • Doctor of Philosophy, The University of Queensland
  • Australian Computer Society, Australian Computer Society

Research interests

  • Totally Functional Programming

    The expressive power of higher-order functional languages can be used to replace inert data by functions that embody applicative behaviour inherent in the data. What functional language developments (e.g. type systems) are needed to support this? Can efficiency be improved? How can such replacements of data be effected routinely? What are the connections with other areas, such as OOP, analog computing, design recovery?

  • Open Reengineering Platform

    The quality of a platform for developing reengineering tools primarily depends upon its support for the peculiarities of the reengineering process. How can the merits of proprietary reengineering platforms be recreated using open, generic technologies?

  • Academic Adviser�s Apprentice

    Planning study programs for university students is a complex and sensitive exercise, especially for (international) students who transfer to UQ with credit. What interface paradigms are best suited to automated study planning? How can a knowledge base be developed and maintained?

Search Professor Paul Bailes’s works on UQ eSpace

31 works between 1986 and 2016
All (31) Journal Article (8) Conference Publication (22) Edited Outputs (1)

1 - 20 of 31 works

2016

Conference Publication

Software engineering foundations of zoetic data and totally functional programming

Bailes, Paul and Kemp, Colin (2016). Software engineering foundations of zoetic data and totally functional programming. 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, Rome, Italy, 27 - 28 April 2016. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-56390-9_7

Software engineering foundations of zoetic data and totally functional programming

2016

Conference Publication

Zoetic Data and their Generators

Bailes, Paul and Kemp, Colin (2016). Zoetic Data and their Generators. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Rome, Italy, 27-28 April 2016. Setúbal, Portugal: SCITEPRESS. doi: 10.5220/0005914902600271

Zoetic Data and their Generators

2014

Conference Publication

Towards a discipline of software engineering forensics analysis

Bailes, Paul, Cornish, Christine, Myers, Toby, Rago, Lou, Tate, Nick and Thatcher, Mal (2014). Towards a discipline of software engineering forensics analysis. 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014, Lisbon, 28-30 April 2014. Portugal: SciTePress. doi: 10.5220/0004970002350240

Towards a discipline of software engineering forensics analysis

2014

Conference Publication

From computer science to software engineering – a programming-level perspective

Bailes, Paul, Brough, Leighton and Kemp, Colin (2014). From computer science to software engineering – a programming-level perspective. Software Methodologies, Tools and Techniques (SoMeT14), Langkawi, Malaysia, 22-24 September 2014. AMSTERDAM: IOS Press. doi: 10.3233/978-1-61499-434-3-513

From computer science to software engineering – a programming-level perspective

2013

Conference Publication

Recursion patterns and their impact on programming language design

Bailes, Paul (2013). Recursion patterns and their impact on programming language design. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, 10 -12 April 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.801-023

Recursion patterns and their impact on programming language design

2013

Conference Publication

The denotational basis for software execution tracing

Brough, Leighton and Bailes, Paul (2013). The denotational basis for software execution tracing. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, 10 -12 April 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.801-032

The denotational basis for software execution tracing

2013

Conference Publication

Higher-order catamorphisms as bases for program structuring and design recovery

Bailes, Paul, Brough, Leighton and Kemp, Colin (2013). Higher-order catamorphisms as bases for program structuring and design recovery. 12th IASTED International Conference on Software Engineering, SE 2013, Innsbruck, Austria, 11 - 13 February 2013. Amsterdam, The Netherlands: Elsevier BV. doi: 10.2316/P.2013.796-015

Higher-order catamorphisms as bases for program structuring and design recovery

2012

Conference Publication

Making sense of recursion patterns

Bailes, Paul and Brough, Leighton (2012). Making sense of recursion patterns. 2012 First InternationalWorkshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Zurich, Switzerland, 2 June 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/FormSERA.2012.6229782

Making sense of recursion patterns

2012

Conference Publication

ERA challenges for Australian university ICT

Bailes, Paul (2012). ERA challenges for Australian university ICT. Thirty-Fifth Australasian Computer Science Conference (ACSC 2012), Melbourne, Australia, 30 January - 3 February 2012. Melbourne, Australia: Australian Computer Society.

ERA challenges for Australian university ICT

2012

Conference Publication

Self-definition for Systems Development

Wilks, Barry and Bailes, Paul (2012). Self-definition for Systems Development. 2012 35th Annual IEEE Software Engineering Workshop (SEW), Heraklion, Crete, Greece, 12-13 October 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/SEW.2012.12

Self-definition for Systems Development

2005

Conference Publication

Fusing folds and data structures into zoetic data

Bailes, P. A. C. and Kemp, C. J. (2005). Fusing folds and data structures into zoetic data. IASTED International Conference on Software Engineering 2005 (SE 2005), Innsbruck, Austria, 15-17 February 2005. Anaheim, U.S.A.: ACTA Press.

Fusing folds and data structures into zoetic data

2004

Conference Publication

Automating software evolution

Hearnden, D. I., Bailes, P.A.C., Lawley, M. and Raymond, K. (2004). Automating software evolution. The Seventh International Workshop on Principles of Software Evolution, Kyoto, Japan, 6-7 September, 2004. Los Alamitos, California: The IEEE Computer Society. doi: 10.1109/IWPSE.2004.1334773

Automating software evolution

2004

Conference Publication

Obstacles to a totally functional programming style

Bailes, P. A. C. and Kemp, C. J. (2004). Obstacles to a totally functional programming style. The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, 13-16 April 2004. Los Alamitos, California, U.S.A.: IEEE Computer Society. doi: 10.1109/ASWEC.2004.1290470

Obstacles to a totally functional programming style

2003

Conference Publication

Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

Bailes, P. A. C. and Kemp, C. J. (2003). Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification. The 27th Annual International Computer Software and Applications Conference, Dallas, Texas, U.S.A., 3-6 November 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/CMPSAC.2003.1245389

Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

2003

Conference Publication

The role of self-definition in software development and evolution

Wilks, B. and Bailes, P.A.C. (2003). The role of self-definition in software development and evolution. The Seventh IASTED International Conference on Software Engineering and Applications, Marin del Rey, CA, 3-5 November, 2003. Anaheim, CA: ACTA Press.

The role of self-definition in software development and evolution

2003

Conference Publication

Why functional programming really matters

Bailes, P.A.C., Kemp, C. J., Peake, I. and Seefried, S. D. (2003). Why functional programming really matters. The 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 10-13 February, 2003. Anaheim, CA: ACTA Press.

Why functional programming really matters

2003

Conference Publication

Formal methods within a totally functional approach to programming

Bailes, P. A. and Kemp, C. J. M. (2003). Formal methods within a totally functional approach to programming. The Tenth Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, 18-20 March, 2002. Berlin: Springer.

Formal methods within a totally functional approach to programming

2003

Conference Publication

Design derivation of an open, java-based reengineering platform

Bailes, P. A. C. and Peake, I. (2003). Design derivation of an open, java-based reengineering platform. The Seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy, 26-28 March 2003. Piscataway, NJ, U.S.A.: IEEE Computer Society. doi: 10.1109/CSMR.2003.1192432

Design derivation of an open, java-based reengineering platform

2003

Conference Publication

Incremental enhancement of the expressiveness of a reengineering tool development platform

Bailes, P.A.C. and Peake, I. (2003). Incremental enhancement of the expressiveness of a reengineering tool development platform. The Twenty-First IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 10-13 February, 2003. Anaheim, CA: ACTA Press.

Incremental enhancement of the expressiveness of a reengineering tool development platform

2002

Conference Publication

Experience with a generic transition architecture

Bailes, P.A.C., Harrison, J.V., Lim, W.M. and Peake, I. (2002). Experience with a generic transition architecture. Software Engineering and Applications, Cambridge, USA, 4-6 November, 2002. Anaheim, USA: ACTA Press.

Experience with a generic transition architecture

Past funding

  • 2009 - 2010
    Addressing ICT curriculum recommendations from surveys of academics, workplace graduates and employers
    ALTC Priority Projects
    Open grant
  • 2006 - 2007
    Academic Advisor's Apprentice
    CRC for Enterprise Distributed Systems Technology
    Open grant
  • 1999 - 2000
    Research on the legal aspects of software engineering
    Software Engineering Australia Limited
    Open grant
  • 1996 - 1998
    Research Project
    Department Defence - Defence Science & Technology
    Open grant
  • 1996 - 1998
    Software reengineering process and technology development
    ARC Australian Research Council (Large grants)
    Open grant

Availability

Emeritus Professor Paul Bailes is:
Available for supervision

Before you email them, read our advice on how to contact a supervisor.

Supervision history

Completed supervision

Enquiries

Contact Emeritus Professor Paul Bailes directly for media enquiries about:

  • Computer program languages
  • Computer programming
  • Computing - software engineering
  • Education - information technology
  • Electrical engineering
  • Information technology
  • International IT education
  • Programming - computer
  • Software engineering

Need help?

For help with finding experts, story ideas and media enquiries, contact our Media team:

communications@uq.edu.au