Dr Patrick Maier

  • Affiliate (School of Computing Science)

telephone: 01413302074
email: Patrick.Maier@glasgow.ac.uk

Research interests

Personal Site: http://www.dcs.gla.ac.uk/~pmaier/

Biography:
Patrick Maier is a Research Fellow at the School of Computing Science, University of Glasgow. He works on the design and implementation of parallel functional programming languages, and on parallelising hard problems in symbolic computation. As the Researcher Co-Investigator on the EPSRC grant "Adaptive Just-In-Time Parallelisation (AJITPar)" (EP/L000687), he leads the research team in combining dynamic just-in-time compilation with dynamic demand-driven scheduling of parallelism.

Research Interests:
- Parallel Functional Programming
- Parallel Symbolic Computation
- Resource Analysis
- Temporal Logic
- Compositional Verification

Supervision

  • Archibald, Blair
    I115 - Programming Language Support for Computational Offloading

Publications

List by: Type | Date

Jump to: 2017 | 2016 | 2015 | 2014
Number of items: 10.

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 Sat Oct 21 20:16:55 2017 BST.
Number of items: 10.

Articles

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., 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 Sat Oct 21 20:16:55 2017 BST.