Hans-Wolfgang Loidl

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