Publications (Heriot-Watt, 2009-)

See also publications up to 1998, HWU 1999-2002 and publications since 2002.

Drafts

• Vladimir Janjic, Christopher Brown, Max Neunhoffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl.
  "Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing"
  Submitted to ParCo2013: International Conference on Parallel Computing, Munich, Germany, 10-13 September 2013.
• Prabhat Totoo, Hans-Wolfgang Loidl.
  "Parallel Haskell implementations of the n-body problem"
  In Concurrency: Practice and Experience, Special Issue on the SICSA MultiCore Challenge. Submitted.
• Hans-Wolfgang Loidl, Gudmund Grov.
  "A Reasoning Infrastructure for the Embedded Systems Language Hume."
  In preparation. pdf

Editorships

• Hans-Wolfgang Loidl, Ricardo Pena.
  " TFP'12: Thirteenth Symposium on Trends in Functional Programming " St Andrews, Scotland, June 12-14, 2012.
  Lecture Notes in Computer Science, Springer. To appear.

Journal papers

• P.W. Trinder, M. I. Cole, K. Hammond, H-W. Loidl and G.J. Michaelson.
  "Resource Analyses for Parallel and Distributed Coordination"
  In Concurrency: Practice and Experience, 25(3):309-348, March 2013.
  DOI: 10.1002/cpe.1898
• S. Linton, K. Hammond, A. Konovalov, C. Brown, P.W. Trinder, H.-W. Loidl, P. Horn, D. Roozemond.
  "Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation"
  In Journal of Symbolic Computation, 49:95-119, Feb 2013.
  DOI: 10.1016/j.jsc.2011.12.019

Books and Book Chapters

• P.W. Trinder, K. Hammond, H-W. Loidl.
  "Encyclopedia of Parallel Computing: Parallel Functional Languages"
  Padua D. (Ed), 1st Edition, Springer Verlag, (2011) ISBN 978-0-387-09844-9.

Conference Papers

• Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl
  "Haskell vs. F# vs. Scala: A High-level Language Features and Parallelism Support Comparison"
  In FHPC'12: Workshop on Functional High-Performance Computing, p. 49-60, Copenhagen, Denmark, September 15, 2012.
  DOI: 10.1145/2364474.2364483, pdf
• Pantazis Deligiannis, Hans-Wolfgang Loidl, Evangelia Kouidi.
  "Improving the Diagnosis of Mild Hypertrophic Cardiomyopathy with MapReduce"
  In The Third International Workshop on MapReduce and its Applications (MAPREDUCE'12), (part of HPDC'2012), p. 41-48, Delft, the Netherlands, June 18-19, 2012. ACM Press.
  DOI:10.1145/2287016.2287025
• M.Kh. Aswad, P.W. Trinder, Hans-Wolfgang Loidl.
  "Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH)"
  In ICCS12: International Conference on Computational Science, p. 1807-1816, Omaha, Nebraska, June 4-6, 2012.
  DOI: 10.1016/j.procs.2012.04.199
• Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Phil Trinder.
  "Architecture-Aware Cost Modelling for Parallel Performance Portability"
  In ATPS'12: Arbeitstagung Programmiersprachen, p. 105-120, Berlin, February 2012.
• Chris Brown, Hans-Wolfgang Loidl, Kevin Hammond.
  "ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques"
  In TFP'11, Symposium on Trends in Functional Programming, Madrid, Spain, May 2011. LNCS 7193.
  
• R.J. Stewart, P.W. Trinder, H-W. Loidl.
  "Comparing High-level MapReduce Query Languages"
  In APPT'11: Intl. Conference on Advanced Parallel Processing Technologies, Shanghai, China, September 2011. Springer LNCS 6965, pages 58-72.
  pdf
• Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann.
  "Static Determination of Quantitative Resource Usage for Higher-Order Programs"
  In POPL'10: Symposium on Principles of Programming Languages, Madrid, Spain, 20-22 January 2010.
  pdf, DOI: 10.1145/1706299.1706327
• C. Brown and H-W. Loidl and J. Berthold and K. Hammond.
  "Improving your CASH flow: The Computer Algebra SHell (Extended Abstract)"
  In IFL'10 --- Intl. Workshop on the Implementation of Functional Languages, September 2010. LNCS 6647, pp 169-184, Springer-Verlag.
  pdf
• The SCIEnce project,
  "SymGrid-Par: Parallel Orchestration of Symbolic Computation Systems"
  In Communications of Computer Algebra, 2010. To appear in Communications on Computer Algebra.
  pdf (shortened version of a software demonstration paper at ISSAC'10: pdf)
• S. Marlow and P. Maier and H-W. Loidl and M.K. Aswad and P. Trinder,
  "Seq no more: Better Strategies for Parallel Haskell"
  In Haskell'10 --- Haskell Symposium, Baltimore MD, U.S.A., September 2010. ACM Press
  pdf, DOI: 10.1145/1863523.1863535

Workshop Papers

• Paul A. Crook, Brieuc Roblin, Hans-Wolfgang Loidl, Oliver Lemon.
  "Parallel Computing and Practical Constraints when applying the Standard POMDP Belief Update Formalism to Spoken Dialogue Management"
  In IWSDS2011 --- Intl. Workshop Series on Spoken Dialogue Systems Technology, Granada Spain, September 1 - 3, 2011.
  pdf
• Hans-Wolfgang Loidl, Steffen Jost.
  "Improvements to a Resource Analysis for Hume"
  In FOPARA'09: International Workshop on Foundational and Practical Aspects of Resource Analysis. Eindhoven, The Netherlands, 3 November, 2009. LNCS 6324, Springer.
  pdf
• Phil Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson.
  "Characterising Effective Resource Analyses for Parallel and Distributed Coordination"
  In FOPARA'09: International Workshop on Foundational and Practical Aspects of Resource Analysis. Eindhoven, The Netherlands, 3 November, 2009. LNCS 6324, Springer.
  pdf