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, B. , Maier, P., Stewart, R. and Trinder, P. (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, D. , Trinder, P. and Singer, J. (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, M., Koopman, P., Ramsingh, A., Singer, J. and Trinder, P. (2023) Could tierless languages reduce IoT development grief? ACM Transactions on Internet of Things, 41(1), 6. (doi: 10.1145/3572901)

Chechina, N., Li, H., Ghaffari, A., Thompson, S. and Trinder, P. (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, R., Maier, P. and Trinder, P. (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, S., Trinder, P. , De Troyer, C., Lubbers, M. and Ramsingh, A. (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, T., Goens, A., Bhat, S., Grosser, T., Trinder, P. and Steuwer, M. (2024) Guided equality saturation. Proceedings of the ACM on Programming Languages, 8(POPL), 58. (doi: 10.1145/3632900)

2023

Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Special delivery: programming with mailbox types. Proceedings of the ACM on Programming Languages, 7(ICFP), 191. (doi: 10.1145/3607832)

Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]

MacGregor, R., Archibald, B. and Trinder, P. (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, A., Singer, J. and Trinder, P. (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, A. and Trinder, P. (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, R. (C.), Michala, A. L. and Trinder, P. (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, J. and Trinder, P. (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, R., Trinder, P. and Loidl, H.-W. (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, P. , Valkov, I. and Chechina, N. (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, M., Koopman, P., Ramsingh, A., Singer, J. and Trinder, P. (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, D. and Trinder, P. (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, D., Trinder, P. and Singer, J. (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, B. , Maier, P., Stewart, R. and Trinder, P. (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, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (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, I., Chechina, N. and Trinder, P. (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, N., MacKenzie, K., Thompson, S., Trinder, P. , Boudeville, O., Fordos, V., Hoch, C., Ghaffari, A. and Moro Hernandez, M. (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, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J. (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, J. M. , Maier, P. and Trinder, P. (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, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P. and Trinder, P. (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)

Stewart, R., Maier, P. and Trinder, P. (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. (doi: 10.1017/S095679681600006X)

Lindley, S., McBride, C., Trinder, P. and Sannella, D. (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, M., Trinder, P. and Loidl, H.-W. (2016) Assessing the Scalability Issues on Multi-Core NUMA Machines. In: Alford, N. and Fréchet, J. (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, N., Moro Hernandez, M. and Trinder, P. (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, A., Chechina, N., Aragon-Camarasa, G. and Trinder, P. (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, P., Morton, J. M. and Trinder, P. (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, P., Morton, J. M. and Trinder, P. (2015) Towards an Adaptive Skeleton Framework for Performance Portability. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Hernandez, M. M., Chechina, N. and Trinder, P. (2015) A Reliable Instant Messenger in Erlang: Design and Evaluation. Technical Report. Glasgow University.

MacKenzie, K., Chechina, N. and Trinder, P. (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, J. M. , Maier, P. and Trinder, P. (2015) Costing JIT Traces. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

2014

Chechina, N., Huiqing, L., Trinder, P. and Ghaffari, A. (2014) Scalable SD Erlang Computation Model. Technical Report. Glasgow University.

Chechina, N., Huiqing, L., Trinder, P. and Thompson, S. (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.

Chechina, N., Trinder, P. , Ghaffari, A., Green, R., Lundin, K. and Virding, R. (2014) Scalable Reliable SD Erlang Design. Technical Report. Glasgow University.

He, J., Wadler, P. and Trinder, P. (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. (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, P., Livesey, D., Loidl, H.-W. and Trinder, P. (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, P., Stewart, R. J. and Trinder, P. (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, A., Chechina, N., Trinder, P. and Meredith, J. (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. , 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. , 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. 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. 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. (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. 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. 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. (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. 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, N. and Trinder, P. (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. 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. 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. (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. 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. , 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. (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. (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. 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, P. 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. (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. (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. , 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, N., King, P., Pooley, R. and Trinder, P. (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. , 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. (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. (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. , 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, R., Trinder, P.W. , 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. 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. , 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. (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. (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. , 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. 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 Sun Dec 29 19:40:20 2024 GMT.

Number of items: 78.

Articles

Koehler, T., Goens, A., Bhat, S., Grosser, T., Trinder, P. and Steuwer, M. (2024) Guided equality saturation. Proceedings of the ACM on Programming Languages, 8(POPL), 58. (doi: 10.1145/3632900)

Trinder, P. , Valkov, I. and Chechina, N. (2021) Reliable distribution of computational load in robot teams. Autonomous Robots, 45(3), pp. 351-369. (doi: 10.1007/s10514-021-09967-8)

Stewart, R., Maier, P. and Trinder, P. (2016) Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. (doi: 10.1017/S095679681600006X)

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

Book Sections

Edited Books

Research Reports or Papers

Maier, P., Morton, J. M. and Trinder, P. (2015) Towards an Adaptive Skeleton Framework for Performance Portability. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Hernandez, M. M., Chechina, N. and Trinder, P. (2015) A Reliable Instant Messenger in Erlang: Design and Evaluation. Technical Report. Glasgow University.

Morton, J. M. , Maier, P. and Trinder, P. (2015) Costing JIT Traces. Technical Report. School of Computing Science, University of Glasgow. (Unpublished)

Chechina, N., Huiqing, L., Trinder, P. and Ghaffari, A. (2014) Scalable SD Erlang Computation Model. Technical Report. Glasgow University.

Chechina, N., Huiqing, L., Trinder, P. and Thompson, S. (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.

Chechina, N., Trinder, P. , Ghaffari, A., Green, R., Lundin, K. and Virding, R. (2014) Scalable Reliable SD Erlang Design. Technical Report. Glasgow University.

Conference Proceedings

Stewart, R., Trinder, P.W. and Maier, P. (2013) Reliable scalable symbolic computation: the design of SymGridPar2. In: 28th Symposium On Applied Computing, Coimbra, Portugal, 18-22 Mar 2013,

Stewart, R., Trinder, P.W. 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,

Artefact

Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]

This list was generated on Sun Dec 29 19:40:20 2024 GMT.

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 Dec 29 19:40:21 2024 GMT.

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