The University of Stirling no longer hosts academics' personal home pages. In 10 seconds, your browser will automatically redirect you to my new home page.

Patrick Maier

News

• SPLS at Stirling University, 5 March 2025

Research Interests

• Parallel functional programming
  • in the AJITPar project (2013 - 2017)
• Parallel symbolic computation
  • in the HPC-GAP project (2009 - 2013)
• Resource analysis and control
  • in the MOBIUS project (2006 - 2009)
• Temporal logic
• Software verification
• Compositional verification, assume-guarantee reasoning

Recent Publications

• Digit Classification using Biologically Plausible Neuromorphic Vision, with J. Rainey, E. Gheorghiu, K. Appiah and D. Bhowmik. In Applications of Digital Image Processing XLVII, SPIE, 2024.
  DOI 10.1117/12.3031280   Accepted Manuscript
• Evolutionary optimisation of antibiotic dosing regimens for bacteria with different levels of resistance, with M. Goronova, G. Ochoa and A. Hoyle. Artificial Intelligence in Medicine, 2022.
  DOI 10.1016/j.artmed.2022.102405
• YewPar: Skeletons for Exact Combinatorial Search, with B. Archibald, R. Stewart and P. W. Trinder. In Proceedings of PPoPP 2020, ACM Press.
  DOI 10.1145/3332466.3374537   Pre-print (pdf, 868 KB)   Proofs (pdf, 586 KB)
• Implementing YewPar: a Framework for Parallel Tree Search, with B. Archibald, R. Stewart and P. W. Trinder. In Proceedings of EuroPar 2019, Springer.
  DOI 10.1007/978-3-030-29400-7_14   Pre-print (pdf, 344 KB)
• Replicable Parallel Branch and Bound Search, with B. Archibald, C. McCreesh, R. Stewart and P. W. Trinder. Journal of Parallel and Distributed Computing, 2018.
  DOI 10.1016/j.jpdc.2017.10.010
• Towards Generic Scalable Parallel Combinatorial Search, with B. Archibald, R. Stewart, P. W. Trinder and J. De Beule. In Proceedings of PASCO 2017, ACM Press.
  DOI 10.1145/3115936.3115942   Pre-print (pdf, 672 KB)
• JIT Costing Adaptive Skeletons for Performance Portability, with J. M. Morton and P. W. Trinder. In Proceedings of FHPC 2016, ACM Press.
  DOI 10.1145/2975991.2975995
• Transparent fault tolerance for scalable functional computation, with R. Stewart and P. W. Trinder. Journal of Functional Programming, 2016.
  DOI 10.1017/S095679681600006X
• HPC-GAP: engineering a 21st-century high-performance computer algebra system, with R. Behrends, K. Hammond, V. Janjic, A. Konovalov, S. Linton, H-W. Loidl and P. W. Trinder. Concurrency and Computation: Practice and Experience, 2016.
  DOI 10.1002/cpe.3746
• The HdpH DSLs for Scalable Reliable Computation, with R. Stewart and P. W. Trinder. In Proceedings of Haskell 2014, ACM Press.
  DOI 10.1145/2633357.2633363
• High-Performance Computer Algebra: A Hecke Algebra Case Study, with D. Livesey, H-W. Loidl and P. W. Trinder. In Proceedings of Euro-Par 2014, Springer.
  DOI 10.1007/978-3-319-09873-9_35
• Reliable scalable symbolic computation: The design of SymGridPar2, with R. Stewart and P. W. Trinder. Computer Languages, Systems and Structures, 2014.
  DOI 10.1016/j.cl.2014.03.001
• Implementing a High-level Distributed-Memory Parallel Haskell in Haskell, with P. W. Trinder. In Proceedings of IFL 2011, Springer.
  Full version (pdf, 182 KB)   Sources (github)
• Seq no more: Better Strategies for Parallel Haskell, with S. Marlow, H-W. Loidl, M. K. Aswad and P. W. Trinder. In Proceedings of Haskell 2010, ACM Press.
  DOI 10.1145/1863523.1863535
• Inductive Reasoning for Shape Invariants, with L. Georgieva. In FTP 2009 Workshop Proceedings, University of Oslo.
  Full version (pdf, 274 KB)   Experiments (zip, 112 KB)
• Deciding Extensions of the Theories of Vectors and Bags. In Proceedings of VMCAI 2009, Springer.
  SpringerLink   Pre-print (pdf, 240 KB)

• Safety Guarantees from Explicit Resource Management, with D. Aspinall and I. Stark. In Proceedings of FMCO 2007, Springer.
  SpringerLink   Pre-print (pdf, 337 KB)
• Monitoring External Resources in Java MIDP, with D. Aspinall and I. Stark. In Proceedings of REM 2007, ENTCS 197(1), Elsevier.
  ENTCS version (DOI link)   Pre-print (pdf, 218 KB)
• Description Logics for Shape Analysis, with L. Georgieva. In Proceedings of SEFM 2005, IEEE.
  Proceedings version (pdf, 168 KB)
• Bounded Model Checking of Pointer Programs, with W. Charatonik and L. Georgieva. In Proceedings of CSL 2005, Springer.
  Full version (pdf, 221 KB)
• Model-Checking of Specifications Integrating Processes, Data and Time, with J. Hoenicke. In Proceedings of FM 2005, Springer.
  Full version (pdf, 485 KB)
• Intuitionistic LTL and a New Characterization of Safety and Liveness. In Proceedings of CSL 2004, Springer.
  Full version (pdf, 155 KB)
• Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. In Proceedings of FOSSACS 2003, Springer.
  Full version (postscript, 311 KB)
• A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning. PhD Thesis, Universität Saarbrücken, 2003.
  Thesis (pdf, 665 KB)

You can also download a complete BibTeX bibliography or check my records on the following databases.

• ACM Digital Library
• DBLP Bibliography
• Google Scholar

Page last modified: Tuesday 5 August 2025