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 (12)

Outputs

Conference Paper (published)

Ali T, Rainey J, Lau SY, Gheorghiu E, Maier P, Appiah K & Bhowmick D (2024) An FPGA-based neuromorphic vision system accelerator. In: Bouma H, Prabhu R, Yitzhaky Y & Kuijf HJ (eds.) Artificial Intelligence for Security and Defence Applications II. Proceedings of SPIE, 13206. SPIE "Artificial Intelligence for Security and Defence Applications II, Edinburgh, 16.09.2024-20.09.2024. SPIE.


Conference Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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

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.