Professor Phil Trinder

Professor of Computing Science (Computing Science)

telephone: 01413303627
email: Phil.Trinder@glasgow.ac.uk
pronouns: He/him/his

Room S101c, School of Computing Science, Sir Alwyn William's Building

Import to contacts

https://orcid.org/0000-0003-0190-7010

Research interests

Personal site: http://www.dcs.gla.ac.uk/~trinder/

Research overview

Biography:

Professor Phil Trinder has been an active researcher in parallel and distributed technologies for over 25 years. He has been an investigator on 15 major research projects (Principle Investigator on 12, EU Project Coordinator), with the projects primarily funded by the EU or the UK's Engineering and Physical Sciences Research Council (EPSRC). Professor Trinder holds a DPhil from Oxford University and has over 100 publications in journals, books, or refereed conferences.

Research Interests:

Professor Trinder's key research interest is in designing, implementing, and evaluating high-level distributed and parallel programming models. He has an extensive record of collaborating with both academic and industrial partners, and examples of the latter include long term relationships with Ericsson, Maplesoft, Microsoft UK Research Labs, and Motorola.

- Parallel and Distributed Language Design, Implementation, and Evaluation
- Parallel and Distributed Functional Programming
- Parallelising Interesting Applications, e.g. Computational Algebra

Within the School of Computing Science, Professor Trinder leads the Glasgow Parallelism Group (GPG), and is a member of the Glasgow Systems Section (GLASS). He is also actively involved in the Scottish Programming Languages Seminar (SPLS).

Publications

Selected publications

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

Trinder, P. et al. (2017) Scaling reliably: improving the scalability of the Erlang distributed actor platform. ACM Transactions on Programming Languages and Systems, 39(4), 17. (doi: 10.1145/3107937)

Jacob, Dejice ORCID: https://orcid.org/0000-0002-4137-0353, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 (2020) Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms. In: 16th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual, USA, 17 Nov 2020, pp. 29-42. ISBN 9781450381758 (doi: 10.1145/3426422.3426979)

Lubbers, Mart, Koopman, Pieter, Ramsingh, Adrian, Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2023) Could tierless languages reduce IoT development grief? ACM Transactions on Internet of Things, 41(1), 6. (doi: 10.1145/3572901)

Chechina, Natalia, Li, Huiqing, Ghaffari, Amir, Thompson, Simon and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) Improving the network scalability of Erlang. Journal of Parallel and Distributed Computing, 90-91, pp. 22-34. (doi: 10.1016/j.jpdc.2016.01.002)

Stewart, Robert, Maier, Patrick and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. (doi: 10.1017/S095679681600006X)

All publications

List by: Type | Date

Jump to: 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008

Number of items: 78.

2024

Li, Solaris, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010, De Troyer, Christophe, Lubbers, Martin and Ramsingh, Adrian (2024) The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. In: 23rd ACM SIGPLAN Erlang Workshop at the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024), Milan, Italy, 2-7 Sep 2024, (Accepted for Publication)

Koehler, Thomas, Goens, Andrés, Bhat, Siddharth, Grosser, Tobias, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Steuwer, Michel ORCID: https://orcid.org/0000-0001-5048-0741 (2024) Guided equality saturation. Proceedings of the ACM on Programming Languages, 8(POPL), 58. (doi: 10.1145/3632900)

2023

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Attard, Duncan Paul, Sowul, Franciszek, Gay, Simon ORCID: https://orcid.org/0000-0003-3033-9091 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2023) Special delivery: programming with mailbox types. Proceedings of the ACM on Programming Languages, 7(ICFP), 191. (doi: 10.1145/3607832)

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Attard, Duncan Paul, Sowul, Franciszek, Gay, Simon ORCID: https://orcid.org/0000-0003-3033-9091 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]

MacGregor, Ruairidh, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2023) Generic exact combinatorial search at HPC scale. International Journal of Parallel Programming, 51(1), pp. 83-106. (doi: 10.1007/s10766-022-00744-3)

2022

Ramsingh, Adrian, Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2022) Classifying the Reliability of the Microservice Architectures. In: 18th International Conference on Web Information Systems and Technologies (WEBIST 2022), Valletta, Malta, 25-27 October 2022, pp. 21-32. ISBN 9789897586132 (doi: 10.5220/0011381700003318)

Randtoul, Aidan and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2022) A reliability benchmark for actor-based server languages. In: Erlang 2022: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11-16 Sep 2022, pp. 21-32. ISBN 9781450394352 (doi: 10.1145/3546186.3549928)

Xu, Ruomeng (Cocoa), Michala, Anna Lito ORCID: https://orcid.org/0000-0001-7821-1279 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2022) CAEFL: composable and environment aware federated learning models. In: Erlang 2022: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11-16 Sep 2022, pp. 9-20. ISBN 9781450394352 (doi: 10.1145/3546186.3549927)

Cano, José ORCID: https://orcid.org/0000-0002-2243-389X and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (Eds.) (2022) Euro-Par 2022: Parallel Processing. 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings. Series: Lecture notes in computing science. Springer: Cham.

2021

MacGregor, Ruairidh, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Loidl, Hans-Wolfgang (2021) Improving GHC Haskell NUMA Profiling. In: ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (FHPNC 2021), 22 August 2021, pp. 1-12. ISBN 9781450386142 (doi: 10.1145/3471873.3472974)

Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010, Valkov, Ivan and Chechina, Natalia (2021) Reliable distribution of computational load in robot teams. Autonomous Robots, 45(3), pp. 351-369. (doi: 10.1007/s10514-021-09967-8)

2020

Lubbers, Mart, Koopman, Pieter, Ramsingh, Adrian, Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2020) Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures. In: 10th International Conference on the Internet of Things, Malmö, Sweden, Oct 2020, p. 21. ISBN 9781450387583 (doi: 10.1145/3410992.3411002)

Penev, Danail and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2020) Comparing Reliability Mechanisms for Secure Web Servers: Actors, Exceptions and Futures. In: 16th International Conference on Web Information Systems and Technologies (WEBIST 2020), 3-5 Nov 2020, pp. 51-58. ISBN 9789897584787 (doi: 10.5220/0010017200510058)

2019

Jacob, Dejice, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 (2019) Python Programmers Have GPUs Too: Automatic Python Loop Parallelization with Staged Dependence Analysis. In: DLS 2019, Athens, Greece, 20-25 Oct 2019, pp. 42-54. ISBN 9781450369961 (doi: 10.1145/3359619.3359743)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi: 10.1007/978-3-030-29400-7_14)

2018

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, McCreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871, Stewart, Robert and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

Valkov, Ivan, Chechina, Natalia and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2018) Comparing Languages for Engineering Server Software: Erlang, Go, and Scala with Akka. In: 33rd ACM Symposium on Applied Computing (SAC 2018), Pau, France, 09-13 Apr 2018, pp. 218-225. ISBN 9781450351911 (doi: 10.1145/3167132.3167144)

2017

Chechina, Natalia, MacKenzie, Kenneth, Thompson, Simon, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010, Boudeville, Olivier, Fordos, Viktoria, Hoch, Csaba, Ghaffari, Amir and Moro Hernandez, Mario (2017) Evaluating scalable distributed Erlang for scalability and reliability. IEEE Transactions on Parallel and Distributed Systems, 28(8), pp. 2244-2257. (doi: 10.1109/TPDS.2017.2654246)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and De Beule, Jan (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi: 10.1145/3115936.3115942)

2016

Morton, John Magnus ORCID: https://orcid.org/0000-0002-2974-2767, Maier, Patrick and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) JIT-Based Cost Analysis for Dynamic Program Transformations. In: RAC2016, Eindhoven, Netherlands, 02 Apr 2016, 5 - 25. (doi: 10.1016/j.entcs.2016.12.012)

Behrends, Reimer, Hammond, Kevin, Janjic, Vladimir, Konovalov, Alexander, Linton, Steve, Loidl, Hans-Wolfgang, Maier, Patrick and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28(13), pp. 3606-3636. (doi: 10.1002/cpe.3746)

Lindley, Sam, McBride, Conor, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Sannella, Don (Eds.) (2016) A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Series: Lecture Notes in Computer Science. Springer International Publishing. ISBN 9783319309354

Aljabri, Malak, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Loidl, Hans-Wolfgang (2016) Assessing the Scalability Issues on Multi-Core NUMA Machines. In: Alford, Neil and Fréchet, Jean (eds.) Proceedings of the Eights Saudi Students Conference in the UK. Imperial College Press: London, pp. 267-278. ISBN 9781783269143 (doi: 10.1142/9781783269150_0023)

Chechina, Natalia, Moro Hernandez, Mario and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) A scalable reliable instant messenger using the SD Erlang libraries. In: Fifteenth ACM SIGPLAN Erlang Workshop, Nara, Japan, 23 Sep 2016, pp. 33-41. ISBN 9781450344319 (doi: 10.1145/2975969.2975973)

Lutac, Andreea, Chechina, Natalia, Aragon-Camarasa, Gerardo ORCID: https://orcid.org/0000-0003-3756-5569 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) Towards Reliable and Scalable Robot Communication. In: Fifteenth ACM SIGPLAN Erlang Workshop, Nara, Japan, 23 Sep 2016, pp. 12-23. ISBN 9781450344319 (doi: 10.1145/2975969.2975971)

Maier, Patrick, Morton, John Magnus ORCID: https://orcid.org/0000-0002-2974-2767 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2016) JIT Costing Adaptive Skeletons for Performance Portability. In: The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), Nara, Japan, 22 Sept 2016, pp. 23-30. ISBN 9781450344333 (doi: 10.1145/2975991.2975995)

2015

Maier, Patrick, Morton, John Magnus ORCID: https://orcid.org/0000-0002-2974-2767 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2015) Towards an Adaptive Skeleton Framework for Performance Portability. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Hernandez, Mario Moro, Chechina, Natalia and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2015) A Reliable Instant Messenger in Erlang: Design and Evaluation. Technical Report. Glasgow University.

MacKenzie, Kenneth, Chechina, Natalia and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2015) Performance Portability Through Semi-explicit Placement in Distributed Erlang. In: 14th ACM SIGPLAN Erlang Workshop, Vancouver, B.C., Canada, 31 Aug - 2 Sep 2015, pp. 27-38. ISBN 9781450338059 (doi: 10.1145/2804295.2804299)

Morton, John Magnus ORCID: https://orcid.org/0000-0002-2974-2767, Maier, Patrick and Trinder, Philip ORCID: https://orcid.org/0000-0003-0190-7010 (2015) Costing JIT Traces. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

2014

Chechina, Natalia, Huiqing, Li, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Ghaffari, Amir (2014) Scalable SD Erlang Computation Model. Technical Report. Glasgow University.

Chechina, Natalia, Huiqing, Li, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Thompson, Simon (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.

Chechina, Natalia, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010, Ghaffari, Amir, Green, Rickard, Lundin, Kenneth and Virding, Robert (2014) Scalable Reliable SD Erlang Design. Technical Report. Glasgow University.

He, Jiansen, Wadler, Philip and Trinder, Philip ORCID: https://orcid.org/0000-0003-0190-7010 (2014) Typecasting Actors: from Akka to TAkka. In: Fifth Annual Scala Workshop (SCALA '14), Uppsala, Sweden, 28-29 Jul 2014, pp. 23-33. ISBN 9781450328685 (doi: 10.1145/2637647.2637651)

Maier, P., Stewart, R. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2014) Reliable scalable symbolic computation: the design of SymGridPar2. Computer Languages, Systems and Structures, 40(1), pp. 19-35. (doi: 10.1016/j.cl.2014.03.001)

Maier, Patrick, Livesey, Daria, Loidl, Hans-Wolfgang and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2014) High-performance computer algebra: a Hecke algebra case study. In: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, 25-29 Aug 2014, pp. 415-426. (doi: 10.1007/978-3-319-09873-9_35)

Maier, Patrick, Stewart, Robert J. and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2014) The HdpH DSLs for scalable reliable computation. In: ACM SIGPLAN Haskell Symposium 2014, Gothenburg, Sweden, 4-5 Sep 2014, pp. 65-76. ISBN 9781450330411 (doi: 10.1145/2633357.2633363)

2013

Ghaffari, Amir, Chechina, Natalia, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Meredith, Jon (2013) Scalable Persistent Storage for Erlang. In: Twelfth ACM SIGPLAN Workshop on Erlang, Boston, MA, USA, 25-27 Sep 2013, pp. 73-74. ISBN 9781450323857 (doi: 10.1145/2505305.2505315)

Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Cole, M.I., Hammond, K., Loidl, H.W. and Michaelson, G.J. (2013) Resource analyses for parallel and distributed coordination. Concurrency and Computation: Practice and Experience, 25(3), pp. 309-348. (doi: 10.1002/cpe.1898)

Linton, S., Hammond, K., Konovalov, A., Brown, C., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Loidl, H.-W., Horn, P. and Roozemond, D. (2013) Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Journal of Symbolic Computation, 49, pp. 95-119. (doi: 10.1016/j.jsc.2011.12.019)

Stewart, R., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Maier, P. (2013) Reliable scalable symbolic computation: the design of SymGridPar2. In: 28th Symposium On Applied Computing, Coimbra, Portugal, 18-22 Mar 2013,

2012

Al Zain, A.D., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Hammond, K. (2012) Orchestrating computational algebra components into a high-performance parallel system. International Journal of High Performance Computing and Networking, 7(2), pp. 76-86. (doi: 10.1504/IJHPCN.2012.046383)

Aljabri, M. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2012) Performance comparison of OpenMP and MPI for a concordance benchmark. In: Proceedings of the Saudi Scientific International Conference 2012, London, UK, 11-14 Oct 2012. Saudi Scientific International Conference: London, UK, p. 22. ISBN 9780956904508

Aljabri, M., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Loidl, H.W. (2012) Overview of the design of GUMSMP: a multilevel parallel haskell implementation. In: Proceedings of the Saudi Scientific International Conference 2012, London, UK, 11-14 Oct 2012. Saudi Scientific International Conference: London, UK, p. 25. ISBN 9780956904508

Aswad, M., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Loidl, H.W. (2012) Architecture aware parallel programming in Glasgow parallel haskell (GpH). In: 9th International Workshop on Practical Aspects of High-Level Parallel Programming, Omaha, NE, USA, June 2012,

Belikov, E., Loidl, H.W., Michaelson, G.J. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2012) Architecture-aware cost modelling for parallel performance portability. In: Arbeitstagung Programmiersprachen (ATPS'12), Berlin, Germany, 27 Feb 2012,

Boudeville, O., Cesarini, F., Chechina, N., Lundin, K., Papaspyrou, N., Sagonas, K., Thompson, S., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Wiger, P. (2012) U.RELEASE: a high-level paradigm for reliable large-scale server software. In: 13th International Symposium on Trends in Functional Programming (TFP'12), St. Andrews, UK, 12-14 Jun 2012,

Chechina, Natalia and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2012) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. In: 2012 Symposium on Trends in Functional Programming (TFP 2012), St Andrews, Scotland, 12-14 Jun 2012,

Stewart, R., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Maier, P. (2012) Supervised workpools for reliable massively parallel computing. In: 13th International Symposium on Trends in Functional Programming (TFP'12), St. Andrews, UK, 12-14 Jun 2012,

2011

Armih, K., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Michaelson, G.J. (2011) Cache size in a cost model for heterogeneous skeletons. In: Fifth International Workshop on High-level Parallel Programming and Applications (HLPP 2011), Tokyo, Japan, 18 Sep 2011,

Chechina, N., King, P. and Trinder, P. ORCID: https://orcid.org/0000-0003-0190-7010 (2011) Redundant movements in autonomous mobility: experimental and theoretical analysis. Journal of Parallel and Distributed Computing, 71(10), pp. 1278-1292. (doi: 10.1016/j.jpdc.2011.07.003)

Stewart, R., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Loidl, H.W. (2011) Comparing high level MapReduce query languages. In: Advanced Parallel Processing Technology Symposium (APPT'11), Shanghai, China, 26-27 Sep 2011,

Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Loidl, H.W. and Hammond, K. (2011) Parallel functional languages. In: Padua, D. (ed.) Encyclopedia of Parallel Computing. Series: Springer Reference. Springer: New York, NY, USA. ISBN 9780387098449

2010

Deng, X.Y., Michaelson, G. and Trinder, P. ORCID: https://orcid.org/0000-0003-0190-7010 (2010) Cost-driven autonomous mobility. Computer Languages, Systems and Structures, 36(1), pp. 34-59. (doi: 10.1016/j.cl.2009.01.003)

Chechina, N., King, P. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2010) Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements. In: International Conference on Intelligent Agent Technology (IAT'10), Toronto, ON, Canada, 31 Aug - 3 Sep 2010, pp. 343-346. (doi: 10.1109/WI-IAT.2010.22)

Fan, L., Trinder, P. ORCID: https://orcid.org/0000-0003-0190-7010 and Taylor, H. (2010) Deadline-driven auctions for NPC host allocation in P2P MMOGs. International Journal of Advanced Media and Communication, 4(2), pp. 140-153. (doi: 10.1504/IJAMC.2010.032140)

Fan, L., Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Taylor, H. (2010) Design issues for peer-to-peer massively multiplayer online games. International Journal of Advanced Media and Communication, 4(2), pp. 108-125. (doi: 10.1504/IJAMC.2010.032138)

Marlow, S., Maier, P., Loidl, H.-W., Aswad, M.K. and Trinder, P. ORCID: https://orcid.org/0000-0003-0190-7010 (2010) Seq no more: better strategies for parallel Haskell. In: Proceedings of the Third ACM Haskell Symposium on Haskell, Baltimore, MD, USA, 30 Sept 2010. ACM: New York, NY, USA, pp. 91-102. ISBN 9781450302524

Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2010) SymGrid-Par: a standard skeleton-based framework for computational algebra systems. In: Fourth International Workshop on High-level Parallel Programming and Applications (HLPP 2010), Baltimore, MD, USA, 25 Sep 2010,

Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Cole, M., Loidl, H.W. and Michaelson, G. (2010) Characterising effective resource analyses for parallel and distributed coordination. In: van Eekelen, M. and Shkaravska, O. (eds.) Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Series: Lecture notes in computer science, 6324. Springer: Berlin, Germany, pp. 67-83. ISBN 9783642153303 (doi: 10.1007/978-3-642-15331-0_5)

2009

Chechina, Natalia, King, Peter, Pooley, Rob and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2009) Simulating Autonomous Mobile Programs on Networks. In: PG Net '09: 10th Annual Conference on the Convergence of Telecommunications, Networking and Broadcasting, Liverpool, England, 22-23 Jun 2009, pp. 201-206.

Al Zain, A.D.I., Hammond, K., Berthold, J., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Michaelson, G. and Aswad, M. (2009) Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. In: Proceedings of the 4th Workshop on Declarative Aspects of Multicore Programming, Savannah, GA, USA, 18-24 Jan 2009. ACM: New York, NY, USA, pp. 25-36. ISBN 9781605584171 (doi: 10.1145/1481839.1481843)

Chechina, N., King, P., Pooley, R. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2009) Simulating autonomous mobile programs on networks. In: 10th Annual Conference on the Convergence of Telecommunications, Networking & Broadcasting, Liverpool, UK, 22-23 Jun 2009, pp. 201-206.

Etorban, A., King, P.J.B. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2009) A performance comparison of MDSDV with AODV and DSDV routing protocols. In: Djemame, K. (ed.) Proceedings of the 25th UK Performance Engineering Workshop, Leeds, UK, 6-7 July 2009. School of Computing, University of Leeds: Leeds, UK, pp. 144-155.

2008

Loidl, H.W., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Hammond, K., Al Zain, A. and Baker-Finch, C. (2008) Semi-explicit parallel programming in a purely functional style: GpH. In: Alexander, M. and Gardner, W. (eds.) Process Algebra for Parallel and Distributed Processing. Series: Chapman & Hall/CRC computational science series. CRC Press: Boca Raton, FL, USA, pp. 47-76. ISBN 9781420064865

Gillespie, D., Mellinger, D.K., Gordon, J., McLaren, D., Redmond, P., McHugh, Ronald, Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Deng, X.Y and Thode, A. (2008) PAMGUARD: semiautomated, open source software for real- time acoustic detection and localisation of Cetaceans. In: Proceedings of the Conference on Underwater Noise Measurement: Impact and Mitigation 2008, Southampton, UK, 14-15 Oct 2008. Series: Proceedings of the Institute of Acoustics, 30 (5). Curran Associates: Red Hook, NY, USA, pp. 54-62. ISBN 9781605606774

Nyström, J.H., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and King, D.J. (2008) High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. Concurrency and Computation: Practice and Experience, 20(8), pp. 941-968. (doi: 10.1002/cpe.1223)

Al Zain, A.D., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Michaelson, G.J. and Loidl, H.-W. (2008) Evaluating a high-level parallel language (GpH) for computational GRIDs. IEEE Transactions on Parallel and Distributed Systems, 19(2), pp. 219-233. (doi: 10.1109/TPDS.2007.70728)

Al Zain, A., Berthold, J., Hammond, K. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2008) Orchestrating production computer algebra components into portable parallel programs. In: Open Source Grid and Cluster Conference 2008, Oakland, CA, USA, 12-16 May 2008,

Al Zain, A., Hammond, K., Linton, S., Michaelson, G. and Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 (2008) SCIEnce: using high-Level parallel programming technology to achieve heterogeneous symbolic computing on the grid [poster]. In: UK e-Science All Hands Meeting 2008, Edinburgh, UK, 8-11 Sep 2008,

Al Zain, A.D., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010, Hammond, K., Konovalov, A., Linton, S. and Berthold, J. (2008) Parallelism without pain: orchestrating computational algebra components into a high-performance parallel system. In: Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications, Sydney, NSW, Australia, 10-12 Dec 2008. IEEE: New York, NY, USA, pp. 99-112. ISBN 9780769534718 (doi: 10.1109/ISPA.2008.19)

Fan, L., Trinder, P.W. ORCID: https://orcid.org/0000-0003-0190-7010 and Taylor, H. (2008) MAMBO: membership-aware multicast with bushiness optimisation. In: 2nd International Conference on Distributed Event-Based Systems (DEBS '08), Rome, Italy, 1-4 Jul 2008,

This list was generated on Sat Jun 14 23:50:27 2025 BST.

Number of items: 78.

Articles

Book Sections

Edited Books

Research Reports or Papers

Chechina, Natalia, Huiqing, Li, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Ghaffari, Amir (2014) Scalable SD Erlang Computation Model. Technical Report. Glasgow University.

Chechina, Natalia, Huiqing, Li, Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 and Thompson, Simon (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.

Conference Proceedings

Lubbers, Mart, Koopman, Pieter, Ramsingh, Adrian, Singer, Jeremy ORCID: https://orcid.org/0000-0001-9462-6802 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2020) Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures. In: 10th International Conference on the Internet of Things, Malmö, Sweden, Oct 2020, p. 21. ISBN 9781450387583 (doi: 10.1145/3410992.3411002)

Artefact

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Attard, Duncan Paul, Sowul, Franciszek, Gay, Simon ORCID: https://orcid.org/0000-0003-3033-9091 and Trinder, Phil ORCID: https://orcid.org/0000-0003-0190-7010 (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]

This list was generated on Sat Jun 14 23:50:27 2025 BST.

Supervision

Band, Vivian
Effectively Scanning the IPv6 Address Space
Roberts, Jacob
A Supervision Scheme for Microservices
Xu, Ruomeng
Federated Learning With Self-Organizing, Local-Grouping and Collaborative Multi-Robot Systems

Research datasets

Jump to: 2019 | 2016 | 2015

Number of items: 4.

2019

Archibald, B. , Maier, P., Trinder, P. and Stewart, R. (2019) YewPar: Skeletons for Exact Combinatorial Search. [Data Collection]

2016

Maier, P., Morton, J. M. and Trinder, P. (2016) JIT Costing Adaptive Skeletons for Performance Portability. [Data Collection]

2015

Stewart, R., Trinder, P. and Maier, P. (2015) Transparent fault tolerance for scalable functional computation. [Data Collection]

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P. and Trinder, P. (2015) HPC-GAP: Engineering a 21st century high-performance computer algebra system. [Data Collection]

This list was generated on Sun Jun 15 14:49:35 2025 BST.

We use cookies

Necessary cookies

Analytics cookies

Clarity

Professor Phil Trinder

Research interests

Publications

Selected publications

All publications

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Articles

Book Sections

Edited Books

Research Reports or Papers

Conference Proceedings

Artefact

Supervision

Research datasets

2019

2016

2015