![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Hans-Wolfgang Loidl
Person information
- affiliation: Heriot-Watt University, Edinburgh, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c55]Jiancheng Zhang, Hans-Wolfgang Loidl:
F1TENTH: An Over-taking Algorithm Using Machine Learning. ICAC 2023: 1-6 - [i2]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 abs/2307.16535 (2023) - [i1]Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl:
Communicating on Security within Software Development Issue Tracking. CoRR abs/2308.13480 (2023) - 2022
- [c54]Akilan Selvacoumar
, Rob Stewart
, Hans-Wolfgang Loidl
, Ahmad Ryad Soobhany:
Benchmarking Parallelism in Unikernels. Euro-Par Workshops 2022: 286-293 - 2021
- [c53]Charlie Murray
, Hans-Wolfgang Loidl
, Brian Train:
A Playful Learning Exercise: Kashmir Crisis. GALA 2021: 3-13 - [c52]Ruairidh MacGregor, Phil Trinder
, Hans-Wolfgang Loidl
:
Improving GHC Haskell NUMA profiling. FHPNC@ICFP 2021: 1-12
2010 – 2019
- 2018
- [c51]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson:
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. TFP 2018: 1-19 - 2017
- [e4]Jean-Charles Faugère, Michael B. Monagan, Hans-Wolfgang Loidl:
Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017. ACM 2017, ISBN 978-1-4503-5288-8 [contents] - 2016
- [j20]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): 3606-3636 (2016) - [j19]Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
:
PAEAN: Portable and scalable runtime support for parallel Haskell dialects. J. Funct. Program. 26: e10 (2016) - [c50]Konstantina Panagiotopoulou, Hans-Wolfgang Loidl:
Transparently Resilient Task Parallelism for Chapel. IPDPS Workshops 2016: 1586-1595 - 2015
- [j18]Hans-Wolfgang Loidl, Ricardo Peña:
Editorial of Special Issue Trends in Functional Programming 2011/12. Comput. Lang. Syst. Struct. 44: 141-142 (2015) - [j17]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): 467-477 (2015) - [c49]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: 441-451 - [c48]Evgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson:
Towards a Characterisation of Parallel Functional Applications. Software Engineering (Workshops) 2015: 146-153 - 2014
- [j16]Hans-Wolfgang Loidl, Jeremy Singer
:
SICSA multicore challenge editorial preface. Concurr. Comput. Pract. Exp. 26(4): 929-934 (2014) - [j15]Prabhat Totoo
, Hans-Wolfgang Loidl:
Parallel Haskell implementations of the N-body problem. Concurr. Comput. Pract. Exp. 26(4): 987-1019 (2014) - [c47]Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder:
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par 2014: 415-426 - [c46]Prabhat Totoo
, Hans-Wolfgang Loidl:
Lazy data-oriented evaluation strategies. FHPC@ICFP 2014: 63-74 - [c45]Malak Saleh Aljabri
, Hans-Wolfgang Loidl, Phil Trinder:
Balancing Shared and Distributed Heaps on NUMA Architectures. Trends in Functional Programming 2014: 1-17 - 2013
- [j14]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): 309-348 (2013) - [j13]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: 95-119 (2013) - [c44]Hans-Wolfgang Loidl, Gudmund Grov:
Reasoning About Resources in the Embedded Systems Language Hume. FOPARA 2013: 110-126 - [c43]Malak Saleh Aljabri
, Hans-Wolfgang Loidl, Philip W. Trinder:
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. IFL 2013: 37 - [c42]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: 225-232 - [e3]Hans-Wolfgang Loidl, Ricardo Peña:
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7829, Springer 2013, ISBN 978-3-642-40446-7 [contents] - 2012
- [c41]Prabhat Totoo
, Pantazis Deligiannis
, Hans-Wolfgang Loidl:
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. FHPC@ICFP 2012: 49-60 - [c40]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder:
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) 2012: 105-120 - [c39]Mustafa Aswad, Philip W. Trinder, Hans-Wolfgang Loidl:
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH). ICCS 2012: 1807-1816 - 2011
- [c38]Robert J. Stewart
, Philip W. Trinder, Hans-Wolfgang Loidl:
Comparing High Level MapReduce Query Languages. APPT 2011: 58-72 - [c37]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: 189-201 - [c36]Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond:
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming 2011: 82-97 - [r1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Functional Languages. Encyclopedia of Parallel Computing 2011: 744-749 - 2010
- [c35]Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder:
Seq no more: better strategies for parallel Haskell. Haskell 2010: 91-102 - [c34]Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
:
Improving Your CASH Flow: The Computer Algebra SHell. IFL 2010: 169-184 - [c33]Steffen Jost, Kevin Hammond
, Hans-Wolfgang Loidl, Martin Hofmann:
Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236
2000 – 2009
- 2009
- [c32]Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl:
Towards Hume SIMD vectorisation. EUSIPCO 2009: 2683-2687 - [c31]Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond
, Norman Scaife, Martin Hofmann:
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369 - [c30]Hans-Wolfgang Loidl, Steffen Jost:
Improvements to a Resource Analysis for Hume. FOPARA 2009: 18-33 - [c29]Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83 - [c28]Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer:
A Proof-Carrying-Code Infrastructure for Resources. LADC 2009: 127-134 - 2008
- [j12]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): 219-233 (2008) - [c27]Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl:
Scheduling Light-Weight Parallelism in ArTCoP. PADL 2008: 214-229 - 2007
- [j11]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
:
A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007) - [c26]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: 617-624 - [c25]Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon:
Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007 - 2006
- [j10]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell. J. Univers. Comput. Sci. 12(7): 868-884 (2006) - [j9]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) - [j8]Martin Hofmann, Hans-Wolfgang Loidl:
Preface. Theor. Comput. Sci. 364(3): 271-272 (2006) - [c24]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 - [e2]Hans-Wolfgang Loidl:
Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004. Trends in Functional Programming 5, Intellect 2006, ISBN 1-84150-144-1 [contents] - 2005
- [j7]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language. J. Univers. Comput. Sci. 11(7): 1234-1254 (2005) - [j6]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Towards Mobility Skeletons. Parallel Process. Lett. 15(3): 273-288 (2005) - [c23]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: 746-754 - [c22]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: 195-210 - [c21]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: 211-226 - 2004
- [c20]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano:
A Program Logic for Resource Verification. TPHOLs 2004: 34-49 - [c19]Martin Lange, Hans-Wolfgang Loidl:
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. PDMC 2004: 125-138 - 2003
- [j5]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): 203-251 (2003) - [c18]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94 - 2002
- [j4]Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon:
Parallel and Distributed Haskells. J. Funct. Program. 12(4&5): 469-510 (2002) - [c17]Hans-Wolfgang Loidl:
The Virtual Shared Memory Performance of a Parallel Graph Reduce. CCGRID 2002: 311-318 - [c16]André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 - [c15]Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos:
Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248 - [c14]André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder:
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92 - 2001
- [j3]Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz
:
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Process. Lett. 11(4): 471-486 (2001) - [c13]Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages. EUROCAST 2001: 642-656 - [c12]Hans-Wolfgang Loidl:
Load Balancing in a Parallel Graph Reducer. Scottish Functional Programming Workshop 2001: 63-74 - 2000
- [c11]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: 739-743 - [c10]Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl:
The Design and Implementation of Glasgow Distributed Haskell. IFL 2000: 53-70 - [c9]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: 39-52 - [c8]Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl:
Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop 2000: 103-114 - [e1]Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999. Trends in Functional Programming 1, Intellect 2000, ISBN 1-84150-024-0 [contents]
1990 – 1999
- 1999
- [j2]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): 701-752 (1999) - [p1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Large Scale Functional Applications. Research Directions in Parallel Functional Programming 1999: 399-426 - 1998
- [b1]Hans-Wolfgang Loidl:
Granularity in large-scale parallel functional programming. University of Glasgow, UK, 1998 - [j1]Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998) - 1997
- [c7]Hans-Wolfgang Loidl, Philip W. Trinder:
Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197 - [c6]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: 198-213 - 1996
- [c5]Hans-Wolfgang Loidl, Kevin Hammond
:
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages 1996: 184-199 - 1995
- [c4]Hans-Wolfgang Loidl, Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8 - 1994
- [c3]Hoon Hong, Hans-Wolfgang Loidl:
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR 1994: 325-336 - [c2]Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge:
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Functional Programming 1994: 111-126 - 1993
- [c1]Carla Limongelli, Hans-Wolfgang Loidl:
Rational Number Artihmetic by Parallel P-adic Algorithms. ACPC 1993: 72-86
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint