Programming language design and implementation
Parallel computation
Symbolic computation
Formal methods
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 Proceeding
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 Proceeding
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 Proceeding
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 Proceeding
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 Proceeding
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
Reliable scalable symbolic computation: The design of SymGridPar2
Maier P, Stewart R & Trinder PW (2014) Reliable scalable symbolic computation: The design of SymGridPar2. 28th ACM Symposium on Applied Computing, Coimbra, Portugal. Computer Languages, Systems & Structures, 40 (1), 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.
