Patrick Maier

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