Research Output per year

## Personal profile

### Research interests

My primary research interest lies in the area of functional programming, covering foundations, program analysis, language design, (parallel) implementation, and applications. I am particularly interested in symbolic computation and embedded systems as application domains for functional languages and techniques.
My current research focus is on high-level programming models for parallel computation. In particular, I am working on the implementation of Glasgow parallel Haskell (GpH), its application to problems in the area of symbolic computation (in the and HPCGAP projects) and abstractions built on top of GpH (evaluation strategies). I have been involved in the design and implementation of the following programming languages: Glasgow parallel Haskell (GpH), Glasgow distributed Haskell (GdH), mobile Haskell and Camelot.SCIEnce
I am also doing research on foundations of programming languages and systems. In particular, I have developed a VDM-style program logic and a specialised resource logic for the expression-level fragment of the embedded systems language. For my PhD thesis I have developed a granularity analysis for deriving bounds on the costs of (non-recursive) functional programs. More recently I have contributed to the development and implementation of a type-based inference of space and time consumption of Hume programs.
My research vision is one of formally-grounded design of effective and efficient complex systems. The design of such systems should build on formal foundations, such as type systems and program logics, and use formalisations in provers such as Isabelle/HOL to achieve a high degree of dependability and to be provably effective. To be efficient the system should support, as an essential ingredient, modern computer architectures such as multi- and many-core machines in-the-small and grid- and cloud-architectures in-the-large. This vision is exemplified, by using cost information of a granularity analysis to guide the management of parallelism in GpH; by using formally-driven program transformations to enhance the performance of parallel functional programs; by developing a proof-carrying-code infrastructure to assure bounded space consumption of mobile code; by jointly developing and implementing resource analyses for embedded systems programs, and using the resource bounds in compilation and in specialised resource logics for certification

### Biography

I received an MSc ("Dipl-Ing") degree from Johannes Kepler University in Austria in 1992, and a PhD degree from the University of Glasgow in 1998 for my research on the parallel implementation of functional languages. From 1999 to 2002 I worked as a postdoctoral research fellow of the Austrian Academy of Sciences at Heriot-Watt University, Edinburgh, on architecture-independent parallelism. From 2002 to 2009 I worked as a postdoctoral researcher in the Theoretical Computer Science group at Ludwig-Maximilians University Munich on the EU-funded projects MRG and EmBounded. The goal of these projects was to develop an infrastructure for resource-safe computation, dealing with statically inferring resource bounds, (automatically) verifying concrete resource bounds, and certifying resource bounds by employing proof-carrying-code techniques. Since 2009 I am a lecturer at the School of Mathematical and Computer Sciences of Heriot-Watt University, Edinburgh.

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 5 Similar Profiles

Haskell
Mathematics

Parallelism
Mathematics

Algebra
Engineering & Materials Science

Parallel programming
Engineering & Materials Science

Data structures
Engineering & Materials Science

Resources
Mathematics

Costs
Engineering & Materials Science

Skeleton
Mathematics

##
Co Author Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 1999 2017

## Foreword

Faugère, J. C., Monagan, M. & Loidl, H. W. 23 Jul 2017 In : ACM International Conference Proceeding Series. Part F129906Research output: Contribution to journal › Editorial

## Design and Implementation of the Jomini Engine: Towards a Historical Massively Multiplayer Online Role-Playing Game

Bond, D., Loidl, H-W. & Louchart, S. 2016*Games and Learning Alliance: 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers.*De Gloria, A. & Veltkamp, R. (eds.). Springer International Publishing, p. 441-451 11 p. (Lecture Notes in Computer Science; vol. 9599)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Game

Engines

Engine

Game design

Systems analysis

## High-performance Cloud Computing for Symbolic Computation Domain

Ibrahim, I. S., Loidl, H-W. & Trinder, P. W. 2016 In : Journal of Computations and Modelling. 6, 1, p. 107-133Research output: Contribution to journal › Article

File

Cloud computing

Computational algebra

High performance

Algebra

Data structures

## HPC-GAP: Engineering a 21st-century high-performance computer algebra system

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H-W., Maier, P. & Trinder, P. 10 Sep 2016 In : Concurrency and Computation: Practice and Experience. 28, 13, p. 3606–3636 31 p.Research output: Contribution to journal › Article

High performance

Algebra

Scalability

Symbolic computation

Parallel processing systems

## PAEAN: Portable and Scalable Runtime Support for Parallel Haskell Dialects

Berthold, J., Loidl, H-W. & Hammond, K. 13 Jul 2016 In : Journal of Functional Programming. 26, 39 p., e10Research output: Contribution to journal › Article

Open Access

File

hardware

Haskell

Hardware

Parallel programming

Cloud computing

## Datasets

## Dataset for the paper "PAEAN: Portable and Scalable Runtime Support for Parallel Haskell Dialects"

Loidl, H. (Creator), Heriot-Watt University, Mar 2016

10.17861/a846d3e1-8463-4e44-bb4b-83c8e4be1259

Dataset

## Dataset for "Reasoning about resources in the embedded systems language Hume"

Loidl, H. (Creator), Heriot-Watt University, Mar 2016

10.17861/87c645c9-db55-4b6e-96f6-13ffbe046f15

Dataset