Patrick Maier

ORCID

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 11

Top Venues

Euro-Par

Artif. Intell. Medicine

CoRR

Comput. Lang. Syst. Struct.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Mila Goranova, Gabriela Ochoa, Patrick Maier, Andrew Hoyle
Evolutionary optimisation of antibiotic dosing regimens for bacteria with different levels of resistance. Artif. Intell. Medicine 133 (2022)
Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder
YewPar: skeletons for exact combinatorial search. PPoPP (2020)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par (2019)
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113 (2018)
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
Replicable Parallel Branch and Bound Search. CoRR (2017)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC (2017)
John Magnus Morton, Patrick Maier, Phil Trinder
JIT-Based Cost Analysis for Dynamic Program Transformations. Electron. Notes Theor. Comput. Sci. 330 (2016)
Robert J. Stewart, Patrick Maier, Phil Trinder
Transparent fault tolerance for scalable functional computation. J. Funct. Program. 26 (2016)
Patrick Maier
Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming. RWDSL@CGO (2016)
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Patrick Maier, John Magnus Morton, Phil Trinder
JIT costing adaptive skeletons for performance portability. FHPC@ICFP (2016)
Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par (2014)
Patrick Maier, Robert J. Stewart, Phil Trinder
The HdpH DSLs for scalable reliable computation. Haskell (2014)
Patrick Maier, Robert J. Stewart, Philip W. Trinder
Reliable scalable symbolic computation: The design of SymGridPar2. Comput. Lang. Syst. Struct. 40 (1) (2014)
Patrick Maier, Robert J. Stewart, Philip W. Trinder
Reliable scalable symbolic computation: the design of SymGridPar2. SAC (2013)
Robert J. Stewart, Phil Trinder, Patrick Maier
Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming (2012)
Patrick Maier, Philip W. Trinder
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. IFL (2011)
Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder
Seq no more: better strategies for parallel Haskell. Haskell (2010)
Lilia Georgieva, Patrick Maier
Inductive Reasoning for Shape Invariants. FTP (2009)
Patrick Maier
Deciding Extensions of the Theories of Vectors and Bags. VMCAI (2009)
David Aspinall, Patrick Maier, Ian Stark
Monitoring External Resources in Java MIDP. Electron. Notes Theor. Comput. Sci. 197 (1) (2008)
David Aspinall, Patrick Maier, Ian Stark
Safety Guarantees from Explicit Resource Management. FMCO (2007)
Lilia Georgieva, Patrick Maier
Description Logics for Shape Analysis. SEFM (2005)
Jochen Hoenicke, Patrick Maier
Model-Checking of Specifications Integrating Processes, Data and Time. FM (2005)
Witold Charatonik, Lilia Georgieva, Patrick Maier
Bounded Model Checking of Pointer Programs. CSL (2005)
Lilia Georgieva, Patrick Maier
Towards Using Description Logics for Symbolic Shape Analysis. Description Logics (2005)
Patrick Maier
Intuitionistic LTL and a New Characterization of Safety and Liveness. CSL (2004)
Patrick Maier
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. FoSSaCS (2003)
Patrick Maier
A Set-Theoretic Framework for Assume-Guarantee Reasoning. ICALP (2001)

Patrick Maier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Maier