Professor Phil Trinder

  • Professor of Computing Science (Computing Science)

telephone: 01413303627
email: Phil.Trinder@glasgow.ac.uk

Research interests

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

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 Systems Section (GLASS) and the Glasgow Parallelism Group (GPG). He is also actively involved in the Scottish Programming Languages Seminar (SPLS).

Selected publications

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)

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)

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)

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)

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)

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)

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)

Supervision

  • Archibald, Blair
    I115 - Programming Language Support for Computational Offloading
  • Jacob, Dejice
    Dynamic Compute-Resource Topology Mapping and Management
  • Khan, Aamir
    Developing a binocular vision system
  • Morton, John
    Static Analyses for Automatic Parallelism - JACS code G620

All publications

List by: Type | Date

Jump to: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008
Number of items: 54.

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, (doi:10.1109/TPDS.2017.2654246) (Early Online Publication)

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)

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)

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

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,

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.

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 Wed Jun 28 21:20:51 2017 BST.
Number of items: 54.

Articles

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, (doi:10.1109/TPDS.2017.2654246) (Early Online Publication)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Book Sections

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

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

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

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)

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.

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

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)

Edited Books

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

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

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)

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)

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,

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)

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)

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,

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,

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,

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,

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)

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,

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.

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.

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,

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 Wed Jun 28 21:20:51 2017 BST.