Phil Trinders Publications


A selection of preprints of recent publications are available below, and I'll gladly send you others on request.

See also Google Scholar Citations.

Theses are listed separately.

2024

Koehler T. Goens A. Bhat S. Grosser S. Trinder P.W. Steuwer M.
Guided Equality Saturation
Proc. ACM on Programming Languages 8(POPL)(January 2024).

2023

Fowler S. Attard D. Sowul F. Gay S. Trinder P.
Special Delivery: Programming with Mailbox Types
Proc. ACM on Programming Languages 7(ICFP) (September 2023).

Lubbers M. Koopman P. Ramsingh A. Singer J. Trinder P.
Could Tierless Languages Reduce IoT Development Grief?
Transactions on Internet of Things (TIOT) 4(1) ACM (2023).

2022

MacGregor R. Archibald B. Trinder P.W.
Generic Exact Combinatorial Search at HPC Scale
Int J Parallel Prog Springer (2022).
DOI 10.1007/s10766-022-00744-3

Ramsingh A. Singer J. Trinder P.W.
Classifying the Reliability of the Microservices Architecture
Proceedings of the 18th International Conference on Web Information Systems and Technologies (WEBIST'22), Malta (October 2022).
DOI 10.5220/0011381700003318

Cano J. Trinder P.W. (Eds)
Euro-Par 2022: Parallel Processing
Proceedings of the 28th International Conference on Parallel and Distributed Computing (Euro-Par'22) Glasgow, UK Springer LNCS 13440 (August 2022).
ISBN 978-3-031-12596-6 DOI 10.1007/978-3-031-12597-3

Randtoul A. Trinder P.W.
A Reliability Benchmark for Actor-Based Server Languages
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang (Erlang'22) Ljubljana, Slovenia (September 2022).
DOI 10.1145/3546186.3549928

Xu R. Michala A.L. Trinder P.W.
CAEFL: Composable and Environment Aware Federated Learning Models
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang (Erlang'22) Ljubljana, Slovenia (September 2022).
DOI 10.1145/3546186.3549927

Knizikevicius I. Trinder P.W. Archibald B. Yan J.
Parallel Flowshop in YewPar
arXiv Computing Research Repository (CoRR) (2022)
DOI 10.48550/arXiv.2207.06902

2021

MacGregor R. Trinder P.W. Loidl H-W.
Improving GHC Haskell NUMA Profiling
Proceedings of the ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (FHPNC'21) Virtual Event, Republic of Korea, (August 2021).
DOI 10.1145/3471873.3472974

Valkov I. Trinder P.W. Chechina N.
Reliable distribution of computational load in robot teams
Journal of Autonomous Robots 4(3) Elsevier (February 2021)
DOI 10.1007/s10514-021-09967-8

Koehler T. Trinder P. Steuwer M.
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings
arXiv Computing Research Repository (CoRR) (2021)
DOI arXiv:2111.13040

2020

Jacob D. Trinder P.W. Singer J.
Pricing Python Parallelism: a Dynamic Language Cost Model for Heterogeneous Platforms
Proceedings of ACM SIGPLAN Dynamic Languages Symposium (DLS'20), Chicago, USA (November 2020)
DOI 10.1145/3426422.3426979

Penev D. Trinder P.
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala
Proceedings Web Information Systems and Technologies (WEBIST'20), Budapest, Hungary (November 2020).

Lubbers M. Koopman P. Ramsingh A. Singer J. Trinder P.
Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures
Proceedings Internet of Things (IoT'20), Malmo, Sweden, ACM (October 2020).

Archibald B. Maier P. Stewart R. Trinder P.W.
YewPar: Skeletons for Exact Combinatorial Search
Proceedings of Principles and Practice of Parallel Programming (PPoPP'20), San Diego, USA, ACM (February 2020)
DOI 10.1145/3332466.3374537

2019

Jacob D. Trinder P.W. Singer J.
Python Programmers Have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis
Proceedings of ACM SIGPLAN Dynamic Languages Symposium (DLS'19), Athens, Greece (October 2019)
DOI: 10.1145/3359619.3359743

Archibald B. Maier P. Stewart R. Trinder P.W.
Implementing YewPar: a framework for parallel tree search
Proceedings of Euro-Par'19, Goettingen, Germany Springer LNCS 11725 (August 2019) pp 184-196
DOI 10.1007/978-3-030-29400-7_14

2018

Archibald B. Maier P. McCreesh C. Stewart R. Trinder P.
Replicable Parallel Branch and Bound Search
Journal of Parallel and Distributed Computing (JPDC) V113 Elsevier (March 2018) pp 92-114

Braun M. Lobachev O. Trinder P.
Arrows for Parallel Computation
Arxiv Preprint

Chechina N. Trinder P. Valkov I.
Comparing Languages for Engineering Server Software: Erlang, Go, and Scala with Akka.
ACM Symposium on Applied Computing (SAC) Pau, France (April 2018)

2017

Trinder P. Chechina N. Papaspyrou N. Sagonas K. Thompson SJ. et al.
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
ACM Transactions on Programming Languages and Systems (TOPLAS) V39(4) (September 2017) pp 1-46.
DOI: 10.1145/3107937

Trinder P.W. Oancea C. (Eds)
FHPC 2017: Proc. 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, Oxford, UK, (2017)
ISBN 978-1-4503-5181-2

Archibald B. Maier P. Stewart R. Trinder P. De Beule J.
Towards Generic Scalable Parallel Combinatorial Search
ACM SIGSAM Workshop on Parallel Symbolic Computation (PASCO), Kaiserslautern, Germany (July 2017), pp 1-10.
DOI: 10.1145/3115936.3115942

Chechina N. MacKenzie K. Thompson S.J. Trinder P.W. Boudeville O. Fordos V. Hoch C. Ghaffari A. Moro Hernandez M.
Evaluating Scalable Distributed Erlang for Scalability and Reliability
IEEE Transactions on Parallel and Distributed Systems (TPDS) 28(8) pp 2244-2257
DOI: 10.1109/TPDS.2017.2654246

2016

Rauber Du Bois A. Trinder P.W. (Eds)
Selected and extended papers from SBLP 2013.
Science of Computer Programming V132 Part 1 (2016)
DOI http://dx.doi.org/10.1016/j.scico.2016.08.007

Lindley S. McBride C. Trinder P.W. Sannella D. (Eds)
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Lecture Notes in Computer Science (LNCS) 9600 Springer (2016).
ISBN: 978-3-319-30935-4 DOI: 10.1007/978-3-319-30936-1

Behrends R. Hammond K. Janjic V. Konovalov A. Linton S. Loidl H-W. Maier P. Trinder P.W.
HPC-GAP: Engineering a 21st-Century High-Performance Computer Algebra System.
Concurrency and Computation: Practice and Experience (CPE), John Wiley and Son 28(13) pp 3606-3636 (2016).
DOI: 10.1002/cpe.3746

Stewart R. Maier P. Trinder P.W.
Transparent Fault Tolerance for Scalable Functional Computation.
Journal of Functional Programming V26, Cambridge Press (2016).
DOI: 10.1017/S095679681600006X

Chechina N. Huiqing L. Ghaffari A. Thompson S. Trinder P.W.
Improving the network scalability of Erlang.
Journal of Parallel and Distributed Computing V90-91, Elsevier (2016) pp 22-34.

Ibrahim I.S. Loidl H.W. Trinder P.W.
High-performance Cloud Computing for Symbolic Computation Domains
Journal of Computations & Modelling V6(1), Scienpress (2016) pp 107-133.

Lutac A.C. Chechina N. Aragon Camarasa G. Trinder P.W.
Towards Reliable and Scalable Robot Communication.
Proceedings of the 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, pp. 22--23 (September 2016).

Chechina N. Moro Hernandez M. Trinder P.W.
A Scalable Reliable Instant Messenger using the SD Erlang Libraries.
Proceedings of the 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, pp. 33--41 (September 2016).

Maier P. Morton J.M. Trinder P.W.
JIT costing adaptive skeletons for performance portability.
Proceedings of the 5th International Workshop on Functional High-Performance Computing (FHPC'16) Nara, Japan, pp 23-30 (September 2016).

Morton J.M. Maier P. Trinder P.W.
JIT-Based Cost Analysis for Dynamic Program Transformations.
Electronic Notes in Theoretical Computer Science (ENTCS) V330 pp 5-25 (2016) DOI 10.1016/j.entcs.2016.12.012

2015

MacKenzie K. Chechina N. Trinder P.W.
Performance portability through semi-explicit placement in distributed Erlang.
Proceedings of 14th ACM SIGPLAN Erlang Workshop, Vancouver, B.C., Canada, 31 Aug - 2 Sep 2015 pp~27-38.

2014

Maier P. Stewart R.J. Trinder P.W.
The HdpH DSLs for scalable reliable computation.
ACM SIGPLAN Haskell Symposium, Gothenburgh, Sweden, (September 2014) pp 65-76.

Maier P. Livesey D. Loidl H-W. Trinder P.W.
High-Performance Computer Algebra: A Hecke Algebra Case Study.
Proceedings of Euro-Par (August 2014) pp 415-426.

Jiansen He, Philip Wadler, Philip W. Trinder:
Typecasting actors: from Akka to TAkka.
Proceedings of SCALA at ECOOP 2014, pp 23-33.

Stewart R. Trinder P.W. Maier P.
Reliable Scalable Symbolic Computation: The Design of SymGridPar2.
Computer Languages, Systems and Structures 40(1) (2014) pp 19-35.

Chechina N. Trinder P.W.
The RELEASE Project
The Norwegian Developers Conference(NDC) Magazine (2014), pp 17-18

Aljabri M. Loidl H-W. Trinder P.W.
Balancing Shared and Distributed Heaps on NUMA Architectures.
In TFP'14: 15th Symposium on Trends in Functional Programming, Soesterberg, The Netherlands, May 2014.

2013

Stewart R. Trinder P.W. Maier P.
Reliable Scalable Symbolic Computation: The Design of SymGridPar2.
Proc 28th ACM SIGPLAN Symposium On Applied Computing (SAC'13), Coimbra, Portugal (March 2013).

Trinder P.W. Cole M.I. Hammond K. Loidl H-W. Michaelson G.
Resource Analyses for Parallel and Distributed Coordination.
Concurrency and Computation: Practice and Experience (CPE), 25(3) John Wiley and Son pp 309-348.

Linton S. Hammond K. Konovalov A. Brown C. Trinder P.W. Loidl H-W. Horn P. Roozemond D.
Easy Composition of Symbolic Computation Software: A New Lingua Franca for Symbolic Computation.
Journal of Symbolic Computation (JSC) V49, Elsevier (2013), pp 95-119.

Rauber Du Bois A. Trinder P.W. (Eds)
Programming Languages - 17th Brazilian Symposium, SBLP 2013,Brasilia, Brazil October 2013)
Springer Verlang LNCS 8129, ISBN 978-3-642-40921-9

Ghaffari A. Chechina N. Trinder P.W. Meredith J.
Scalable persistent storage for Erlang: theory and practice.
Proceedings of the ACM SIGPLAN Erlang Workshop 2013, pp 73-74.

Aljabri M. Loidl H-W. Trinder P.W.
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation.
IFL 2013 pp 37-48.

Aswad M. KH. Trinder P.W. Al Zain A.D, Michaelson G.J. Berthold J.
Low Pain vs No Pain Multi-core Haskells.
Journal of Higher Order Symbolic Computation. In Press.

2012

Boudeville O. Cesarini F. Chechina N. Lundin K. Papaspyrou N. Sagonas K. Thompson S. Trinder P. Wiger U.
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software.
The 13th Symposium on Trends in Functional Programming (TFP'12), St Andrews University, UK (June 2012).
Springer Verlag LNCS (to appear).

Stewart R. Trinder P.W. Maier P.
Supervised Workpools for Reliable Massively Parallel Computing.
The 13th Symposium on Trends in Functional Programming (TFP'12), St Andrews University, UK (June 2012).
Springer Verlag LNCS (to appear).

Aswad M. KH. Trinder P.W. Loidl H-W.
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GpH)
PAPP'12: 9th Int. Workshop on Practical Aspects of High-Level Parallel Programming and Applications, Omaha, USA (June 2012).

Belikov E. Loidl H-W. Michaelson G.J. Trinder P.W.
Architecture-Aware Cost Modelling for Parallel Performance Portability
ATPS'12: Arbeitstagung Programmiersprachen, Berlin, Germany (March 2012) Lecture Notes in Informatics (LNI).

Al Zain A. Trinder P. W. Hammond K. Konovalov A. Linton S.
Orchestrating Computational Algebra Components into a High-Performance Parallel System
Int. Journal of High Performance Computing and Networking 7(2) Inderscience (2012) pp~76 - 86.

2011

Maier P. Trinder P.W.
Implementing a High-level Distributed-Memory parallel Haskell in Haskell (Draft)
IFL'11: 23rd Int. Workshop on the Implementation of Functional Languages, Lawrence, Kansas, USA, (October 2011) Springer Verlag LNCS (to appear).

Trinder P.W. Loidl H-W. Hammond K.
Parallel Functional Languages entry in Encyclopedia of Parallel Computing Padua D. (Ed)
1st Edition, Springer Verlag, (2011) ISBN 978-0-387-09766-4, pp 744-749.

Chechina N. King P.J.B. Trinder P.W.
Redundant movements in in Autonomous Mobility: Experimental and Theoretical Analysis.
Journal of Parallel and Distributed Computing (JPDC), V71, Elsevier, pp~1278--1292 (2011)

Armih K. Trinder P.W. Michaelson G.J.
Cache Size in a Cost Model for Heterogeneous Skeletons.
ACM SIGPLAN HLPP'11 High-Level Parallel Programming, Tokyo (September 2011).

Stewart R. Trinder P.W. Loidl H-W.
Comparing High Level MapReduce Query Languages.
APPT'11 Proceedings of the 9th Advanced Parallel Processing Technology Symposium, Shanghai, China (September 2011) Springer Verlag LNCS.

2010

Chechina N. King P.J.B. Trinder P.W.
Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements.
IEEE/WIC/ACM Int. Conf. on Intelligent Agent Technology (IAT'10), Toronto, Canada (September 2010).

Marlow S. Maier P. Loidl H-W. Aswad M. KH. Trinder P.W.
Seq no more: Better Strategies for Parallel Haskell.
Haskell '10: Proceedings of the Third ACM SIGPLAN Symposium on Haskell, Baltimore, USA (September 2010) pp 91-102.

Trinder P.W.
SymGrid-Par: A Standard Skeleton-Based Framework for Computational Algebra Systems.
HLPP'10: Proceedings of the Fourth International Workshop on High-level Parallel Programming and Applications, Baltimore, Maryland, USA (September 2010) (Keynote).

LintonS. Hammond K. Konovalov A. Al Zain A. Trinder P.W. Horn P. Roozemond D.
Easy Composition of Symbolic Computation Software: A New Lingua Franca for Symbolic Computation.
International Symposium on Symbolic and Algebraic Computation (ISSAC'10) (July 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.

Fan L. Taylor H. Trinder P.W.
Deadline-Driven Auctions for NPC Host Allocation in P2P MMOGs.
International Journal of Advanced Media and Communication (IJAMC) 4(2) pp 108-125.
Version from Massively Multiuser Virtual Environments (MMVE '09) Lafayette, Louisiana, USA (March 2009).

Fan L. Taylor H. Trinder P.W.
Design Issues for Peer-to-Peer Massively Multiplayer Online Games.
International Journal of Advanced Media and Communication (IJAMC) 4(2) pp 126 - 139.
Version from Massively Multiuser Virtual Environments (MMVE '09) Lafayette, Louisiana, USA (March 2009)

2009

Trinder P.W. Cole M.I. Loidl H-W. Michaelson G.
Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
Int. Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) Eindhoven, The Netherlands (November 2009) Springer Verlag LNCS 6324, pp 67-83

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).

Aswad M. KH. Trinder P.W. Al Zain A.D, Michaelson G.J. Berthold J.
Low Pain vs No Pain Multi-core Haskells.
The 10th Symposium on Trends in Functional Programming (TFP'09), Selye Janos University, Komarno, Slovakia (June 2009).

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

Al Zain A. Trinder P. W. Hammond K. Konovalov A. Linton S.
Orchestrating Computational Algebra Components into a High-Performance Parallel System IEEE Int. Symp. on Parallel and Distributed Processing with Applications (ISPA08), Sydney, Australia (December 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).

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 pp 47-76.

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).

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).

Yang J. Michaelson G. Trinder P.W.
Improved Type Error Reporting
Draft Proceedings of IFL'00 - 12th International Workshop on the Implementation of Functional Languages, Aachen, Germany (September 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

This year I was away on an excellent trip around the world!

Hammond K. Mattson J. Partridge A. Peyton~Jones S. Trinder P.W.
GUM: a Portable Parallel Implementation of Haskell
Proceedings of International Workshop on the Implementation of Functional Languages (IFL'95), Bastad, Sweden (September 1995).
More detailed version of PLDI paper above.

1994

Chan D.K.C. Trinder P.W. Welland R.C.
Evaluating Object-oriented Query Languages
The Computer Journal 37(10) (1994).

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).


Unrefereed and earlier publications are available on request.