Skip to content

Dr Patrick Maier

Dr Patrick Maier

Lecturer


Summary

Patrick Maier holds a PhD from the Max-Planck Institute for Computer Science, Saarbruecken, Germany. Prior to joining Sheffield Hallam as a Lecturer, he has worked as a research associate/fellow at the University of Edinburgh, at Heriot Watt University, and at the University of Glasgow.

About

His research is concerned with designing programming languages and systems for large-scale parallel computation, specifically for problems with irregular parallelism. His research interests also include fault tolerance, programming language semantics, and parallel computational algebra.

Specialist areas of interest

Functional Programming
Parallel Programming
Domain Specific Languages
Symbolic Computation

Teaching

Subject area

Software Engineering

Publications

Journal articles

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

Morton, J.M., Maier, P., & Trinder, P. (2016). JIT-Based cost analysis for dynamic program transformations. Electronic Notes in Theoretical Computer Science, 330, 5-25. http://doi.org/10.1016/j.entcs.2016.12.012

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

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

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

Conference papers

Archibald, B., Maier, P., Stewart, R., & Trinder, P. (2019). Implementing YewPar: a framework for parallel tree search. In Euro-Par 2019, 26 August 2019 - 30 August 2019 (pp. 184-196). Springer: https://link.springer.com/chapter/10.1007%2F978-3-030-29400-7_14

Archibald, B., Maier, P., Stewart, R., Trinder, P., & De Beule, J. (2017). Towards Generic Scalable Parallel Combinatorial Search. In PASCO 2017, Kaiserslautern, Germany, 23 July 2017 - 24 July 2017 (pp. 1-10). ACM: http://doi.org/10.1145/3115936.3115942

Maier, P., Morton, J.M., & Trinder, P. (2016). JIT costing adaptive skeletons for performance portability. In Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016, (pp. 23-30). ACM: http://doi.org/10.1145/2975991.2975995

Book chapters

Maier, P., Stewart, R., & Trinder, P. (2014). The HdpH DSLs for scalable reliable computation. In Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14. (pp. 65-76). ACM: http://doi.org/10.1145/2633357.2633363

Maier, P., Livesey, D., Loidl, H.-.W., & Trinder, P. (2014). High-Performance Computer Algebra: A Hecke Algebra Case Study. In Euro-Par 2014 Parallel Processing. (pp. 415-426). Springer: http://doi.org/10.1007/978-3-319-09873-9_35

Cancel event

Are you sure you want to cancel your place on Saturday 12 November?