Hans-Wolfgang Loidl

Orcid: 0000-0001-6318-1732

Affiliations:
  • Heriot-Watt University, Edinburgh, UK


According to our database1, Hans-Wolfgang Loidl authored at least 79 papers between 1993 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Communicating on Security within Software Development Issue Tracking.
CoRR, 2023

Introducing and Interfacing with Cybersecurity - A Cards Approach.
CoRR, 2023

F1TENTH: An Over-taking Algorithm Using Machine Learning.
Proceedings of the 28th International Conference on Automation and Computing, 2023

2022
Benchmarking Parallelism in Unikernels.
Proceedings of the Euro-Par 2022: Parallel Processing Workshops, 2022

2021
Improving GHC Haskell NUMA profiling.
Proceedings of the FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2021

A Playful Learning Exercise: Kashmir Crisis.
Proceedings of the Games and Learning Alliance - 10th International Conference, 2021

2018
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell.
Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

2016
PAEAN: Portable and scalable runtime support for parallel Haskell dialects.
J. Funct. Program., 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.
Concurr. Comput. Pract. Exp., 2016

Transparently Resilient Task Parallelism for Chapel.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2015
NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File.
J. Intell. Syst., 2015

Editorial of Special Issue Trends in Functional Programming 2011/12.
Comput. Lang. Syst. Struct., 2015

Towards a Characterisation of Parallel Functional Applications.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Design and Implementation of the Jomini Engine: Towards a Historical Massively Multiplayer Online Role-Playing Game.
Proceedings of the Games and Learning Alliance - 4th International Conference, 2015

2014
Parallel Haskell implementations of the <i>N</i>-body problem.
Concurr. Comput. Pract. Exp., 2014

SICSA multicore challenge editorial preface.
Concurr. Comput. Pract. Exp., 2014

Balancing Shared and Distributed Heaps on NUMA Architectures.
Proceedings of the Trends in Functional Programming, 2014

Lazy data-oriented evaluation strategies.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

High-Performance Computer Algebra: A Hecke Algebra Case Study.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.
J. Symb. Comput., 2013

Resource analyses for parallel and distributed coordination.
Concurr. Comput. Pract. Exp., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.
Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Reasoning About Resources in the Embedded Systems Language Hume.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH).
Proceedings of the International Conference on Computational Science, 2012

Architecture-aware cost modelling for parallel performance portability.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison.
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011
Functional Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques.
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Parallel Computing and Practical Constraints when applying the Standard POMDP Belief Update Formalism to Spoken Dialogue Management.
Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems, 2011

Comparing High Level MapReduce Query Languages.
Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

2010
Static determination of quantitative resource usage for higher-order programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Improving Your CASH Flow: The Computer Algebra SHell.
Proceedings of the Implementation and Application of Functional Languages, 2010

Seq no more: better strategies for parallel Haskell.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
A Proof-Carrying-Code Infrastructure for Resources.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Improvements to a Resource Analysis for Hume.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.
Proceedings of the FM 2009: Formal Methods, 2009

Towards Hume SIMD vectorisation.
Proceedings of the 17th European Signal Processing Conference, 2009

2008
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.
IEEE Trans. Parallel Distributed Syst., 2008

Scheduling Light-Weight Parallelism in ArTCoP.
Proceedings of the Practical Aspects of Declarative Languages, 2008

2007
A program logic for resources.
Theor. Comput. Sci., 2007

Automatic Amortised Worst-Case Execution Time Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006
Preface.
Theor. Comput. Sci., 2006

Managing Heterogeneity in a Grid Parallel Haskell.
Scalable Comput. Pract. Exp., 2006

Strong Mobility in Mobile Haskell.
J. Univers. Comput. Sci., 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2005
Towards Mobility Skeletons.
Parallel Process. Lett., 2005

mHaskell: Mobile Computation in a Purely Functional Language.
J. Univers. Comput. Sci., 2005

Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop.
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

A Program Logic for Resource Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2003
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput., 2003

Implementing Mobile Haskell.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

2002
Parallel and Distributed Haskells.
J. Funct. Program., 2002

Implementing Declarative Parallel Bottom-Avoiding Choice.
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

Cost Analysis Using Automatic Size and Time Inference.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Thread Migration in a Parallel Graph Reducer.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

The Virtual Shared Memory Performance of a Parallel Graph Reduce.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs.
Parallel Process. Lett., 2001

Load Balancing in a Parallel Graph Reducer.
Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

Functional Vs Object-Oriented Distributed Languages.
Proceedings of the Computer Aided Systems Theory, 2001

2000
Runtime system level fault tolerance for a distributed functional language.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

The Design and Implementation of Glasgow Distributed Haskell.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Engineering parallel symbolic programs in GPH.
Concurr. Pract. Exp., 1999

Large Scale Functional Applications.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
Granularity in large-scale parallel functional programming.
PhD thesis, 1998

Algorithms + Strategy = Parallelism.
J. Funct. Program., 1998

1997
Engineering Large Parallel Functional Programs.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Parallelising a Large Functional Program or: Keeping LOLITA Busy.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer.
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995
On the Granularity of Divide-and-Conquer Parallelism.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
Rational Number Artihmetic by Parallel P-adic Algorithms.
Proceedings of the Parallel Computation, 1993


  Loading...