Hans-Wolfgang Loidl

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 10

Top Venues

Concurr. Comput. Pract. Exp.

CoRR

GALA

J. Intell. Syst.

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti
Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR (2023)
Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl
Communicating on Security within Software Development Issue Tracking. CoRR (2023)
Jiancheng Zhang, Hans-Wolfgang Loidl
F1TENTH: An Over-taking Algorithm Using Machine Learning. ICAC (2023)
Akilan Selvacoumar, Rob Stewart, Hans-Wolfgang Loidl, Ahmad Ryad Soobhany
Benchmarking Parallelism in Unikernels. Euro-Par Workshops (2022)
Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl
Improving GHC Haskell NUMA profiling. FHPNC@ICFP (2021)
Charlie Murray, Hans-Wolfgang Loidl, Brian Train
A Playful Learning Exercise: Kashmir Crisis. GALA (2021)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. TFP (2018)
Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
PAEAN: Portable and scalable runtime support for parallel Haskell dialects. J. Funct. Program. 26 (2016)
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Konstantina Panagiotopoulou, Hans-Wolfgang Loidl
Transparently Resilient Task Parallelism for Chapel. IPDPS Workshops (2016)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson
Towards a Characterisation of Parallel Functional Applications. Software Engineering (Workshops) (2015)
David Bond, Hans-Wolfgang Loidl, Sandy Louchart
Design and Implementation of the Jomini Engine: Towards a Historical Massively Multiplayer Online Role-Playing Game. GALA (2015)
Hans-Wolfgang Loidl, Ricardo Peña
Editorial of Special Issue Trends in Functional Programming 2011/12. Comput. Lang. Syst. Struct. 44 (2015)
Idris Skloul Ibrahim, Peter J. B. King, Hans-Wolfgang Loidl
NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File. J. Intell. Syst. 24 (4) (2015)
Malak Saleh Aljabri, Hans-Wolfgang Loidl, Phil Trinder
Balancing Shared and Distributed Heaps on NUMA Architectures. Trends in Functional Programming (2014)
Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par (2014)
Hans-Wolfgang Loidl, Jeremy Singer
SICSA multicore challenge editorial preface. Concurr. Comput. Pract. Exp. 26 (4) (2014)
Prabhat Totoo, Hans-Wolfgang Loidl
-body problem. Concurr. Comput. Pract. Exp. 26 (4) (2014)
Prabhat Totoo, Hans-Wolfgang Loidl
Lazy data-oriented evaluation strategies. FHPC@ICFP (2014)
Malak Saleh Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. IFL (2013)
Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49 (2013)
Hans-Wolfgang Loidl, Gudmund Grov
Reasoning About Resources in the Embedded Systems Language Hume. FOPARA (2013)
Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25 (3) (2013)
Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl
Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO (2013)
Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. FHPC@ICFP (2012)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) (2012)
Mustafa Aswad, Philip W. Trinder, Hans-Wolfgang Loidl
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH). ICCS (2012)
Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming (2011)
Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl
Comparing High Level MapReduce Query Languages. APPT (2011)
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. IWSDS (2011)
Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder
Seq no more: better strategies for parallel Haskell. Haskell (2010)
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Static determination of quantitative resource usage for higher-order programs. POPL (2010)
Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
Improving Your CASH Flow: The Computer Algebra SHell. IFL (2010)
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM (2009)
Hans-Wolfgang Loidl, Steffen Jost
Improvements to a Resource Analysis for Hume. FOPARA (2009)
Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA (2009)
Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl
Towards Hume SIMD vectorisation. EUSIPCO (2009)
Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
A Proof-Carrying-Code Infrastructure for Resources. LADC (2009)
Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl
Scheduling Light-Weight Parallelism in ArTCoP. PADL (2008)
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distributed Syst. 19 (2) (2008)
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) (2007)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
Automatic Amortised Worst-Case Execution Time Analysis. WCET (2007)
David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A program logic for resources. Theor. Comput. Sci. 389 (3) (2007)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Martin Hofmann, Hans-Wolfgang Loidl
Preface. Theor. Comput. Sci. 364 (3) (2006)
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
Strong Mobility in Mobile Haskell. J. Univers. Comput. Sci. 12 (7) (2006)
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
Managing Heterogeneity in a Grid Parallel Haskell. Scalable Comput. Pract. Exp. 7 (3) (2006)
Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson
Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) (2005)
Martin Lange, Hans-Wolfgang Loidl
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
The Embounded project (project start paper). Trends in Functional Programming (2005)
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
Towards Mobility Skeletons. Parallel Process. Lett. 15 (3) (2005)
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
mHaskell: Mobile Computation in a Purely Functional Language. J. Univers. Comput. Sci. 11 (7) (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)
David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A Program Logic for Resource Verification. TPHOLs (2004)
Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16 (3) (2003)
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
Implementing Mobile Haskell. Trends in Functional Programming (2003)
Hans-Wolfgang Loidl
The Virtual Shared Memory Performance of a Parallel Graph Reduce. CCGRID (2002)
Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. IFL (2002)
Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon
Parallel and Distributed Haskells. J. Funct. Program. 12 (4&5) (2002)
André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder
Thread Migration in a Parallel Graph Reducer. IFL (2002)
André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD (2002)
Hans-Wolfgang Loidl
Load Balancing in a Parallel Graph Reducer. Scottish Functional Programming Workshop (2001)
Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Process. Lett. 11 (4) (2001)
Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder
Functional Vs Object-Oriented Distributed Languages. EUROCAST (2001)
Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par (2000)
Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop (2000)
Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl
Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop (2000)
Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl
The Design and Implementation of Glasgow Distributed Haskell. IFL (2000)
Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones
Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. 11 (12) (1999)
Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones
Algorithms + Strategy = Parallelism. J. Funct. Program. 8 (1) (1998)
Hans-Wolfgang Loidl, Philip W. Trinder
Engineering Large Parallel Functional Programs. Implementation of Functional Languages (1997)
Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano
Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages (1997)
Hans-Wolfgang Loidl, Kevin Hammond
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages (1996)
Hans-Wolfgang Loidl, Kevin Hammond
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming (1995)
Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Functional Programming (1994)
Hoon Hong, Hans-Wolfgang Loidl
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR (1994)
Carla Limongelli, Hans-Wolfgang Loidl
Rational Number Artihmetic by Parallel P-adic Algorithms. ACPC (1993)

Hans-Wolfgang Loidl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans-Wolfgang Loidl