Publications (since August 2002)

See also publications up to 1998, publications 1999-2002, my entries in the DBLP paper database, and my publications at the TCS chair at LMU University, Munich.

Editorships

• M. Hofmann, H-W. Loidl (eds.)
  " Applied Semantics "
  Special issue of Theoretical Computer Science, 364(3), Nov 2006. Elsevier, ISSN 0304-3975.
• H-W. Loidl (ed.)
  " TFP04: Fifth Symposium on Trends in Functional Programming " Munich, Germany, November 25-26, 2004. Intellect, ISBN 1-84150-144-1.
• G. J. Michaelson, P. W. Trinder, H-W. Loidl (eds.)
  " Trends in Functional Programming " Stirling, Scotland, UK, Aug 29 - Sep 1, 1999. Intellect, ISBN 1-84150-024-0.

Refereed Publications

• Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer.
  "A Proof-carrying-code Infrastructure for Resources."
  In LADC09 --- Fourth Latin American Symposium on Dependable Computing, Joao Pessoa, Paraiba, Brazil, September 1--4, 2009.
  pdf
• Abyd Al Zain, Valerie Gibson, Greg Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl.
  "Towards Hume SIMD Vectorisation."
  In EUSIPCO09 --- European Signal Processing Conference, Glasgow, Scotland, August 24--28, 2009.
  pdf
• Steffen Jost, Hans-Wolfgang Loidl, Norman Scaife, Kevin Hammond, Greg Michaelson, Martin Hofmann.
  "Worst-Case Execution Time Analysis through Types"
  In ECRTS'09: EUROMICRO Conference on Real-Time Systems, Dublin, Ireland, July 1-3, 2009.
  pdf
• Gudmund Grov, Greg Michaelson, Steffen Jost, Christoph Hermann, Hans-Wolfgang Loidl.
  "An application of Hume analysis to imperative programs"
  In SETP09: Intl. Conf. on Software Engineering Theory and Practice, Orlando, FL, USA, July 13--16, 2009.
• H-W. Loidl, P.W. Trinder, K. Hammond, A.D. Al Zain, C. Baker-Finch
  "Semi-Explicit Parallel Programming in a Purely Functional Style: GpH"
  Book chapter in Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, Michael Alexander, Bill Gardner (Eds), Chapman and Hall, 2008. ISBN 9781420064865. To appear.
  pdf
• Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl
  "Scheduling light-weight parallelism in ArTCoP"
  In Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (PADL08), San Francisco, USA, January 7-8, 2008. (Co-located with ACM POPL'08).
  pdf
• A. Al Zain, P.W. Trinder, G.J. Michaelson, H-W. Loidl
  "Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs "
  In IEEE Transactions on Parallel and Distributed Systems, (19)2:219-233, Feb 2008.
  DOI,pdf
• Abdallah D. Al Zain, Phil W. Trinder, Hans-Wolfgang Loidl, Greg J. Michaelson.
  "Supporting High-Level Grid Parallel Programming: the Design and Implementation of Grid-GUM2"
  Proceedings of the All Hands Meeting 2007 (AHM2007) to the UK e-Science Programme, Nottingham 10 - 13 Sept 2007.
  
• Armelle Bonenfant, Kevin Hammond, Christoph A. Herrmann, Steffen Jost, Hans-Wolfgang Loidl, Robert Pointon.
  "Automatic Amortised Worst-Case Execution Time Analysis"
  In 7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007.
  pdf
• A. Al Zain, K. Hammond, P.W. Trinder, S. Linton, H-W. Loidl, and M. Costanti.
  " SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids "
  Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS07), May 27-30, 2007, University of Beijing, China.
  pdf
• A. Rauber Du Bois, P. Trinder, H-W. Loidl.
  "Strong Mobility in Mobile Haskell"
  Journal of Universal Computer Science, Vol. 12, No. 7, pp. 868-884. Selected papers of SBLP'06: 10th Brazilian Symposium on Programming Languages, Itatiaia, Brazil, May 15-17, 2006.
  pdf
• K. Hammond, C. Ferdinand, R. Heckmann, R. Dyckhoff, M. Hoffmann, S. Jost, H-W. Loidl, G. Michaelson, R. Pointon, N. Scaife, J. Serot, and A. Wallace. "Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems"
  In Intl Workshop on Worst-Case Execution Time (WCET) Analysis, Dresden, Germany, 4 July 2006.
  pdf
• David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl and Alberto Momigliano.
  "A Program Logic for Resources". In Theoretical Computer Science, Volume 389, Issue 3, 15 December 2007, Pages 411-445.
  DOI,.pdf
• D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark, L. Beringer, H-W. Loidl, K. MacKenzie, A. Momigliano and O. Shkaravska.
  "Mobile Resource Guarantees."
  In Trends in Functional Programing, Intellect, Tallinn, Estonia, Sep 23-24, 2005, Vol. 6.
  .pdf
• A. Rauber Du Bois, P. Trinder, H-W. Loidl.
  "mHaskell: Mobile Computation in a Purely Functional Language".
  In Journal of Universal Computer Science, Vol. 11, No. 7, pp. 1234-1254. Selected papers from the SBLP'05: 9th Brazilian Symposium on Programming Languages, Recife, Brazil, May 23-25, 2005.
  .ps.gz
• A. Al Zain, P. W. Trinder, H-W. Loidl, and G. J. Michaelson.
  "Managing Heterogeneity in a Grid Parallel Haskell".
  In Scalable Computing: Practice and Experience, Vol. 7, No. 3, pp. 9-25. Selected papers from Practical Aspects of High-level Parallel Programming, May 22-25, 2005, Atlanta, USA.
  pdf
• M. Lange, H-W. Loidl.
  "Parallel and Symbolic Model Checking for Fixpoint Logic with Chop".
  In PDMC'04: Intl. Workshop on Parallel and Distributed Techniques in Verification, London, U.K, September 2004. In Electronic Notes on Theoretical Computer Science (ENTCS), 128(3):125-138.
  ps.gz
• D. Aspinall, L. Beringer, M. Hofmann, H-W. Loidl, A. Momigliano.
  "A Program Logic for Resource Verification".
  In TPHOL04: Intl. Conf. on Theorem Proving in Higher Order Logics, Park City, UT, USA, September, 2004. LNCS 3223, p 34-49.
  ps.gz
• A. Rauber Du Bois, P. Trinder, H-W. Loidl.
  "Towards Mobility Skeletons".
  In Parallel Processing Letters, 15(3):273-288. Selected papers of CMPP'04 --- Intl. Workshop on Constructive Methods for Parallel Programming, Stirling, Scotland, UK, July 2004.
  ps.gz
• A. Rauber Du Bois, P.W. Trinder, and H-W. Loidl.
  "Implementing Mobile Haskell"
  TFP 2003: Fourth Symposium on Trends in Functional Programming, September 11th-12th 2003, Edinburgh, Scotland. Intellect 2004.
  ps.gz

Unrefereed Publications

• H-W. Loidl, L. Beringer..
  "Certificates".
  Deliverable D21 of the EmBounded project. July 2008.
  .pdf
• H-W. Loidl, G. Grov.
  "Assertion Language".
  Deliverable D17 of the EmBounded project. October 2007.
  .pdf
• M. Hofmann, H-W. Loidl, L. Beringer.
  "Certification of Quantitative Properties of Programs." In Logical Aspects of Secure Computer Systems, IOS Press, Marktoberdorf, Aug 2-13, 2005.
  .pdf
• H-W. Loidl
  "A Resource-aware Program Logic for a JVM-like Language".
  In Kolloquium Programmiersprachen und Grundlagen der Programmierung, Univ of Freiburg, Germany, 17-19 March, 2004. Technical Report 213 of the Institute for Informatics, University Freiburg.
  ps.gz
• H-W. Loidl, K. MacKenzie.
  "A Gentle Introduction to Camelot."
  Technical Report. LFCS, Univ of Edinburgh \& Inst for Informatics, LMU Univ, September 2004.
  ps
• Andre Rauber Du Bois, Phil Trinder, and Hans-Wolfgang Loidl.
  "Mobile Computation in Haskell"
  Draft proceedings of WFLP'03: 12th Int'l Workshop on Functional and (Constraint) Logic Programming, Valencia, Spain, June 12-13.
  ps.gz