Dr Patrick Maier

  • Affiliate (School of Computing Science)

email: Patrick.Maier@glasgow.ac.uk

Room 405, Computing Science, Sir Alwyn Williams Building

Publications

List by: Type | Date

Jump to: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014
Number of items: 13.

2020

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

2019

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi: 10.1007/978-3-030-29400-7_14)

2018

Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

2017

Archibald, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J. (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi: 10.1145/3115936.3115942)

2016

Morton, J. M. , Maier, P. and Trinder, P. (2016) JIT-Based Cost Analysis for Dynamic Program Transformations. In: RAC2016, Eindhoven, Netherlands, 02 Apr 2016, 5 - 25. (doi: 10.1016/j.entcs.2016.12.012)

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P. and Trinder, P. (2016) HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28(13), pp. 3606-3636. (doi: 10.1002/cpe.3746)

Stewart, R., Maier, P. and Trinder, P. (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. (doi: 10.1017/S095679681600006X)

Maier, P., Morton, J. M. and Trinder, P. (2016) JIT Costing Adaptive Skeletons for Performance Portability. In: The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), Nara, Japan, 22 Sept 2016, pp. 23-30. ISBN 9781450344333 (doi: 10.1145/2975991.2975995)

2015

Maier, P., Morton, J. M. and Trinder, P. (2015) Towards an Adaptive Skeleton Framework for Performance Portability. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Morton, J. M. , Maier, P. and Trinder, P. (2015) Costing JIT Traces. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

2014

Maier, P., Stewart, R. and Trinder, P.W. (2014) Reliable scalable symbolic computation: the design of SymGridPar2. Computer Languages, Systems and Structures, 40(1), pp. 19-35. (doi: 10.1016/j.cl.2014.03.001)

Maier, P., Livesey, D., Loidl, H.-W. and Trinder, P. (2014) High-performance computer algebra: a Hecke algebra case study. In: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, 25-29 Aug 2014, pp. 415-426. (doi: 10.1007/978-3-319-09873-9_35)

Maier, P., Stewart, R. J. and Trinder, P. (2014) The HdpH DSLs for scalable reliable computation. In: ACM SIGPLAN Haskell Symposium 2014, Gothenburg, Sweden, 4-5 Sep 2014, pp. 65-76. ISBN 9781450330411 (doi: 10.1145/2633357.2633363)

This list was generated on Mon Mar 27 17:18:52 2023 BST.
Number of items: 13.

Articles

Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P. and Trinder, P. (2016) HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28(13), pp. 3606-3636. (doi: 10.1002/cpe.3746)

Stewart, R., Maier, P. and Trinder, P. (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. (doi: 10.1017/S095679681600006X)

Maier, P., Stewart, R. and Trinder, P.W. (2014) Reliable scalable symbolic computation: the design of SymGridPar2. Computer Languages, Systems and Structures, 40(1), pp. 19-35. (doi: 10.1016/j.cl.2014.03.001)

Research Reports or Papers

Maier, P., Morton, J. M. and Trinder, P. (2015) Towards an Adaptive Skeleton Framework for Performance Portability. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Morton, J. M. , Maier, P. and Trinder, P. (2015) Costing JIT Traces. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Conference Proceedings

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi: 10.1007/978-3-030-29400-7_14)

Archibald, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J. (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi: 10.1145/3115936.3115942)

Morton, J. M. , Maier, P. and Trinder, P. (2016) JIT-Based Cost Analysis for Dynamic Program Transformations. In: RAC2016, Eindhoven, Netherlands, 02 Apr 2016, 5 - 25. (doi: 10.1016/j.entcs.2016.12.012)

Maier, P., Morton, J. M. and Trinder, P. (2016) JIT Costing Adaptive Skeletons for Performance Portability. In: The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), Nara, Japan, 22 Sept 2016, pp. 23-30. ISBN 9781450344333 (doi: 10.1145/2975991.2975995)

Maier, P., Livesey, D., Loidl, H.-W. and Trinder, P. (2014) High-performance computer algebra: a Hecke algebra case study. In: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, 25-29 Aug 2014, pp. 415-426. (doi: 10.1007/978-3-319-09873-9_35)

Maier, P., Stewart, R. J. and Trinder, P. (2014) The HdpH DSLs for scalable reliable computation. In: ACM SIGPLAN Haskell Symposium 2014, Gothenburg, Sweden, 4-5 Sep 2014, pp. 65-76. ISBN 9781450330411 (doi: 10.1145/2633357.2633363)

This list was generated on Mon Mar 27 17:18:52 2023 BST.

Research datasets

Jump to: 2019 | 2016 | 2015
Number of items: 4.

2019

Archibald, B. , Maier, P., Trinder, P. and Stewart, R. (2019) YewPar: Skeletons for Exact Combinatorial Search. [Data Collection]

2016

Maier, P., Morton, J. M. and Trinder, P. (2016) JIT Costing Adaptive Skeletons for Performance Portability. [Data Collection]

2015

Stewart, R., Trinder, P. and Maier, P. (2015) Transparent fault tolerance for scalable functional computation. [Data Collection]

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P. and Trinder, P. (2015) HPC-GAP: Engineering a 21st century high-performance computer algebra system. [Data Collection]

This list was generated on Tue Mar 28 00:52:55 2023 BST.