Theses are listed separately.
More papers on GpH and GdH are available on their sites.
2010
Deng X.Y. Trinder P.W. Michaelson G.J.
Cost-Driven Autonomous Mobility.
Computer Languages, Systems and Structures 36(1) (April 2010) pp 34-51.
2009
Chechina N. King P. Pooley R. Trinder P.W.
Simulating Autonomous Mobile Programs on Networks.
PG Net '09: Proceedings of the 10th Annual Conference on the Convergence of Telecommunications, Networking and Broadcasting, Liverpool, UK (June 2009), pp 201-206
Etorban A. King P.J.B. Trinder P.W.
Performance Comparison of MDSDV with AODV and DSDV Routing Protocols
25th UK Performance Engineering Workshop, Leeds, UK, (July 2009).
Fan L. Taylor H. Trinder P.W.
Deadline-Driven Auctions for NPC Host Allocation in P2P MMOGs.
Massively Multiuser Virtual Environments (MMVE '09) Lafayette, Louisiana, USA (March 2009)
Version to appear in International Journal of Advanced Media and Communication (IJAMC), ISSN (Online): 1741-8003
Fan L. Taylor H. Trinder P.W.
Design Issues for Peer-to-Peer Massively Multiplayer Online Games.
Massively Multiuser Virtual Environments (MMVE '09) Lafayette, Louisiana, USA (March 2009)
Version to appear in International Journal of Advanced Media and Communication (IJAMC), ISSN (Online): 1741-8003
Al Zain A. Berthold J. Hammond K. Trinder P. Michaelson G.J Aswad M.K.
Low-Pain, High-Gain Multicore Programming in Haskell: Coordinating Irregular Symbolic Computations on MultiCore Architectures.
ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'09), Savannah, Georgia, USA (January 2009).
2008
Gillespie D. Gordon J. McHugh H. Mclaren D. Mellinger D.K. Redmond P. Thode A. Trinder P.W. Deng X.Y.
PAMGUARD: Semiautomated, Open Source Software for Real-Time Acoustic Detection and Localisation of Cetaceans
Proceedings of the Institute of Acoustics 30(5) (October 2008).
Al Zain, A. Hammond, K. Linton, S. Michaelson, G. Trinder, P.
SCIEnce: Using High-Level Parallel Programming Technology to achieve Heterogeneous Symbolic Computing on the Grid.
UK e-Science Programme All Hands Meeting (AHM'08), Poster (September 2008).
Fan L. Trinder P.W. Taylor H.
MAMBO: Membership-Aware Multicast with
Bushiness Optimisation
IEEE/ACM Conf. on Distributed Event-Based Systems (DEBS '08), Short Paper. Rome, Italy (July 2008).
Nyström J.H. Trinder P.W. King D.J.
High-level Distribution for the Rapid Production of Robust Telecoms Software: comparing C++ and Erlang
Concurrency and Computation: Practice & Experience. 20(8) (June 2008)
Loidl H.W. Trinder P.W. Hammond K. Al Zain A. Baker-Finch C.
Semi-Explicit Parallel Programming in a Purely Functional Style:
GpH.
Chapter in Process Algebra for Parallel and Distributed
Processing Alexander M, Gardner W (Eds), Chapman Hall (2008) ISBN 978-1420064865.
Al Zain A. Berthold J. Hammond K. Trinder P.
Orchestrating Production Computer Algebra Components into Portable Parallel Programs.
Open Source Grid and Cluster Conference, Oakland, California, USA (May 2008).
Al Zain A. Trinder P.W. Loidl H.W. Michaelson G.J.
Evaluating a High-Level Parallel Language (GpH) for Computational Grids.
IEEE Transactions on Parallel and Distributed Systems 19(2) (February 2008) pp 219-233.
2007
Deng X.Y. Trinder P.W. Michaelson G.J.
Automatically Costed Autonomous Mobility.
IEEE/WIC/ACM International Conference on Intelligent Agent Technology
(IAT'07), Silicon Valley, California, USA (November 2007).
Fan L. Taylor H. Trinder P.W.
Mediator: a Design Framework for P2P MMOGs
6th ACM SIGCOMM Workshop on Network and Systems Support for Games (Netgames'07), Melbourne, Australia (September 2007) pp 43-48.
Nystrom J.H. Trinder P.W. King D.J.
Evaluating High-Level Distributed Language Constructs (Preprint).
Proc. ACM International Conference on Functional Programming (ICFP), Freiburg, Germany (October 2007), pp 203-212.
Sarafis I. A., Trinder P. W. Zalzala A.M.S.
NOCEA: A rule-based evolutionary algorithm for efficient and effective
clustering of massive high-dimensional databases.
Applied Soft Computing 7(3) (June 2007), pp 668-710.
Hammond K. Al Zain A. Cooperman G. Petcu D. Trinder P.
SymGrid: a Framework for Symbolic Computation on the Grid (Full Paper).
Proc. EuroPar'07 - European Conf. on Parallel Processing, Rennes, France,
Spinger-Verlag LNCS 4703 (August 2007).
Al Zain A. Trinder P.W. Loidl H.W. Michaelson G.J.
Supporting High-Level Grid Parallel Programming: the Design and
Implementation of Grid-GUM2 (Full Paper).
UK e-Science Programme All Hands Meeting (AHM) (September 2007).
Al Zain A. Hammond K. Trinder P.W. Linton S. Loidl H.W. Costanti M.
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.
Proc. 4th Int. Workshop Practical Aspects of High-level Parallel Programming (PAPP 2007), Beijing, China (May 2007).
Petcu D. Hammond K. Trinder P. Al Zain A.
SymGrid: Symbolic Computations on Grids
Proc. EGEE User Forum, Manchester, UK (May 2007).
2006
Al Zain A. Trinder P.W. Loidl H.W. Michaelson G.J.
Managing Heterogeneity in a Grid Parallel Haskell.
Journal of Scalable Computing: Practice and Experience 7(3) (September 2006), pp 9-26.
Rauber Du Bois A. Trinder P.W. Loidl H.W.
Strong Mobility in Mobile Haskell.
Journal of Universal Computer Science, 12(7) (2006), pp 868-884.
Deng X.Y. Trinder P.W. Michaelson G.J.
Autonomous Mobility Skeletons
Parallel Computing, 32(7-8) (September 2006), pp 463-478.
Trinder P.W.
Comparing C++ and Erlang for Motorola Telecoms Software
(Invited Talk) Proc. ACM SIGPLAN Erlang Workshop, Portland, Oregon, USA (September 2006).
Deng X.Y. Trinder P.W. Michaelson G.J.
Autonomous Mobile Programs
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), Hong Kong (December 2006).
Field Z. Trinder P.W. Rauber Du Bois A.
A Comparative Evaluation of Three Mobile Languges.
Proc. 3rd IEE Mobility Conference 2006,Bangkok, Thailand (October 2006).
Field Z. Dewar R. Trinder P.W. Rauber Du Bois A.
Two Executable Mobililty Design Patterns: mfold and mmap.
Proc. ACM Pattern Languages of Programs (PLoP'06), Portland, Oregon, USA (October 2006).
2005
Nystrom J.H. Trinder P.W. King D.J.
Are High-level Languages suitable for Robust Telecoms Software?
Proc. 24th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'05), Fredrikstad, Norway (September 2005).
Trinder P.W.
Special Issue on
Functional High-Performance Parallel Programming.
Journal of Functional Programming 15(3) (May 2005).
Rauber Du Bois A. Trinder P.W. Loidl H.W.
Towards Mobility Skeletons.
Parallel Processing Letters 15(3) (2005), pp 273-288.
Rauber Du Bois A. Trinder P.W. Loidl H.W.
mHaskell: Mobile Computation in a Purely Functional Language.
Journal of Universal Computer Science, 11(7) (2005), pp 1234-1254.
Al Zain A. Trinder P.W. Loidl H.W. Michaelson G.J.
Managing Heterogeneity in a Grid Parallel Haskell.
Proc. 2nd Int. Workshop Practical Aspects of High-level Parallel Programming (PAPP 2005), Atlanta, USA (May 2005).
2004
Grelck C. Huch F. Trinder P.W. Michaelson G. (Eds)
Proc. of the 16th Int. Workshop on the Implementation and Application of Functional Languages
Springer Verlag LNCS 3474, Lubeck, Germany (2004).
Nystrom J.H. Trinder P.W. King D.J.
Evaluating Erlang for Robust Telecoms Software
Proc. Motorola Software Systems and Simulation Symposium (S3S) (July 2004).
Trinder P.W.
Send Statement Considered Harmful, or High Level Coordination Constructs
Proc. BCS Grand Challenges in Computing, Newcastle, England (March 2004)
2003
Loidl H-W. Rubio F. Scaife N. Hammond K. Horiguchi S. Klusik U. Loogen
R. Michaelson G.J. Pena R. Priebe S. Trinder P.W.
Comparing Parallel Functional Languages: Programming and Performance
Higher-order and Symbolic Computation 16(3) (2003).
Dempster E.W. Tomov N.T. Williams M.H. Taylor H. Burger A. Trinder P.W. Lu J Broughton P.
Modelling Parallel Oracle for Performance Prediction.
Distributed and Parallel Databases 13 (2003), pp 251-269.
Trinder P.W. Michaelson G. Pena R. (Eds)
Proc. of the 15th Int. Workshop on the Implementation of Functional Languages
Springer Verlag LNCS 3145, Edinburgh, Scotland (2003).
Sarafis I. A., Trinder P. W. Zalzala A.M.S.
Mining Comprehensive Clustering Rules With an Evolutionary Algorithm.
Proc. Genetic and Evolutionary Computation Conference, Chicago, USA
(July 2003)
(nominated for best paper)
Sarafis I. A., Trinder P. W. Zalzala A.M.S.
Towards Effective Subspace Clustering with an Evolutionary Algorithm.
Proc. IEEE Congress on Evolutionary Computation, Canberra,
Australia (December 2003).
Rauber Du Bois A. Trinder P.W. Loidl H.W.
Implementing Mobile Haskell.
Proc. TFP'03 --- Trends in Functional Programming Vol.4, Intellect (September 2003), pp 79-94.
Nyström J.H. Trinder P.W. King D.J.
Evaluating Distributed Functional Languages for Telecommunications Software
Proc. ACM SIGPLAN Erlang Workshop, Uppsala, Sweden (August 2003), pp 1-7.
Nyström J.H. Trinder P.W. King D.J.
Experiments with the Erlang Language for Distributed
Telecommunication Applications (Confidential)
Proc. Motorola Software Systems and Simulation Symposium (S3S) (July 2003).
Rauber Du Bois A. Trinder P.W. Loidl H.W.
Towards a Mobile Haskell.
Proc. 12th Int. Workshop on Functional and (Constraint) Logic
Programming (WFLP 2003), Valencia, Spain (June 2003), pp 113-116.
2002
Yang J. Michaelson G. Trinder P.W.
Explaining Polymorphic Types
Computer Journal 45(4) (2002), pp 436-452.
Junaidu S.B. Trinder P.W.
Measuring Naira: a Symbolic Program with Irregular Parallelism
Information Sciences 140(3-4) (2002) pp 229-240.
Trinder P.W. Loidl H-W. Pointon R.F.
Parallel and Distributed Haskells
Journal of Functional Programming 12(4&5) (2002), pp 469-510.
Rauber Du Bois A. Loidl H-W. Trinder P.W.
Thread Migration in a Parallel Graph Reducer
IFL'02 - 14th International
Workshop on the Implementation of Functional Languages, Madrid,
Spain (September 2002). Springer Verlag LNCS 2670.
Sarafis I. Zalzala A.M.S.Trinder P.W.
A Genetic Rule-based Data Clustering Toolkit
Congress on Evolutionary Computation (CEC), Honolulu, USA (May 2002), pp 1238-1243.
Rauber Du Bois A. Pointon R.F. Loidl H-W. Trinder P.W.
Implementing Declarative Parallel Bottom-Avoiding Choice
Symposium on Computer Architecture and High Performance Computing
(SBAC-PAD), Vitoria/ES, Brazil (October 2002)
2001
Loidl H-W. Trinder P.W. Butz C.
Tuning Task Granularity and Data Locality of Data Parallel GpH Programs
Parallel Processing Letters 11(4) (December 2001).
Yang J. Michaelson G. Trinder P.W.
How Human-Like are ``Human-Like'' Type Error Explanations?
LTSN-ICS Annual Conference, London, England
(August 2001), pp 97-101.
Pointon R.F. Priebe. S. Loidl H-W. Loogen R. Trinder P.W.
Functional vs Object-Oriented Distributed Languages
Eurocast'01 - International Conference on Computer Aided Systems Theory, Canary
Islands, Spain, Springer Verlag LNCS 2178 (February 2001), pp 642-656.
2000
Baker-Finch C. King D.J. Trinder P.W.
An Operational Semantics for Parallel Lazy Evaluation
International Conference on Functional Programming, Montreal (ICFP), Canada (September 2000), pp 162-173.
Trinder P.W. Loidl H-W. Barry E. Rebon Portillo A.J.
The Multi-Architecture Performance of the Parallel Functional Language
GPH
Euro-Par 2000 - Parallel Processing, Munich, Germany, Bode
A. Ludwig T. and Wismuller R. (Eds) Springer Verlag LNCS (September
2000), pp 739-743.
Trinder P.W. Loidl H-W. Hammond K.
Large-scale Functional Applications
Chapter of Parallel Functional Programming, Hammond
K. and Michaelson G. (Eds) Springer Verlag ISBN 1-85233-092-9 (2000).
Michaelson G. Trinder P.W. Loidl H-W. (Eds)
Trends in Functional Programming
Intellect, Bristol, UK (2000) ISBN 1-84150-024-0.
Pointon R.F. Trinder P.W. Loidl H-W.
The Design and Implementation of Glasgow distributed Haskell
IFL'00 - 12th International Workshop on the Implementation of Functional Languages, Aachen,
Germany (September 2000) Springer Verlag LNCS 2011, pp 53-70..
Yang J. Michaelson G. Trinder P.W.
Helping Students Understand Polymorphic Type Errors
LTSN-ICS Annual Conference, Edinburgh,
Scotland (August 2000).
Trinder P.W. Pointon R.F. Loidl H-W.
Towards Runtime System Level Fault Tolerance for a Distributed Functional Language
SFP'00 - Scottish Functional Programming Workshop 2000, Trends in Functional
Programming Vol.2, Intellect (July 2000), pp 103--113.
Yang J. Michaelson G.J. Trinder P.W.
How do people check polymorphic types?
Prcoceedings of the 12th Workshop on the Psychology
of Programming, Memoria, Blackwell A. F. (Ed), Cosenza, Italy
(April 2000), pp 67-77.
1999
Trinder P.W.
Motivation for GdH, a Distributed Non-strict Functional Language
International Workshop on Parallel and Distributed
Computing for Symbolic, Irregular Applications (PDSIA'99), Sendai,
Japan (July 1999), T. Ito, T Yuasa (Eds), World Scientific ISBN
981-02-4139-9 (2000), pp 72-81.
Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan
R.G. Peyton Jones S.L.
Engineering Parallel Symbolic Programs in GpH
Concurrency: Practice and Experience, 11(12) (December 1999),
pp 701-752.
Yang J. Michaelson G. Trinder P.W.
Explaining Polymorphic Types Through Visualisation
7th Annual Conference on the Teaching of Computing,
University of Ulster, Northern Ireland, (August 1999).
1998
Trinder P.W. Hammond K. Loidl H-W. Peyton Jones S.L.
Algorithm + Strategy = Parallelism
Journal of Functional Programming, 8(1) (January 1998) pp~23-60.
Hall J.G. Baker-Finch C. Trinder P.W. King D.J.
Towards an operational semantics for a parallel non-strict functional language
Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages,
University College London, England (September 1998),
Springer Verlag LNCS 1595, pp 55-67 .
King D.J. Hall J.G. Trinder P.W.
A Strategic Profiler for Glasgow Parallel Haskell (GpH)
Proceedings of the 10th. Int. Workshop on
Implementation of Functional Languages, University College London,
England (September 1998), {\em Springer Verlag} LNCS 1595, pp 90-104.
1997
Chan D.K.C. Trinder P.W.
A Processing Framework for Object Comprehensions
Information and Software Technology, 39, (1997) pp~641-651.
Loidl H.-W Trinder P.W.
Engineering Large Parallel Functional Programs
Proceedings of the 9th. Int. Workshop on Implementation of
Functional Languages, St Andrews, Scotland (September 1997), Springer
Verlag LNCS 1467, pp 178-197.
Loidl H.-W Morgan R.G. Peyton Jones S.L. Garagliano R. Trinder P.W. Cooper C.
Parallelising a Large Functional Program. Or: Keeping LOLITA busy.
Proceedings of the 9th. Int. Workshop on Implementation
of Functional Languages, St Andrews, Scotland (September 1997), Springer
Verlag LNCS 1467, pp 198-213.
1996
Paton N. Cooper R. Williams H. Trinder P.
Database Programming Languages.
Prentice Hall (1996) ISBN 0-13-101825-6.
Trinder P. Hammond K. Mattson J. Partridge A. Peyton Jones S.
GUM: a Portable Parallel implementation of Haskell
Proceedings of Programming Languages Design and Implementation (PLDI), Philadelphia, USA, (May 1996) pp79-88.
1995
Chan D.K.C. Trinder P.W. Welland R.C.
Evaluating Object-oriented Query Languages
The Computer Journal 38(2) (February 1995).
1994
This year I was away on an excellent trip around the world!
Chan D.K.C. Trinder P.W.
Object Comprehensions: A Query Notation for Object-Oriented Databases
Proceedings of the 6th British National
Conference on Databases, Springer Verlag LNCS 826 (1994).
1993
Chan D.K.C. Harper D.J. Trinder P.W.
A Case Study of Object-oriented Query Languages
International Conference on Information Systems and Management
of Data, New Delhi, India (October 1993).
Sjoberg D. Atkinson M.P. Lopes J.C. Trinder P.W.
Building an Integrated Persistent Application, a Multi-author, Multi-level Project
Proceedings of the Fourth International Workshop
on Database Programming Languages, New York (August 1993).
Akerholt G. Hammond K. Peyton Jones S.L. Trinder P.W.
Processing Transactions in a Parallel Functional Language
Proceedings of PARLE 93, Munich, Germany, Springer Verlag (June 1993).
Chan D.K.C. Harper D.J. Trinder P.W.
An Object-oriented Data Model Specification
5th International Conference on Computing and Information, Sudbury,
Canada (May 1993).