| 2009 | ||
|---|---|---|
| 40 | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369 | |
| 2008 | ||
| 39 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl: Scheduling Light-Weight Parallelism in ArTCoP. PADL 2008: 214-229 | |
| 38 | 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 | 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 | 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 | 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 | 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 | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Strong Mobility in Mobile Haskell. J. UCS 12(7): 868-884 (2006) | |
| 31 | Martin Hofmann, Hans-Wolfgang Loidl: Preface. Theor. Comput. Sci. 364(3): 271-272 (2006) | |
| 2005 | ||
| 30 | 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 | 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 | 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 | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Towards Mobility Skeletons. Parallel Processing Letters 15(3): 273-288 (2005) | |
| 2004 | ||
| 24 | 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 | 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 | Hans-Wolfgang Loidl: The Virtual Shared Memory Performance of a Parallel Graph Reduce. CCGRID 2002: 311-318 | |
| 20 | André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder: Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 | |
| 19 | Á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 | 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 | 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 | 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 | 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 | Hans-Wolfgang Loidl, Philip W. Trinder: Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197 | |
| 5 | 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 | |