Programming language design and implementation
Parallel computation
Symbolic computation
Formal methods
Digit Classification using Biologically Plausible Neuromorphic Vision
Maier P, Rainey J, Gheorghiu E, Appiah K & Bhowmik D (2024) Digit Classification using Biologically Plausible Neuromorphic Vision. In: volume 13137. Applications of Digital Image Processing XLVII, San Diego, California, 18.08.2024-23.08.2024. Society of Photo-optical Instrumentation Engineers. https://doi.org/10.1117/12.3031280
An FPGA-based neuromorphic vision system accelerator
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.) volume 13206. SPIE "Artificial Intelligence for Security and Defence Applications II, Edinburgh, 16.09.2024-20.09.2024. SPIE. https://doi.org/10.1117/12.3034095
Article
Goranova M, Ochoa G, Maier P & Hoyle A (2022) Evolutionary optimisation of antibiotic dosing regimens for bacteria with different levels of resistance. Artificial Intelligence in Medicine, 133, Art. No.: 102405. https://doi.org/10.1016/j.artmed.2022.102405
Conference Paper (published)
YewPar: Skeletons for Exact Combinatorial Search
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)
Implementing YewPar: a Framework for Parallel Tree Search
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
Article
Replicable parallel branch and bound search
Archibald B, Maier P, McCreesh C, Stewart R & Trinder P (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. https://doi.org/10.1016/j.jpdc.2017.10.010
Conference Paper (published)
Towards Generic Scalable Parallel Combinatorial Search
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
Article
Transparent fault tolerance for scalable functional computation
Stewart R, Maier P & Trinder P (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, Art. No.: e5. https://doi.org/10.1017/s095679681600006x
Article
HPC-GAP: engineering a 21st-century high-performance computer algebra system
Behrends R, Hammond K, Janjic V, Konovalov A, Linton S, Loidl H, Maier P & 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. https://doi.org/10.1002/cpe.3746
Conference Paper (published)
High-Performance Computer Algebra: A Hecke Algebra Case Study
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)
The HdpH DSLs for scalable reliable computation
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
Conference Paper (published)
Reliable scalable symbolic computation: The design of SymGridPar2
Maier P, Stewart R & Trinder PW (2014) Reliable scalable symbolic computation: The design of SymGridPar2. In: volume 40. 28th ACM Symposium on Applied Computing, Coimbra, Portugal. Elsevier BV, pp. 19-35. https://doi.org/10.1016/j.cl.2014.03.001
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.
