Patrick Maier

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