Patrick Maier

Research Interests

• Models of neuromorphic computation
• Parallel functional programming, cost models
  • AJITPar project (2013 - 2017)
• Parallel symbolic computation
  • HPC-GAP project (2009 - 2013)
• Resource analysis and control
  • MOBIUS project (2006 - 2009)
• Temporal logic, model checking, program analysis
• 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   Pre-print
• 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   Proofs
• 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
• 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
• 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.
  DOI 10.1007/978-3-642-34407-7_3   Pre-print
• 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.
  In CEUR Workshop Proceedings Vol-556   Pre-print
• Deciding Extensions of the Theories of Vectors and Bags. In Proceedings of VMCAI 2009, Springer.
  DOI 10.1007/978-3-540-93900-9_21   Pre-print
• Safety Guarantees from Explicit Resource Management, with D. Aspinall and I. Stark. In Proceedings of FMCO 2007, Springer.
  DOI 10.1007/978-3-540-92188-2_3   Pre-print
• Monitoring External Resources in Java MIDP, with D. Aspinall and I. Stark. In Proceedings of REM 2007, ENTCS 197(1), Elsevier.
  DOI 10.1016/j.entcs.2007.10.011
• Description Logics for Shape Analysis, with L. Georgieva. In Proceedings of SEFM 2005, IEEE.
  DOI 10.1109/SEFM.2005.16   Pre-print
• Bounded Model Checking of Pointer Programs, with W. Charatonik and L. Georgieva. In Proceedings of CSL 2005, Springer.
  DOI 10.1007/11538363_28   Extended pre-print
• Model-Checking of Specifications Integrating Processes, Data and Time, with J. Hoenicke. In Proceedings of FM 2005, Springer.
  DOI 10.1007/11526841_31   Extended pre-print
• Intuitionistic LTL and a New Characterization of Safety and Liveness. In Proceedings of CSL 2004, Springer.
  DOI 10.1007/978-3-540-30124-0_24   Pre-print
• Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. In Proceedings of FOSSACS 2003, Springer.
  DOI 10.1007/3-540-36576-1_22   Pre-print
• A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning. PhD Thesis, Universität Saarbrücken, 2003.
  Thesis

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

• ACM Digital Library
• DBLP Bibliography
• Google Scholar