Selected Papers

Iterative Compilation

  • G. Fursin, M.F.P. O'Boyle and P.W.M. Knijnenburg, Evaluating Iterative Compilation LCPC 2002.
  • P.M.W. Knijnenburg, T. Kisuki and M.F.P. O'Boyle Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation, the Journal of SuperComputing 24(1): 43-67; Jan 2003.
  • S. Long and M.F.P O'Boyle, Towards an Adaptive Java Optimising Compiler: An Empirical Evaluation of Program Transformations 3rd Workshop on Java for High Performance Computing, ACM ICS, Italy, June 2001.
  • P.M.W. Knijnenburg, T. Kisuki, K. Gallivan and M.F.P. O'Boyle, The Effect of Cache Models on Iterative Compilation for Combined Tiling and Unrolling Proc. 3rd Workshop on Feedback Directed and Dynamic Optimization, pages 31-40, 2000. Organized in conjunction with MICRO-33.
  • T. Kisuki, P.M.W. Knijnenburg and M.F.P. O'Boyle, Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation, Proc. Parallel Architectures and Compilation Techniques PACT2000, pages 237-246, 2000.
  • F. Bodin, T. Kisuki, P.M.W. Knijnenburg, M.F.P. O'Boyle and E. Rohou, Iterative Compilation in a Non-linear Optimisation Space, Proc. Workshop on Profile and Feedback Directed Compilation, 1998. Organized in conjunction with PACT98.
  • DSP

  • B. Franke and M. F.P. O'Boyle, Combining Program Recovery, Auto-parallelisation and Locality Analysis for C programs on Multi-processor Embedded Systems IEEE PACT 2003.
  • B. Franke , M. F.P. O'Boyle, Compilation Techniques for Multi-Core DSPs with Multiple Address Spaces ACM SIGDA CODES-ISSS, 2003.
  • B. Franke , M. F.P. O'Boyle Array recovery and high-level transformations for DSP applications ACM Transactions on Embedded Computing Systems (TECS) Volume 2 , Issue 2, pp 132 - 162 ACM Press New York, NY, USA, May 2003. Original version appeared at CASES 2001.
  • B. Franke and M.F.P O'Boyle, Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications, CC 2001, International Conference on Compiler Construction (part of ETAPS 2001), Genova 2001
  • Program Transformations

  • M.F.P. O'Boyle and P.M.W. Knijnenberg Integrating Loop and Data Transformations for Global Optimisation Journal of Parallel and Distributed Computing, Vol 62, pp 563-590, April 2002. Original conference version appeared at Proc. Parallel Architectures and Compilation Techniques, pp. 12-21, 1998.
  • M.F.P. O'Boyle and P.M.W. Knijnenburg, Efficient Parallelization using Combined Loop and Data Transformations, Proc. Parallel Architectures and Compilation Techniques, pp. 283-291, 1999.
  • M.F.P O'Boyle and P.M.W. Knijnenburg, Non-singular Data Transformations: Definition, Validity, Applications , International Journal on Parallel Programming 17(3), pp. 131-159, 1999. Original conference version appeared at Proc. International Conference on Supercomputing, pp. 309-316, 1997.
  • Synchronisation Minimisation

  • O'Boyle M.F.P. and Stohr E.A., Compile Time Barrier Synchronisation Minimisation , IEEE Transactions on Parallel and Distributed Systems, Vol 13 No 6, pp 529-543, June 2002. Original conference version appeared at Proc. International Conference on Supercomputing ACM Press, Vienna, July 1997.
  • O'Boyle M.F.P., Kervella L. and Bodin F., Synchronisation Mininimisation in a SPMD Execution Model, Journal of Parallel and Distributed Computing Vol 29. 196-210, Academic Press Inc., September 1995.
  • O'Boyle M.F.P. and Bodin F., Compiler Reduction of Synchronisation in Shared Virtual Memory Systems, ICS, 9th ACM International Conference on Supercomputing, ACM Press, Barcelona, July 1995.
  • Compiler Directed Memory Coherence

  • M. F. P. O'Boyle, R. W. Ford and E.A. Stohr Towards general and exact distributed invalidation Journal of Parallel and Distributed Computing Volume 63, Issue 11 , November 2003, Pages 1123-1137
  • R.Ford, E.A.Stohr and M O'Boyle Exact Distributed Invalidation Proc. EUROPAR 00, August 2000.
  • O'Boyle M.F.P, Ford R.W and Nisbet A.P., A Compiler Algorithm to Reduce Invalidation Latency in Virtual Shared Memory Systems, PACT '96, Parallel Architectures and Compiler Technology, IEEE Press, Boston, October 1996.
  • Cost based Optimisation

  • O'Boyle M.F.P.,MARS: A Distributed Memory Approach to Shared Memory Compilation Languages, Compilers and Runtime Systems for Scalable Computing, Springer Verlag, Pittsburgh, May 1998.
  • Bodin F. and O'Boyle M.F.P., A Compiler Strategy for SVM, the Third Workshop on Languages, Compilers and Runtime Systems for Scalable Computing, Kluwer Press, New York, May 1995.
  • O'Boyle M.F.P., A Hierarchical Locality Algorithm for NUMA Compilation, EuroMicro Workshop on Parallel and Distributed Processing, IEEE Press, Italy, January 1995.
  • O'Boyle M.F.P., A Data Partitioning Algorithm for Distributed Memory Compilation, PARLE '94: Parallel Architectures and Languages Europe, LNCS 817 Springer-Verlag, Athens July 1994.
  • O'Boyle M.F.P. and Hedayat G.A., A Transformational Approach to Compiling Sisal for Distributed Memory Architectures, ICS, 6th ACM International Conference on Supercomputing, ACM Press, Washington, July 1992.
  • O'Boyle M.F.P. and Hedayat G.A., A New Program Transformation To Minimise Communication in Distributed Memory Architectures, PARLE '92: Parallel Architectures and Languages Europe, Springer-Verlag, LNCS 605, Paris, June 1992.
  • O'Boyle M.F.P. and Hedayat G.A., Data Alignment: Transformation to Reduce Communication on Distributed Memory Architectures, Scalable High Performance Computing Conference, IEEE Press, Virginia, April 1992.
  • O'Boyle M.F.P. and Hedayat G.A.,