Hans-Wolfgang Loidl

Dr

  • EH14 4AS

    United Kingdom

19992019

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).

    Research output: Chapter in Book/Report/Conference proceedingConference 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 International Publishing, p. 441-451 11 p. (Lecture Notes in Computer Science; vol. 9599).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 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 proceedingConference 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 proceedingConference contribution

  • 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 proceedingConference 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 proceedingConference contribution

    1 Citation (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 proceedingConference contribution

  • 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 proceedingConference contribution

    2 Citations (Scopus)
  • 2013

    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 proceedingConference contribution

    4 Citations (Scopus)
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • Seq no more: Better Strategies for Parallel Haskell

    Marlow, S., Maier, P., Loidl, H. W., Aswad, M. K. & Trinder, P., Sep 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 proceedingConference contribution

    30 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 proceedingConference contribution

    30 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 proceedingConference contribution

    21 Citations (Scopus)
  • 2007

    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 proceedingConference 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 proceedingConference contribution

    11 Citations (Scopus)
  • 2006

    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 proceedingConference contribution

  • 2003

    Thread migration in a parallel graph reducer

    Du Bois, A. R., Loidl, H-W. & Trinder, P. W., 2003, Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers. Peña, R. & Arts, T. (eds.). Springer, Vol. 2670. p. 199-214 16 p. (Lecture Notes in Computer Science; vol. 2670).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)