Emeritus Professor Paul Bailes

Emeritus Professor

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology

Overview

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.

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?

Qualifications

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

Publications

  • Bailes, Paul and Kemp, Colin (2016). Zoetic Data and their Generators. In: Enase: Proceedings of the 11Th International Conference On Evaluation of Novel Software Approaches to Software Engineering. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Rome, Italy, (260-271). 27-28 April 2016. doi:10.5220/0005914902600271

  • Bailes, Paul, Brough, Leighton and Kemp, Colin (2014). From computer science to software engineering – a programming-level perspective. In: Hamido Fujita, Ali Selamat and Habibollah Haron, New Trends in Software Methodologies, Tools and Techniques. Software Methodologies, Tools and Techniques (SoMeT14), Langkawi, Malaysia, (513-529). 22-24 September 2014. doi:10.3233/978-1-61499-434-3-513

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

View all Publications

Grants

View all Grants

Supervision

View all Supervision

Publications

Journal Article

Conference Publication

  • Bailes, Paul and Kemp, Colin (2016). Zoetic Data and their Generators. In: Enase: Proceedings of the 11Th International Conference On Evaluation of Novel Software Approaches to Software Engineering. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Rome, Italy, (260-271). 27-28 April 2016. doi:10.5220/0005914902600271

  • Bailes, Paul, Brough, Leighton and Kemp, Colin (2014). From computer science to software engineering – a programming-level perspective. In: Hamido Fujita, Ali Selamat and Habibollah Haron, New Trends in Software Methodologies, Tools and Techniques. Software Methodologies, Tools and Techniques (SoMeT14), Langkawi, Malaysia, (513-529). 22-24 September 2014. doi:10.3233/978-1-61499-434-3-513

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

  • Bailes, Paul, Brough, Leighton and Kemp, Colin (2013). Higher-order catamorphisms as bases for program structuring and design recovery. In: IASTED Multiconferences - Proceedings of the IASTED International Conference on Software Engineering, SE 2013. 12th IASTED International Conference on Software Engineering, SE 2013, Innsbruck, Austria, (775-782). 11 - 13 February 2013. doi:10.2316/P.2013.796-015

  • Bailes, Paul (2013). Recursion patterns and their impact on programming language design. In: W. Assawinchaichote, K. Piromsopa and P.Bhattarakosol, Proceedings of the 8th IASTED International Conference on Advances in Computer Science, ACS 2013. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, (450-459). 10 -12 April 2013. doi:10.2316/P.2013.801-023

  • Brough, Leighton and Bailes, Paul (2013). The denotational basis for software execution tracing. In: W. Assawinchaichote, K. Piromsopa and P.Bhattarakosol, Proceedings of the 8th IASTED International Conference on Advances in Computer Science, ACS 2013. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, (278-286). 10 -12 April 2013. doi:10.2316/P.2013.801-032

  • Bailes, Paul (2012). ERA challenges for Australian university ICT. In: Proceedings of the Thirty-Fifth Australasian Computer Science Conference (ACSC 2012). Thirty-Fifth Australasian Computer Science Conference (ACSC 2012), Melbourne, Australia, (63-71). 30 January - 3 February 2012.

  • Bailes, Paul and Brough, Leighton (2012). Making sense of recursion patterns. In: Proceedins: 2012 First InternationalWorkshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA). 2012 First InternationalWorkshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Zurich, Switzerland, (16-22). 2 June 2012. doi:10.1109/FormSERA.2012.6229782

  • Wilks, Barry and Bailes, Paul (2012). Self-definition for Systems Development. In: Proceedings of the 2012 IEEE 35th Software Engineering Workshop. 2012 35th Annual IEEE Software Engineering Workshop (SEW), Heraklion, Crete, Greece, (52-61). 12-13 October 2012. doi:10.1109/SEW.2012.12

  • Bailes, P. A. C. and Kemp, C. J. (2005). Fusing folds and data structures into zoetic data. In: Peter Kokol, Proceedings of the IASTED International Conference on Software Engineering: As part of the 23rd IASTED International Multi-Conference on Applied Informatics. IASTED International Conference on Software Engineering 2005 (SE 2005), Innsbruck, Austria, (299-306). 15-17 February 2005.

  • Hearnden, D. I., Bailes, P.A.C., Lawley, M. and Raymond, K. (2004). Automating software evolution. In: K. Inoue, T. Ajisaka and H. Gall, Proceedings of the Seventh International Workshop on Principles of Software Evolution. The Seventh International Workshop on Principles of Software Evolution, Kyoto, Japan, (95-100). 6-7 September, 2004.

  • Bailes, P. A. C. and Kemp, C. J. (2004). Obstacles to a totally functional programming style. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (178-187). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290470

  • Bailes, P. A. C. and Peake, I. (2003). Design derivation of an open, java-based reengineering platform. In: G. Canfora, M. van den Brand and T. Gymothy, Proceedings of the Seventh European Conference on Software Maintenance and Reengineering. The Seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy, (239-248). 26-28 March 2003. doi:10.1109/CSMR.2003.1192432

  • Bailes, P. A. and Kemp, C. J. M. (2003). Formal methods within a totally functional approach to programming. In: B. Aichernig and T. Maibaum, Lecture Notes in Computer Science: Formal Methods at the Crossroads: From Panacea to Foundational Support. The Tenth Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, (287-307). 18-20 March, 2002.

  • Bailes, P.A.C. and Peake, I. (2003). Incremental enhancement of the expressiveness of a reengineering tool development platform. In: M. Hanza, Proceedings of the Twenty-First IASTED International Multi-Conference on Applied Informatics. The Twenty-First IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, (927-934). 10-13 February, 2003.

  • Bailes, P. A. C. and Kemp, C. J. (2003). Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification. In: D. Bae and G. Voas, Proceedings of the 27th Annual International Computer Software and Applications Conference. The 27th Annual International Computer Software and Applications Conference, Dallas, Texas, U.S.A., (520-526). 3-6 November 2003. doi:10.1109/CMPSAC.2003.1245389

  • Wilks, B. and Bailes, P.A.C. (2003). The role of self-definition in software development and evolution. In: M. Hamza, Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications. The Seventh IASTED International Conference on Software Engineering and Applications, Marin del Rey, CA, (411-416). 3-5 November, 2003.

  • Bailes, P.A.C., Kemp, C. J., Peake, I. and Seefried, S. D. (2003). Why functional programming really matters. In: M. Hanza, Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics. The 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, (919-926). 10-13 February, 2003.

  • Bailes, P.A.C., Harrison, J.V., Lim, W.M. and Peake, I. (2002). Experience with a generic transition architecture. In: M.H. Hamza, Proceedings of the Sixth IASTED International Conference. Software Engineering and Applications, Cambridge, USA, (509-514). 4-6 November, 2002.

  • Bailes, P.A.C. (2001). Programming without data: Towards a totally functional programming style. In: D. Smavatkul, Proceedings of the Fifth National Computer Science and Engineering Conference. The Fifth National Computer Science and Engineering Conference, Chiang Mai, Thailand, (5-12). 7-9 November, 2001.

Edited Outputs

Grants (Administered at UQ)

PhD and MPhil Supervision

Current Supervision

  • Doctor Philosophy — Associate Advisor

    Other advisors:

Completed Supervision