| 2008 |
| 39 | EE | Jost Berthold,
Abyd Al Zain,
Hans-Wolfgang Loidl:
Scheduling Light-Weight Parallelism in ArTCoP.
PADL 2008: 214-229 |
| 38 | EE | Abdallah Al Zain,
Philip W. Trinder,
Greg Michaelson,
Hans-Wolfgang Loidl:
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.
IEEE Trans. Parallel Distrib. Syst. 19(2): 219-233 (2008) |
| 2007 |
| 37 | EE | 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 |
| 36 | EE | Christoph A. Herrmann,
Armelle Bonenfant,
Kevin Hammond,
Steffen Jost,
Hans-Wolfgang Loidl,
Robert F. Pointon:
Automatic Amortised Worst-Case Execution Time Analysis.
WCET 2007 |
| 35 | EE | David Aspinall,
Lennart Beringer,
Martin Hofmann,
Hans-Wolfgang Loidl,
Alberto Momigliano:
A program logic for resources.
Theor. Comput. Sci. 389(3): 411-445 (2007) |
| 2006 |
| 34 | | Hans-Wolfgang Loidl:
Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004.
Intellect 2006 |
| 33 | EE | 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 |
| 32 | EE | André Rauber Du Bois,
Philip W. Trinder,
Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell.
J. UCS 12(7): 868-884 (2006) |
| 31 | EE | Martin Hofmann,
Hans-Wolfgang Loidl:
Preface.
Theor. Comput. Sci. 364(3): 271-272 (2006) |
| 2005 |
| 30 | EE | 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 |
| 29 | | 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 |
| 28 | | 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 |
| 27 | EE | Martin Lange,
Hans-Wolfgang Loidl:
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop.
Electr. Notes Theor. Comput. Sci. 128(3): 125-138 (2005) |
| 26 | EE | André Rauber Du Bois,
Philip W. Trinder,
Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language.
J. UCS 11(7): 1234-1254 (2005) |
| 25 | EE | André Rauber Du Bois,
Philip W. Trinder,
Hans-Wolfgang Loidl:
Towards Mobility Skeletons.
Parallel Processing Letters 15(3): 273-288 (2005) |
| 2004 |
| 24 | EE | David Aspinall,
Lennart Beringer,
Martin Hofmann,
Hans-Wolfgang Loidl,
Alberto Momigliano:
A Program Logic for Resource Verification.
TPHOLs 2004: 34-49 |
| 2003 |
| 23 | | André Rauber Du Bois,
Philip W. Trinder,
Hans-Wolfgang Loidl:
Implementing Mobile Haskell.
Trends in Functional Programming 2003: 79-94 |
| 22 | EE | 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
Higher-Order and Symbolic Computation 16(3): 203-251 (2003) |
| 2002 |
| 21 | EE | Hans-Wolfgang Loidl:
The Virtual Shared Memory Performance of a Parallel Graph Reduce.
CCGRID 2002: 311-318 |
| 20 | EE | André Rauber Du Bois,
Hans-Wolfgang Loidl,
Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer.
IFL 2002: 199-214 |
| 19 | EE | Á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 |
| 18 | EE | André Rauber Du Bois,
Robert F. Pointon,
Hans-Wolfgang Loidl,
Philip W. Trinder:
Implementing Declarative Parallel Bottom-Avoiding Choice.
SBAC-PAD 2002: 82-92 |
| 17 | | Philip W. Trinder,
Hans-Wolfgang Loidl,
Robert F. Pointon:
Parallel and Distributed Haskells.
J. Funct. Program. 12(4&5): 469-510 (2002) |
| 2001 |
| 16 | EE | Robert F. Pointon,
Steffen Priebe,
Hans-Wolfgang Loidl,
Rita Loogen,
Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages.
EUROCAST 2001: 642-656 |
| 15 | | Hans-Wolfgang Loidl:
Load Balancing in a Parallel Graph Reducer.
Scottish Functional Programming Workshop 2001: 63-74 |
| 14 | | Hans-Wolfgang Loidl,
Philip W. Trinder,
Carsten Butz:
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs.
Parallel Processing Letters 11(4): 471-486 (2001) |
| 2000 |
| 13 | | 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
Intellect 2000 |
| 12 | EE | 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 |
| 11 | EE | Robert F. Pointon,
Philip W. Trinder,
Hans-Wolfgang Loidl:
The Design and Implementation of Glasgow Distributed Haskell.
IFL 2000: 53-70 |
| 10 | | 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 |
| 9 | | 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 |
| 1999 |
| 8 | | Hans-Wolfgang Loidl,
Philip W. Trinder,
Kevin Hammond,
Sahalu B. Junaidu,
Richard G. Morgan,
Simon L. Peyton Jones:
Engineering parallel symbolic programs in GPH.
Concurrency - Practice and Experience 11(12): 701-752 (1999) |
| 1998 |
| 7 | | Philip W. Trinder,
Kevin Hammond,
Hans-Wolfgang Loidl,
Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism.
J. Funct. Program. 8(1): 23-60 (1998) |
| 1997 |
| 6 | EE | Hans-Wolfgang Loidl,
Philip W. Trinder:
Engineering Large Parallel Functional Programs.
Implementation of Functional Languages 1997: 178-197 |
| 5 | EE | 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 |
| 4 | | Hans-Wolfgang Loidl,
Kevin Hammond:
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer.
Implementation of Functional Languages 1996: 184-199 |
| 1995 |
| 3 | | Hans-Wolfgang Loidl,
Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism.
Functional Programming 1995: 8 |
| 1994 |
| 2 | | Hoon Hong,
Hans-Wolfgang Loidl:
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine.
CONPAR 1994: 325-336 |
| 1993 |
| 1 | | Carla Limongelli,
Hans-Wolfgang Loidl:
Rational Number Artihmetic by Parallel P-adic Algorihtms.
ACPC 1993: 72-86 |