Publications (Heriot-Watt, 2009-)

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

Drafts

Editorships

• Jean-Charles Faugère, Michael B. Monagan, Hans-Wolfgang Loidl
  "Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO'17",
  Kaiserslautern, Germany, July 23-24, 2017. ACM 2017, ISBN 978-1-4503-5288-8
• Hans-Wolfgang Loidl, Ricardo Pena.
  "Special Issue on Trends in Functional Programming (TFP) 2011/12"
  COMLAN: Computer Languages, Systems & Structures, Vol. 44 , Part B 2015. DOI: 10.1016/j.cl.2015.09.001
• Hans-Wolfgang Loidl, Jeremy Singer.
  "Special Issue on the SICSA MultiCore Challenge"
  Concurrency: Practice and Experience, Vol 26, Issue 4.
• 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, Vol 7829, Springer, July 2013.

Selected Theses

• Helen Rankin.
  "Improving the Security and Correctness of a Historical Massively Multiplayer Online Role-Playing Game Server"
  MEng Software Engineering Thesis, Heriot-Watt University, 2016. Awarded: Cooper-Walker Engineering Ltd Prize for best thesis, Heriot-Watt, 2015/16.
  .pdf
• David A. Bond.
  "Design and implementation of a massively multi-player online historical role-playing game"
  MSc Thesis, Heriot-Watt University, 2015. Awarded: Best MSc thesis in Computer Science, Heriot-Watt, 2014/15.
  .pdf

Journal papers

• Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond.
  "PAEAN: Portable and Scalable Runtime Support for Parallel Haskell Dialects."
  In Journal of Functional Programming, 26(10), July 2016.
  DOI: 10.1017/S0956796816000010, pdf, data-set.
• I.S. Ibrahim, H-W. Loidl, P. Trinder
  "High-performance Cloud Computing for the Symbolic Computation Domain"
  In Journal of Computations & Modelling, Vol. 6, issue 1, pp. 107-133, March 2016.
  URL, pdf
• Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alex Konovalov, Hans-Wolfgang Loidl, Patrick Maier, Steve Linton and Phil Trinder.
  "HPC-GAP: Engineering a 21st-Century High-Performance Computer Algebra System"
  In Concurrency and Computation: Practice and Experience, 28(13):3606-3636, Sep 2016.
  DOI: 10.1002/cpe.3746
• Idris Skloul Ibrahim, Peter J.B King, Hans-Wolfgang Loidl
  "NsGTFA A GUI tool to ease measure the network performance through Ns2 trace file"
  In Journal of Intelligent Systems (JISYS), 24(4):467-478, Jan 2015.
  DOI: 10.1515/jisys-2014-0153
• Prabhat Totoo, Hans-Wolfgang Loidl.
  "Parallel Haskell implementations of the n-body problem"
  In Concurrency: Practice and Experience, 26(4):987-1019, March 2014. Special Issue on the SICSA MultiCore Challenge.
  DOI: 10.1002/cpe.3087
• 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

• Ruairidh Macgregor, Phil Trinder, Hans-Wolfgang Loidl.
  "Improving GHC Haskell NUMA Profiling"
  In FHPNC'21: Intl Workshop on Functional High-Performance and Numerical Computing, Aug, 2021.
  .pdf, DOI: 10.1145/3471873.3472974
• Charlie Murray, Hans-Wolfgang Loidl, Brian Train.
  "A Playful Learning Exercise: Kashmir Crisis"
  In GALA21: 10th Games and Learning Alliance Conference, Dec 2021.
  .pdf, DOI: 10.1007/978-3-030-92182-8_1
• Evgenij Belikov, Hans-Wolfgang Loidl, and Greg Michaelson
  "Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell "
  In Trends in Functional Programming (TFP2018), Gothenburg, June 2018. LNCS 11457, p 1-19.
  .pdf, URL, DOI: 10.1007/978-3-030-18506-0_1
• Hans-Wolfgang Loidl and Sandy Louchart
  "The Jomini Engine: a historical MMORPG framework"
  To appear in PWH16: Playing with History, August 2016, Abertay University, Dundee.
  .pdf
• Konstantina Panagiotopoulou and Hans-Wolfgang Loidl
  "Transparently Resilient Task Parallelism for Chapel"
  In CHIUW 2016: 3rd Annual Chapel Implementers and Users Workshop.
• David A. Bond, Hans-Wolfgang Loidl, Sandy Louchart.
  "Design and Implementation of the Jomini Engine: Towards a historical Massively Multiplayer Online Role-Playing Game"
  In The Games and Learning Alliance conference (GALA 2015), Rome, Italy, Dec 9-11, 2015. LNCS 9599, p. 441-451, Springer.
  .pdf, DOI: 10.1007/978-3-319-40216-1_49
• Konstantina Panagiotopoulou and Hans-Wolfgang Loidl,
  "Towards Resilient Chapel"
  In EASC'15: Exascale Applications and Software Conference, Edinburgh, 21-23 April, 2015, p 86-91.
  ACM library
• Evgenij Belikov, Hans-Wolfgang Loidl, and Greg Michaelson
  "Towards a Characterisation of Parallel Functional Applications"
  In Software Engineering Workshops 2015 ("Arbeitstagung Programmiersprachen"), CEUR Workshop Proceedings, Vol 1337, pages 146-153.
  .pdf
• Prabhat Totoo, Hans-Wolfgang Loidl.
  "Lazy Data-Oriented Evaluation Strategies"
  In FHPC 2014: The 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, Gothenburg, Sweden, September, 2014.
  online resources, DOI: 10.1145/2636228.2636234
• Malak Aljabri, Hans-Wolfgang Loidl, and Phil Trinder
  "Balancing Shared and Distributed Heaps on NUMA Architectures"
  In TFP'14: Symposium on Trends in Functional Programming, LNCS~8843, p. 1--17, Springer, Univ of Utrecht, May 2014.
  DOI: 10.1007/978-3-319-14675-1_1
• Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder "High-Performance Computer Algebra --- A Parallel Hecke Algebra Case Study"
  In EuroPar'14: Parallel Processing, Porto, Portugal, 25-29 August, 2014. LNCS 8632, pp 415-426, Springer.
  pdf, DOI: 10.1007/978-3-319-09873-9_35
• Malak Aljabri, Hans-Wolfgang Loidl, Phil W. Trinder.
  "The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation"
  In IFL'13: International Workshop on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August/September 2013.
  DOI: 10.1145/2620678.2620682, pdf
• Hans-Wolfgang Loidl, Gudmund Grov.
  "A Reasoning Infrastructure for the Embedded Systems Language Hume."
  In FOPARA'13: International Workshop on Foundational and Practical Aspects of Resource Analysis, Bertinoro, Italy, August 29th to 31st, 2013. LNCS 8552.
  online resources, pdf, DOI: 10.1007/978-3-319-12466-7_7
• Vladimir Janjic, Christopher Brown, Max Neunhoffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl.
  "Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing"
  In ParCo2013: Parallel Computing: Accelerating Computational Science and Engineering (CSE), Munich, Germany, 10-13 September 2013.
  Advances in Parallel Computing 25, pp 225-232, IOS Press, 2014.
  DOI: 10.3233/978-1-61499-381-0-225, pdf
• 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
  DOI: 10.1145/1863523.1863535, pdf, online resources
• S. Jost and H-W. Loidl and K. Hammond and N. Scaife and M. Hofmann,
  "``Carbon Credits'' for Resource-bounded Computations using Amortised Analysis",
  In FM09 --- 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, 2-6 November, 2009. LNCS 5850, p 354-369.
  DOI: 10.1007/978-3-642-05089-3_23,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

Workshop Papers etc

• Malak Aljabri, Hans-Wolfgang Loidl, and Phil Trinder.
  "Assessing the Scalability Issues on Many-core NUMA machines"
  In preparation for SIC2015.
• Evgenij Belikov∗, Pantazis Deligiannis, Prabhat Totoo, Malak Aljabri, and Hans-Wolfgang Loidl
  "A Survey of High-Level Parallel Programming Models "
  Technical Report HW-MACS-TR-0103, Dept of Computer Science, Heriot-Watt University, December, 2013.
  , pdf
• "A Comparison of PGAS Languages on Multi-core Clusters"
  Konstantina Panagiotopoulou and Hans-Wolfgang Loidl,
  In PGAS'13: Seventh International Conference on PGAS Programming Models, Edinburgh, 3-4 Oct, 2013.
• 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