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 |