Philip W. Trinder

Orcid: 0000-0003-0190-7010

Affiliations:
  • Glasgow University, School of Mathematical and Computer Sciences
  • Heriot-Watt University, Department of Computer Science


According to our database1, Philip W. Trinder authored at least 128 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Guided Equality Saturation.
Proc. ACM Program. Lang., January, 2024

The Benefits of Tierless Elixir/Potato for Engineering IoT Systems.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang., August, 2023

Could Tierless Languages Reduce IoT Development Grief?
ACM Trans. Internet Things, February, 2023

Generic Exact Combinatorial Search at HPC Scale.
Int. J. Parallel Program., February, 2023

Special Delivery: Programming with Mailbox Types (Extended Version).
CoRR, 2023

2022
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability.
CoRR, 2022

Parallel Flowshop in YewPar.
CoRR, 2022

Classifying the Reliability of the Microservices Architecture.
Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

CAEFL: composable and environment aware federated learning models.
Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

A reliability benchmark for actor-based server languages.
Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.
CoRR, 2021

Reliable distribution of computational load in robot teams.
Auton. Robots, 2021

Improving GHC Haskell NUMA profiling.
Proceedings of the FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2021

2020
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala.
Proceedings of the 16th International Conference on Web Information Systems and Technologies, 2020

YewPar: skeletons for exact combinatorial search.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Tiered versus tierless IoT stacks: comparing smart campus software architectures.
Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms.
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019
Implementing YewPar: A Framework for Parallel Tree Search.
Proceedings of the Euro-Par 2019: Parallel Processing, 2019

Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis.
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018
Replicable parallel branch and bound search.
J. Parallel Distributed Comput., 2018

Arrows for Parallel Computation.
CoRR, 2018

Comparing languages for engineering server software: erlang, go, and scala with akka.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Evaluating Scalable Distributed Erlang for Scalability and Reliability.
IEEE Trans. Parallel Distributed Syst., 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017

Towards Generic Scalable Parallel Combinatorial Search.
Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

2016
Selected and extended papers from SBLP 2013.
Sci. Comput. Program., 2016

Improving the network scalability of Erlang.
J. Parallel Distributed Comput., 2016

Transparent fault tolerance for scalable functional computation.
J. Funct. Program., 2016

JIT-Based Cost Analysis for Dynamic Program Transformations.
Proceedings of the Resource Aware Computing, 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.
Concurr. Comput. Pract. Exp., 2016

JIT costing adaptive skeletons for performance portability.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Towards reliable and scalable robot communication.
Proceedings of the 15th International Workshop on Erlang, 2016

A scalable reliable instant messenger using the SD Erlang libraries.
Proceedings of the 15th International Workshop on Erlang, 2016

2015
Performance portability through semi-explicit placement in distributed Erlang.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014
Reliable scalable symbolic computation: The design of SymGridPar2.
Comput. Lang. Syst. Struct., 2014

Balancing Shared and Distributed Heaps on NUMA Architectures.
Proceedings of the Trends in Functional Programming, 2014

The HdpH DSLs for scalable reliable computation.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

High-Performance Computer Algebra: A Hecke Algebra Case Study.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

Typecasting actors: from Akka to TAkka.
Proceedings of the Fifth Annual Scala Workshop, 2014

2013
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.
J. Symb. Comput., 2013

Resource analyses for parallel and distributed coordination.
Concurr. Comput. Pract. Exp., 2013

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Scalable persistent storage for Erlang: theory and practice.
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH).
Proceedings of the International Conference on Computational Science, 2012

Orchestrating computational algebra components into a high-performance parallel system.
Int. J. High Perform. Comput. Netw., 2012

Supervised Workpools for Reliable Massively Parallel Computing.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Architecture-aware cost modelling for parallel performance portability.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2011
Functional Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Redundant movements in autonomous mobility: Experimental and theoretical analysis.
J. Parallel Distributed Comput., 2011

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.
Proceedings of the Implementation and Application of Functional Languages, 2011

Comparing High Level MapReduce Query Languages.
Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

2010
Deadline-Driven Auctions for NPC host allocation in P2P MMOGs.
Int. J. Adv. Media Commun., 2010

Design issues for Peer-to-Peer Massively Multiplayer Online Games.
Int. J. Adv. Media Commun., 2010

Cost-driven autonomous mobility.
Comput. Lang. Syst. Struct., 2010

Easy composition of symbolic computation software: a new lingua franca for symbolic computation.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Seq no more: better strategies for parallel Haskell.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
Low Pain vs No Pain Multi-core Haskells.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.
IEEE Trans. Parallel Distributed Syst., 2008

High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG.
Concurr. Comput. Pract. Exp., 2008

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

2007
NOCEA: A rule-based evolutionary algorithm for efficient and effective clustering of massive high-dimensional databases.
Appl. Soft Comput., 2007

Mediator: a design framework for P2P MMOGs.
Proceedings of the 6th Workshop on Network and System Support for Games, 2007

Evaluating high-level distributed language constructs.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Automatically Costed Autonomous Mobility.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

SymGrid: A Framework for Symbolic Computation on the Grid.
Proceedings of the Euro-Par 2007, 2007

2006
Managing Heterogeneity in a Grid Parallel Haskell.
Scalable Comput. Pract. Exp., 2006

Autonomous mobility skeletons.
Parallel Comput., 2006

Strong Mobility in Mobile Haskell.
J. Univers. Comput. Sci., 2006

A comparative evaluation of three mobile languages.
Proceedings of the 3rd international conference on Mobile technology, 2006

Autonomous Mobile Programs.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Comparing C++ and ERLANG for motorola telecoms software.
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005
Towards Mobility Skeletons.
Parallel Process. Lett., 2005

mHaskell: Mobile Computation in a Purely Functional Language.
J. Univers. Comput. Sci., 2005

Are High-Level Languages Suitable for Robust Telecoms Software?.
Proceedings of the Computer Safety, 2005

2003
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput., 2003

Modelling Parallel Oracle for Performance Prediction.
Distributed Parallel Databases, 2003

Implementing Mobile Haskell.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Mining Comprehensible Clustering Rules with an Evolutionary Algorithm.
Proceedings of the Genetic and Evolutionary Computation, 2003

Evaluating distributed functional languages for telecommunications software.
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

Towards effective subspace clustering with an evolutionary algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002
Parallel and Distributed Haskells.
J. Funct. Program., 2002

Parallelising large irregular programs: an experience with Naira.
Inf. Sci., 2002

Explaining Polymorphic Types.
Comput. J., 2002

Implementing Declarative Parallel Bottom-Avoiding Choice.
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

Thread Migration in a Parallel Graph Reducer.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

A genetic rule-based data clustering toolkit.
Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs.
Parallel Process. Lett., 2001

Human and "human-like" type explanations.
Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

Functional Vs Object-Oriented Distributed Languages.
Proceedings of the Computer Aided Systems Theory, 2001

2000
Runtime system level fault tolerance for a distributed functional language.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

How do people check polymorphic types?
Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, 2000

The Design and Implementation of Glasgow Distributed Haskell.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

An operational semantics for parallel lazy evaluation.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Engineering parallel symbolic programs in GPH.
Concurr. Pract. Exp., 1999

Large Scale Functional Applications.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
Algorithms + Strategy = Parallelism.
J. Funct. Program., 1998

A Strategic Profiler for Glasgow Parallel Haskell.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997
A processing framework for object comprehensions.
Inf. Softw. Technol., 1997

Engineering Large Parallel Functional Programs.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Parallelising a Large Functional Program or: Keeping LOLITA Busy.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
GUM: A Portable Parallel Implementation of Haskell.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995
Database Manipulation in Haskell 1.3.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994
Evaluating Object-Oriented Query Languages.
Comput. J., 1994

An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Data Dependent Concurrency Control.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Object Comprehensions: A Query Notation for Object-Oriented Databases.
Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

Database programming languages - deductive, functional, persistent and object-oriented approaches.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-101825-9, 1994

1993
Processing Transactions on GRIP, a Parallel Graph Reducer.
Proceedings of the PARLE '93, 1993

An Object-Oriented Data Model Specification.
Proceedings of the Computing and Information, 1993

Building an Integrated Persistent Application.
Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

A Case Study of Object-Oriented Query Languages.
Proceedings of the International Conference on Information Systems and Management of Data, 1993

1992
Improving Persistent Data Manipulation for Functional Languages.
Proceedings of the Functional Programming, 1992

1991
A Parallel Functional Database on GRIP.
Proceedings of the Functional Programming, 1991

Comprehensions, a Query Notation for DBPLs.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
Concurrent Data Manipulation in a Pure Functional Language.
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

Bulk Types for Large Scale Programming.
Proceedings of the Next Generation Information System Technology, 1990

1989
A functional database.
PhD thesis, 1989

Referentially Transparent Database Languages.
Proceedings of the Functional Programming, 1989

1987
Implementing Functional Databases.
Proceedings of the Advances in Database Programming Languages, 1987


  Loading...