Patrick Maier
Research Assistant
Photograph
Department of Computer Science
School of Mathematical and Computer Sciences
Heriot-Watt University
Email:
P.Maier@hw.ac.uk
Phone:
+44 (131) 451 4179
Office:
G53 Earl Mountbatten Building
Edinburgh EH14 4AS
Research Interests
Parallel symbolic computation
in the
HPC-GAP
project
Resource analysis and control
in the
MOBIUS
project (2006 - 2009)
Temporal logic
Software verification
Compositional verification, assume-guarantee reasoning
Teaching
Spring 2010:
Distributed and Parallel Technology
Recent Publications
Reliable Scalable Symbolic Computation: The Design of SymGridPar2
, with R. Stewart and P. W. Trinder. In
Proceedings of SAC 2013
, ACM Press.
Pre-print (pdf, 239 KB)
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.
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
DBLP record
.
Page last modified: Tuesday 26 March 2013