Dr Patrick Maier

Lecturer

Computing Science Stirling

Dr Patrick Maier

Share a link

Research

Programming language design and implementation

Parallel computation

Symbolic computation

Formal methods

Outputs (9)

Outputs

Conference Proceeding

Archibald B, Maier P, Stewart R & Trinder P (2020) YewPar: Skeletons for Exact Combinatorial Search. In: PPoPP '20: Proceedings of the 25th Symposium on Principles and Practice of Parallel Programming. Principles and Practice of Parallel Programming 2020 (PPoPP 2020), San Diego, 22.02.2020-26.02.2020. New York: ACM, pp. 292-307. https://doi.org/10.1145/3332466.3374537

Conference Proceeding

Archibald B, Maier P, Stewart R & Trinder P (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Yahyapour R (ed.) Euro-Par 2019: Parallel Processing. Lecture Notes in Computer Science, 11725. Euro-Par 2019: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, 26.08.2019-30.08.2019. Cham, Switzerland: Springer Verlag, pp. 184-196. https://doi.org/10.1007/978-3-030-29400-7_14

Conference Proceeding

Archibald B, Maier P, Stewart R, Trinder P & De Beule J (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017 Proceedings of the International Workshop on Parallel Symbolic Computation. International Workshop on Parallel Symbolic Computation, Kaiserslautern, Germany, 23.07.2017-24.07.2017. New York: ACM, p. 6. https://doi.org/10.1145/3115936.3115942

Conference Proceeding

Maier P, Livesey D, Loidl H & Trinder P (2014) High-Performance Computer Algebra: A Hecke Algebra Case Study. In: Silva F, Dutra I & Costa Santos V (eds.) Euro-Par 2014 Parallel Processing. Lecture Notes on Computer Science, 8632. Euro-Par 2014 Parallel Processing: 20th International Conference, Porto, Portugal, 25.08.2014-29.08.2014. Cham, Switzerland: Springer, pp. 415-426. https://doi.org/10.1007/978-3-319-09873-9_35

Conference Proceeding

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

Teaching

Teaching

CSCU9B2 - Making the Most of the WWW

CSCU9Y4 - Programming Languages Paradigm

CSCU9P5 - Software Engineering I

ITNPFT3 - Mobile Financial Applications

I also supervise MSc and Honours dissertation projects. Contact me if you have an idea relating to programming languages or parallel computing.