Dr Patrick Maier
- Affiliate (School of Computing Science)
email:
Patrick.Maier@glasgow.ac.uk
Room 405, Computing Science, Sir Alwyn Williams Building
Publications
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)
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)
Research datasets
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]