% Patrick Maier's complete bibliography
% (in reverse chronological order)

@ARTICLE{Archibald_Maier_McCreesh_Stewart_Trinder_JPDC2018,
  AUTHOR    = {Archibald, Blair and Maier, Patrick and McCreesh, Ciaran and Stewart, Robert and Trinder, Phil},
  TITLE     = {Replicable Parallel Branch and Bound Search},
  JOURNAL   = {Journal of Parallel and Distributed Computing},
  YEAR      = {2018},
  VOLUME    = {113},
  PAGES     = {92--114},
  DOI       = {10.1016/j.jpdc.2017.10.010},
}

@INPROCEEDINGS{Archibald_Maier_Stewart_Trinder_DeBeule_PASCO2017,
  AUTHOR    = {Archibald, Blair and Maier, Patrick and Stewart, Robert and Trinder, Phil and De Beule, Jan},
  TITLE     = {Towards Generic Scalable Parallel Combinatorial Search},
  EDITOR    = {Faug{\`{e}}re, Jean-Charles and Monagan, Michael and Loidl, Hans-Wolfgang},
  BOOKTITLE = {Proceedings of the 8th International Workshop on Parallel Symoblic Computation, PASCO 2017; Kaiserslautern, Germany, July 23--24, 2017},
  PUBLISHER = {ACM},
  YEAR      = {2017},
  PAGES     = {a6 (10 pages)},
  DOI       = {10.1145/3115936.3115942},
}

@INPROCEEDINGS{Maier_Morton_Trinder_FHPC2016,
  AUTHOR    = {Maier, Patrick and Morton, John Magnus and Trinder, Phil},
  TITLE     = {{JIT} Costing Adaptive Skeletons for Performance Portability},
  EDITOR    = {Duke, David and Kameyama, Yukiyoshi},
  BOOKTITLE = {Proceedings of the 5th International Workshop on Functional High-Performance Computing, {FHPC}@{ICFP} 2016; Nara, Japan, September 22, 2016},
  PUBLISHER = {ACM},
  YEAR      = {2016},
  PAGES     = {23--30},
  DOI       = {10.1145/2975991.2975995},
}

@INPROCEEDINGS{Morton_Maier_Trinder_RAC2016,
  AUTHOR    = {Morton, John Magnus and Maier, Patrick and Trinder, Phil},
  EDITOR    = {van Eekelen, Marko and Eder, Kerstin},
  TITLE     = {{JIT}-Based Cost Analysis for Dynamic Program Transformations},
  BOOKTITLE = {Proceedings of the First International Workshop on Resource Aware Computing, RAC 2016; Eindhoven, The Netherlands, April 2, 2016},
  PUBLISHER = {Elsevier},
  SERIES    = {Electronic Notes in Theoretical Computer Science},
  VOLUME    = {330},
  YEAR      = {2016},
  PAGES     = {5--25},
  DOI       = {10.1016/j.entcs.2016.12.012},
}

@INPROCEEDINGS{Maier_RWDSL2016,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Stewart, Robert and Michealson, Greg},
  TITLE     = {Why So Many? A Brief Tour of {Haskell} {DSLs} for Parallel Programming},
  BOOKTITLE = {RWDSL '16, Proceedings of the 1st International Workshop on Real World Domain Specific Languages; Barcelona, Spain, March 12, 2016},
  PUBLISHER = {ACM},
  YEAR      = {2016},
  DOI       = {10.1145/2889420.2893172},
  INFO      = {not peer reviewed},
}

@ARTICLE{Behrends_Hammond_Janjic_Konovalov_Linton_Loidl_Maier_Trinder_CPE2016,
  AUTHOR    = {Behrends, Reimer and Hammond, Kevin and Janjic, Vladimir and Konovalov, Alexander and Linton, Steve and Loidl, Hans-Wolfgang and Maier, Patrick and Trinder, Phil},
  TITLE     = {{HPC-GAP}: engineering a 21st-century high-performance computer algebra system},
  JOURNAL   = {Concurrency and Computation: Practice and Experience},
  VOLUME    = {28},
  NUMBER    = {13},
  PAGES     = {3606--3636},
  YEAR      = {2016},
  DOI       = {10.1002/cpe.3746},
}

@ARTICLE{Stewart_Maier_Trinder_JFP2016,
  AUTHOR    = {Stewart, Robert and Maier, Patrick and Trinder, Phil},
  TITLE     = {Transparent fault tolerance for scalable functional computation},
  JOURNAL   = {Journal of Functional Programming},
  YEAR      = {2016},
  VOLUME    = {26},
  PAGES     = {e5 (42 pages)},
  DOI       = {10.1017/S095679681600006X},
}

@TECHREPORT{Maier_Morton_Trinder_TR2016,
  AUTHOR      = {Maier, Patrick and  Morton, John Magnus and Trinder, Phil},
  TITLE       = {Towards an Adaptive Skeleton Framework for Performance Portability},
  INSTITUTION = {School of Computing Science, University of Glasgow},
  NUMBER      = {TR-2016-001},
  YEAR        = {2016},
  INFO        = {not peer reviewed; revised Maier_Morton_Trinder_IFL2015},
}

@INPROCEEDINGS{Maier_Morton_Trinder_IFL2015,
  AUTHOR    = {Maier, Patrick and  Morton, John Magnus and Trinder, Phil},
  EDITOR    = {L{\"a}mmel, Ralf},
  TITLE     = {Towards an Adaptive Framework for Performance Portability},
  BOOKTITLE = {Implementation and Application of Functional Languages, 27th International Symposium, IFL 2015; Koblenz, Germany, September 14-16, 2015; Pre-proceedings},
  YEAR      = {2015},
  INFO      = {not peer reviewed},
}

@TECHREPORT{Morton_Maier_Trinder_TR2015,
  AUTHOR      = {Morton, John Magnus and Maier, Patrick and Trinder, Phil},
  TITLE       = {Costing {JIT} Traces},
  INSTITUTION = {School of Computing Science, University of Glasgow},
  NUMBER      = {TR-2015-001},
  YEAR        = {2015},
  INFO        = {not peer reviewed; revised Morton_Maier_Trinder_TFP2015},
}

@INPROCEEDINGS{Morton_Maier_Trinder_TFP2015,
  AUTHOR    = {Morton, John Magnus and Maier, Patrick and Trinder, Phil},
  EDITOR    = {Serrano, Manuel and Hage, Jurriaan},
  TITLE     = {Costing and Transforming {JIT} Traces for Adaptive Parallelism},
  BOOKTITLE = {Trends in Functional Programming, 16th International Symposium, TFP 2015; Sophia Antipolis, France, June 3-5, 2015; Draft proceedings},
  YEAR      = {2015},
  INFO      = {not peer reviewed},
}

@INPROCEEDINGS{Maier_Stewart_Trinder_Haskell2014,
  AUTHOR    = {Maier, Patrick and Stewart, Robert and Trinder, Phil},
  TITLE     = {The {HdpH} {DSLs} for Scalable Reliable Computation},
  EDITOR    = {Swierstra, Wouter},
  BOOKTITLE = {Haskell'14, Proceedings of the 2014 {ACM} {SIGPLAN} Symposium on {Haskell}; Gothenburg, Sweden, September 4-5, 2014},
  PUBLISHER = {ACM},
  YEAR      = {2014},
  PAGES     = {65--76},
  DOI       = {10.1145/2633357.2633363},
}

@INPROCEEDINGS{Maier_Livesey_Loidl_Trinder_EuroPar2014,
  AUTHOR    = {Maier, Patrick and Livesey, Daria and Loidl, Hans{-}Wolfgang and Trinder, Phil},
  EDITOR    = {Silva, Fernando and Dutra, In{\^{e}}s and Santos Costa, V{\'{\i}}tor},
  TITLE     = {High-Performance Computer Algebra: {A} {Hecke} Algebra Case Study},
  BOOKTITLE = {Euro-Par 2014 Parallel Processing, 20th International Conference; Porto, Portugal, August 25-29, 2014; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {8632},
  YEAR      = {2014},
  PAGES     = {415--426},
  DOI       = {10.1007/978-3-319-09873-9_35},
}

@ARTICLE{Maier_Stewart_Trinder_COMLAN2014,
  AUTHOR    = {Maier, P. and Stewart, R. and Trinder, P. W.},
  TITLE     = {Reliable scalable symbolic computation: {The} design of {SymGridPar2}},
  JOURNAL   = {Computer Languages, Systems {\&} Structures},
  YEAR      = {2014},
  VOLUME    = {40},
  NUMBER    = {1},
  PAGES     = {19--35},
  DOI       = {10.1016/j.cl.2014.03.001},
  INFO      = {revised/extended Maier_Stewart_Trinder_SAC2013},
}

@INPROCEEDINGS{Saeed_Maier_Trinder_Georgieva_IFL2013,
  AUTHOR    = {al Saeed, Majed and Maier, Patrick and Trinder, Phil and Georgieva, Lilia},
  EDITOR    = {Plasmeijer, Rinus and Hinze, Ralf},
  TITLE     = {A Critical Analysis of Parallel Functional Profilers},
  BOOKTITLE = {Implementation and Application of Functional Languages, 25th International Symposium, IFL 2013; Nijmwegen, The Netherlands, August 28-30, 2013; Pre-proceedings},
  YEAR      = {2013},
  INFO      = {not peer reviewed},
}

@INPROCEEDINGS{Maier_Stewart_Trinder_SAC2013,
  AUTHOR    = {Maier, Patrick and Stewart, Rob and Trinder, Phil},
  TITLE     = {Reliable Scalable Symbolic Computation: {The} Design of {SymGridPar2}},
  BOOKTITLE = {28th ACM Symposium On Applied Computing, SAC 2013; Coimbra, Portugal, March 18-22, 2013},
  PUBLISHER = {ACM Press},
  YEAR      = {2013},
  PAGES     = {1674--1681},
}

@INPROCEEDINGS{Stewart_Trinder_Maier_TFP2012,
  AUTHOR    = {Stewart, Rob and Trinder, Phil and Maier, Patrick},
  EDITOR    = {Loidl, Hans{-}Wolfgang and Pe{\~{n}}a, Ricardo},
  TITLE     = {Supervised Workpools for Reliable Parallel Computing},
  BOOKTITLE = {Trends in Functional Programming, 13th International Symposium, TFP 2012; St Andrews, UK, June 12-14, 2012; Revised Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {7829},
  YEAR      = {2013},
  PAGES     = {247--262},
}

@INPROCEEDINGS{Saeed_Maier_Trinder_Georgieva_TFP2012,
  AUTHOR    = {al Saeed, Majed and Maier, Patrick and Trinder, Phil and Georgieva, Lilia},
  EDITOR    = {Loidl, Hans{-}Wolfgang and Pe{\~{n}}a, Ricardo},
  TITLE     = {{HdpHprof}: A Profiler for {Haskell} Distributed Parallel {Haskell}},
  BOOKTITLE = {Trends in Functional Programming, 13th International Symposium, TFP 2012; St Andrews, UK, June 12-14, 2012; Draft proceedings},
  YEAR      = {2012},
  INFO      = {not peer reviewed},
}

@INPROCEEDINGS{Maier_Trinder_IFL2011,
  AUTHOR    = {Maier, Patrick and Trinder, Phil},
  EDITOR    = {Gill, Andy and Hage, Jurriaan},
  TITLE     = {Implementing a High-level Distributed-Memory Parallel {Haskell} in {Haskell}},
  BOOKTITLE = {Implementation and Application of Functional Languages, 23rd International Symposium, IFL 2011; Lawrence, KS, USA, October 3-5, 2011; Revised Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {7257},
  YEAR      = {2012},
  PAGES     = {35--50},
}

@INPROCEEDINGS{Marlow_Maier_Loidl_Aswad_Trinder_Haskell2010,
  AUTHOR    = {Marlow, Simon and Maier, Patrick and Loidl, Hans-Wolfgang and Aswad, Mustafa K. and Trinder, Phil},
  EDITOR    = {Gibbons, Jeremy},
  TITLE     = {Seq no more: Better Strategies for Parallel {Haskell}},
  BOOKTITLE = {Haskell'10, Proceedings of the 2010 ACM SIGPLAN Haskell Symposium; Baltimore, MD, USA, September 30, 2010},
  PUBLISHER = {ACM Press},
  YEAR      = {2010},
  PAGES     = {91--102},
}

@INPROCEEDINGS{Georgieva_Maier_FTP2009,
  AUTHOR    = {Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Peltier, Nicolas Peltier and Sofronie-Stokkermans, Viorica},
  TITLE     = {Inductive Reasoning for Shape Invariants},
  BOOKTITLE = {First-order Theorem Proving, FTP 2009; International Workshop; Oslo, Norway, July 2009; Proceedings},
  PUBLISHER = {University of Oslo},
  SERIES    = {Department of Informatics Research Report},
  VOLUME    = {386},
  YEAR      = {2009},
  PAGES     = {75--89},
}

@INPROCEEDINGS{Maier_VMCAI2009,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Jones, Neil D. and M{\"u}ller-Olm, Markus},
  TITLE     = {Deciding Extensions of the Theories of Vectors and Bags},
  BOOKTITLE = {Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009; Savannah, GA, USA, January 18-20, 2009; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {5403},
  YEAR      = {2009},
  PAGES     = {245--259},
}

@INPROCEEDINGS{Aspinall_Maier_Stark_FMCO2007,
  AUTHOR    = {Aspinall, David and Maier, Patrick and Stark, Ian},
  EDITOR    = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.},
  TITLE     = {Safety Guarantees from Explicit Resource Management},
  BOOKTITLE = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007; Amsterdam, The Netherlands, October 24-26, 2007; Revised Lectures},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {5382},
  YEAR      = {2008},
  PAGES     = {52--71},
}

@INPROCEEDINGS{Aspinall_Maier_Stark_REM2007,
  AUTHOR    = {Aspinall, David and Maier, Patrick and Stark, Ian},
  EDITOR    = {Massacci, Fabio and Piessens, Frank},
  TITLE     = {Monitoring External Resources in {Java} {MIDP}},
  BOOKTITLE = {Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM 2007; Dresden, Germany, September 27, 2007},
  PUBLISHER = {Elsevier},
  SERIES    = {Electronic Notes in Theoretical Computer Science},
  VOLUME    = {197(1)},
  YEAR      = {2008},
  PAGES     = {17--30},
}

@INPROCEEDINGS{Georgieva_Maier_SEFM2005,
  AUTHOR    = {Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Aichering, Bernhard K. and Beckert, Bernhard},
  TITLE     = {Description Logics for Shape Analysis},
  BOOKTITLE = {SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods; Koblenz, Germany, September 7-9, 2005; Proceedings},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR      = {2005},
  PAGES     = {321--330},
}

@INPROCEEDINGS{Charatonik_Georgieva_Maier_CSL2005,
  AUTHOR    = {Charatonik, Witold and Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Ong, Luke},
  TITLE     = {Bounded Model Checking of Pointer Programs},
  BOOKTITLE = {Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL; Oxford, UK, August 22-25, 2005; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3634},
  YEAR      = {2005},
  PAGES     = {397--412},
}

@INPROCEEDINGS{Hoenicke_Maier_FM2005,
  AUTHOR    = {Hoenicke, Jochen and Maier, Patrick},
  EDITOR    = {Fitzgerald, John S. and Hayes, Ian J. and Tarlecki, Andrzej},
  TITLE     = {Model-Checking of Specifications Integrating Processes,
               Data and Time},
  BOOKTITLE = {FM 2005: Formal Methods; Newcastle, UK, July 18-22, 2005; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3582},
  YEAR      = {2005},
  PAGES     = {465--480},
}

@INPROCEEDINGS{Maier_CSL2004,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Marcinkowski, Jerzy and Tarlecki, Andrzej},
  TITLE     = {Intuitionistic {LTL} and a New Characterization of Safety and Liveness},
  BOOKTITLE = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL; Karpacz, Poland, September 20-24, 2004; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3210},
  YEAR      = {2004},
  PAGES     = {295--309},
}

@INPROCEEDINGS{Maier_FOSSACS2003,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Gordon, Andrew D.},
  TITLE     = {Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete},
  BOOKTITLE = {Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003; Warsaw, Poland, April 7-11, 2003; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2620},
  YEAR      = {2003},
  PAGES     = {343--357},
}

@PHDTHESIS{Maier_PhD2003,
  AUTHOR    = {Maier, Patrick},
  TITLE     = {A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning},
  SCHOOL    = {Universit{\"a}t des Saarlandes},
  ADDRESS   = {Saarbr{\"u}cken},
  MONTH     = {July},
  YEAR      = {2003},
}

@INPROCEEDINGS{MAIER_ELICS2002,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Charatonik, Witold and Ganzinger, Harald},
  TITLE     = {A Framework for Circular Assume-Guarantee Rules},
  BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi; Saarbr{\"u}cken, Germany; Proceedings},
  PUBLISHER = {Max-Planck Institut f{\"u}r Informatik, Saarbr{\"u}cken, Germany},
  SERIES    = {Research Report},
  VOLUME    = {MPI-I-2002-2-007},
  YEAR      = {2002},
  PAGES     = {55--58},
}

@INPROCEEDINGS{Maier_ICALP2001,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Orejas, Fernando and Spirakis, Paul G. and van Leeuwen, Jan},
  TITLE     = {A Set-Theoretic Framework for Assume-Guarantee Reasoning},
  BOOKTITLE = {Automata, Languages and Programming: 28th International Colloquium, ICALP 2001; Crete, Greece, July 8-12, 2001; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2076},
  YEAR      = {2001},
  PAGES     = {821--834},
}

@INPROCEEDINGS{Goebel_Maier_CASC2000,
  AUTHOR    = {G{\"o}bel, Manfred and Maier, Patrick},
  EDITOR    = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
  TITLE     = {Three Remarks on Comprehensive {Gr{\"o}bner} and {SAGBI} Bases},
  BOOKTITLE = {Proceedings of the Third Workshop on Computer Algebra in Scientific Computing (CASC 2000)},
  PUBLISHER = {Springer},
  YEAR      = {2000},
  PAGES     = {191--202},
}

@TECHREPORT{Maier_Goebel_Buendgen_TR1995,
  AUTHOR      = {Maier, Patrick and G{\"o}bel, Manfred and B{\"u}ndgen, Reinhard},
  TITLE       = {A Multi-Threaded Unfailing Completion},
  INSTITUTION = {Wilhelm-Schickard-Institut f{\"u}r Informatik, Universit{\"a}t T{\"u}bingen},
  NUMBER      = {95-06},
  YEAR        = {1995},
  INFO        = {not peer reviewed},
}