Hans-Wolfgang Loidl

2025

Empower New Code Citizens to Reflect and Communicate on Code Security

Maarek, M., Abbott, D., Chatzifoti, O., Shah, R., Chan, S. C., Loidl, H.-W., Stewart, R. J., Ferguson, J., Louchart, S., Stals, S. & Baillie, L., Mar 2025, In: IEEE Security and Privacy Magazine. 23, 2, p. 42-51 10 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

43 Downloads (Pure)

From Haskell to a New Structured Combinator Processor

Xie, Y., Ramsay, C., Stewart, R. J. & Loidl, H.-W., 5 May 2025, (Accepted/In press).

Research output: Contribution to conference › Paper › peer-review

File

355 Downloads (Pure)

2023

Benchmarking Parallelism in Unikernels

Selvacoumar, A., Stewart, R. J., Loidl, H.-W. & Soobhany, A. R., 2 May 2023, Euro-Par 2022: Parallel Processing Workshops. Springer, p. 286–293 8 p. (Lecture Notes in Computer Science; vol. 13835).

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

Open Access

File

31 Downloads (Pure)

Communicating on Security within Software Development Issue Tracking

McGregor, L., Maarek, M. & Loidl, H.-W., 6 Aug 2023.

Research output: Contribution to conference › Paper › peer-review

Open Access

File

53 Downloads (Pure)

F1TENTH: An Over-taking Algorithm Using Machine Learning

Zhang, J. & Loidl, H.-W., 16 Oct 2023, 28th International Conference on Automation and Computing (ICAC). IEEE, 10275226

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

Open Access

File

2 Citations (Scopus)

180 Downloads (Pure)

Introducing and Interfacing with Cybersecurity - A Cards Approach

Shah, R., Maarek, M., Stals, S., Baillie, L., Chan, S. C., Stewart, R., Loidl, H.-W. & Chatzifoti, O., 31 Jul 2023, arXiv.

Research output: Working paper › Preprint

File

50 Downloads (Pure)

2022

A Simple Expression Language for Automating Strategy Development Processes: Technical Report

Loidl, H.-W., Ibrahim, B. M. & Stang, E., 29 Mar 2022, Heriot-Watt University. 38 p.

Research output: Book/Report › Other report

Open Access

2021

A Playful Learning Exercise: Kashmir Crisis

Murray, C., Loidl, H.-W. & Train, B., 30 Nov 2021, Games and Learning Alliance. GALA 2021. Springer, p. 3-13 11 p. (Lecture Notes in Computer Science; vol. 13134).

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

Improving GHC Haskell NUMA profiling

MacGregor, R., Trinder, P. & Loidl, H. W., 22 Aug 2021, Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing. Keller, G. & Henriksen, T. (eds.). Association for Computing Machinery, p. 1-12 12 p.

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

1 Citation (Scopus)

2019

Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell

Belikov, E., Loidl, H.-W. & Michaelson, G., 24 Apr 2019, Trends in Functional Programming. TFP 2018. Pałka, M. & Myreen, M. (eds.). Springer, p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).

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

2016

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, p. 441-451 11 p. (Lecture Notes in Computer Science; vol. 9599).

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

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-133

Research output: Contribution to journal › Article › peer-review

File

104 Downloads (Pure)

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 Sept 2016, In: Concurrency and Computation: Practice and Experience. 28, 13, p. 3606–3636 31 p.

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

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., e10.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2 Citations (Scopus)

67 Downloads (Pure)

The Jomini Engine: a historical MMORPG framework

Loidl, H.-W. & Louchart, S., 1 Aug 2016.

Research output: Contribution to conference › Paper › peer-review

Open Access

File

122 Downloads (Pure)

Transparently resilient task parallelism for chapel

Panagiotopoulou, K. & Loidl, H.-W., 4 Aug 2016, 2016 IEEE International Parallel and Distributed Processing Symposium Workshops. IEEE, p. 1586-1595 10 p.

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

1 Citation (Scopus)

2015

Balancing shared and distributed heaps on NUMA architectures

Aljabri, M., Loidl, H. W. & Trinder, P., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8843. p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8843).

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

1 Citation (Scopus)

Editorial of Special Issue Trends in Functional Programming 2011/12

Loidl, H. W. & Peña, R., Dec 2015, In: Computer Languages, Systems and Structures. 44, Part B, p. 141-142 2 p.

Research output: Contribution to journal › Editorial › peer-review

NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File

Ibrahim, I. S., King, P. J. B. & Loidl, H.-W., Dec 2015, In: Journal of Intelligent Systems. 24, 4, p. 467-477 11 p.

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

Towards a characterisation of parallel functional applications

Belikov, E., Loidl, H. W. & Michaelson, G. J., 2015, In: CEUR Workshop Proceedings. 1337, p. 146-153 8 p.

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

2014

High-performance computer algebra: A Hecke algebra case study

Maier, P., Livesey, D., Loidl, H. W. & Trinder, P., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8632 LNCS. p. 415-426 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8632 LNCS).

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

4 Citations (Scopus)

Lazy data-oriented evaluation strategies

Totoo, P. & Loidl, H. W., 1 Jan 2014, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, p. 63-74 12 p.

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

1 Citation (Scopus)

Parallel Haskell implementations of the N-body problem

Totoo, P. & Loidl, H.-W., 25 Mar 2014, In: Concurrency and Computation: Practice and Experience. 26, 4, p. 987-1019 33 p.

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

Reasoning about resources in the embedded systems language Hume

Loidl, H. W. & Grov, G., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8552. p. 110-126 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8552).

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

SICSA multicore challenge editorial preface

Loidl, H.-W. & Singer, J., 25 Mar 2014, In: Concurrency and Computation: Practice and Experience. 26, 4, p. 929-934 6 p.

Research output: Contribution to journal › Editorial › peer-review

Space exploration using parallel orbits: A study in parallel symbolic computing

Janjic, V., Brown, C., Neunhöffer, M., Hammond, K., Linton, S. & Loidl, H. W., 1 Jan 2014, Advances in Parallel Computing. Elsevier, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing; vol. 25).

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

2 Citations (Scopus)

2013

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation

Linton, S., Hammond, K., Konovalov, A., Brown, C., Trinder, P. W., Loidl, H.-W., Horn, P. & Roozemond, D., Feb 2013, In: Journal of Symbolic Computation. 49, p. 95-119 25 p.

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

Resource analyses for parallel and distributed coordination

Trinder, P. W., Cole, M. I., Hammond, K., Loidl, H.-W. & Michaelson, G. J., 10 Mar 2013, In: Concurrency and Computation: Practice and Experience. 25, 3, p. 309-348 40 p.

Research output: Contribution to journal › Literature review › peer-review

13 Citations (Scopus)

The design and implementation of GUMSMP: A multilevel parallel haskell implementation

Aljabri, M., Loidl, H. W. & Trinder, P. W., 1 Jan 2013, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 37-48 12 p.

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

5 Citations (Scopus)

Trends in Functional Programming: 13th International Symposium, TFP 2012 St. Andrews, UK, June 12-14, 2012: Preface

Loidl, H. W. & Peña, R., 2013, Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Vol. 7829. p. v-vi (Lecture Notes in Computer Science; vol. 7829).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

2011

Parallel computing and practical constraints when applying the standard POMDP belief update formalism to spoken dialogue management

Crook, P., Roblin, B., Loidl, H.-W. & Lemon, O., 2011, Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop. López-Cózar Delgado, R. & Kobayashi, T. (eds.). Springer, p. 189-201 13 p.

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

2010

Characterising effective resource analyses for parallel and distributed coordination

Trinder, P., Cole, M., Loidl, H. W. & Michaelson, G., 2010, Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS. p. 67-83 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6324 LNCS).

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

1 Citation (Scopus)

Improvements to a resource analysis for hume

Loidl, H. W. & Jost, S., 2010, Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS. p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6324 LNCS).

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

Seq no more: Better Strategies for Parallel Haskell

Marlow, S., Maier, P., Loidl, H. W., Aswad, M. K. & Trinder, P., Sept 2010, Haskell'10 - Proceedings of the 2010 ACM SIGPLAN Haskell Symposium, Co-located with ICFP'10. Association for Computing Machinery, p. 91-102 12 p.

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

32 Citations (Scopus)

Static determination of quantitative resource usage for higher-order programs

Jost, S., Hammond, K., Loidl, H. W. & Hofmann, M., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 223-236 14 p.

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

45 Citations (Scopus)

2009

"Carbon Credits" for Resource-bounded Computations using Amortised Analysis

Jost, S., Loidl, H.-W., Hammond, K., Scaife, N. R. & Hofmann, M., 2009, FM09 --- 16th International Symposium on Formal Methods. Springer, Vol. LNCS 5850. p. 354-369 16 p. (LNCS).

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

27 Citations (Scopus)

2008

Evaluating a high-level parallel language (GpH) for computational GRIDs

Al Zain, A. D., Trinder, P. W., Michaelson, G. J. & Loidl, H.-W., Feb 2008, In: IEEE Transactions on Parallel and Distributed Systems. 19, 2, p. 219-233 15 p.

Research output: Contribution to journal › Article › peer-review

12 Citations (Scopus)

2007

A program logic for resources

Aspinall, D., Beringer, L., Hofmann, M., Loidl, H.-W. & Momigliano, A., 15 Dec 2007, In: Theoretical Computer Science. 389, 3, p. 411-445 35 p.

Research output: Contribution to journal › Article › peer-review

40 Citations (Scopus)

Scheduling light-weight parallelism in ARTCOP

Berthold, J., Al Zain, A. & Loidl, H. W., 2007, Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings. Vol. 4902 LNCS. p. 214-229 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4902 LNCS).

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

4 Citations (Scopus)

SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H. W. & Costanti, M., 2007, Computational Science - ICCS 2007 - 7th International Conference, Proceedings. PART 2 ed. Vol. 4488 LNCS. p. 617-624 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4488 LNCS, no. PART 2).

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

11 Citations (Scopus)

2006

Strong mobility in mobile Haskell

Du Bois, A. R., Trinder, P. & Loidl, H. W., 2006, In: Journal of Universal Computer Science. 12, 7, p. 868-884 17 p.

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

The Embounded Project

Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Loidl, H.-W., Michaelson, G. J., Serot, J. & Wallace, A., 2006, Trends in Functional Programming. Van Eekelen, M. (ed.). Vol. 6. p. 195-210

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

Towards formally verifiable WCET analysis for a functional programming language

Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofmann, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A., 2006, Proceedings of the 6th International Workshop on Worst-Case Execution Time Analysis. Dagstuhl, (OpenAccess Series in Informatics; vol. 4).

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

2005

Managing Heterogeneity in a Grid Parallel Haskell

Al Zain, A., Trinder, P. W., Loidl, H.-W. & Michaelson, G. J., May 2005.

Research output: Contribution to conference › Paper › peer-review

Managing Heterogeneity in a Grid Parallel Haskell

Al Zain, A., Trinder, P. W., Loidl, H.-W. & Michaelson, G. J., May 2005, p. 746-754. 9 p.

Research output: Contribution to conference › Paper › peer-review

Managing Heterogeneity in a Grid Parallel Haskell

Al Zain, A., Trinder, P. W., Loidl, H.-W. & Michaelson, G. J., 2005, Computational Science – ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II. Vol. 3515. p. 746-754 (Lecture Notes in Computer Science; vol. 3515).

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

mHaskell: Mobile computation in a purely functional language

Du Bois, A. R., Trinder, P. & Loidl, H. W., 2005, In: Journal of Universal Computer Science. 11, 7, p. 1234-1254 21 p.

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

MHASKELL: Mobile Computation in a Purely Functional Language

Du Bois, A. R., Trinder, P. W. & Loidl, H.-W., 2005, In: Journal of Universal Computer Science. 11, 7, p. 1234-1254 21 p.

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

Towards mobility skeletons

Rauber Du Bois, A., Trinder, P. & Loidl, H. W., Sept 2005, In: Parallel Processing Letters. 15, 3, p. 273-288 16 p.

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

2004

Girid-GUM: Towards Grid-Enables Haskell

Al Zain, A. D. I., Trinder, P. W., Loidl, H.-W. & Michaelson, G. J., Sept 2004.

Research output: Contribution to conference › Paper › peer-review

Hans-Wolfgang Loidl

Research output

Search results