Phil Trinder

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 36

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
Guided Equality Saturation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder
Could Tierless Languages Reduce IoT Development Grief? ACM Trans. Internet Things 4 (1) (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ruairidh MacGregor, Blair Archibald, Phil Trinder
Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. 51 (1) (2023)
Aidan Randtoul, Phil Trinder
A reliability benchmark for actor-based server languages. Erlang Workshop (2022)
Ruomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder
CAEFL: composable and environment aware federated learning models. Erlang Workshop (2022)
Adrian Ramsingh, Jeremy Singer, Phil Trinder
Classifying the Reliability of the Microservices Architecture. WEBIST (2022)
Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan
Parallel Flowshop in YewPar. CoRR (2022)
Adrian Ramsingh, Jeremy Singer, Phil Trinder
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability. CoRR (2022)
Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl
Improving GHC Haskell NUMA profiling. FHPNC@ICFP (2021)
Thomas Koehler, Phil Trinder, Michel Steuwer
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR (2021)
Ivan Valkov, Phil Trinder, Natalia Chechina
Reliable distribution of computational load in robot teams. Auton. Robots 45 (3) (2021)
Dejice Jacob, Phil Trinder, Jeremy Singer
Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms. DLS (2020)
Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder
YewPar: skeletons for exact combinatorial search. PPoPP (2020)
Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder
Tiered versus tierless IoT stacks: comparing smart campus software architectures. IOT (2020)
Danail Penev, Phil Trinder
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala. WEBIST (2020)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par (2019)
Dejice Jacob, Phil Trinder, Jeremy Singer
Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis. DLS (2019)
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113 (2018)
Ivan Valkov, Natalia Chechina, Phil Trinder
Comparing languages for engineering server software: erlang, go, and scala with akka. SAC (2018)
Martin Braun, Oleg Lobachev, Phil Trinder
Arrows for Parallel Computation. CoRR (2018)
Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28 (8) (2017)
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
Replicable Parallel Branch and Bound Search. CoRR (2017)
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC (2017)
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR (2017)
Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder
Improving the network scalability of Erlang. J. Parallel Distributed Comput. (2016)
John Magnus Morton, Patrick Maier, Phil Trinder
JIT-Based Cost Analysis for Dynamic Program Transformations. Electron. Notes Theor. Comput. Sci. 330 (2016)
Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder
Towards reliable and scalable robot communication. Erlang Workshop (2016)
Natalia Chechina, Mario Moro Hernandez, Phil Trinder
A scalable reliable instant messenger using the SD Erlang libraries. Erlang Workshop (2016)
Robert J. Stewart, Patrick Maier, Phil Trinder
Transparent fault tolerance for scalable functional computation. J. Funct. Program. 26 (2016)
André Rauber Du Bois, Phil Trinder
Selected and extended papers from SBLP 2013. Sci. Comput. Program. 132 (2016)
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Patrick Maier, John Magnus Morton, Phil Trinder
JIT costing adaptive skeletons for performance portability. FHPC@ICFP (2016)
Kenneth MacKenzie, Natalia Chechina, Phil Trinder
Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop (2015)
Malak Saleh Aljabri, Hans-Wolfgang Loidl, Phil Trinder
Balancing Shared and Distributed Heaps on NUMA Architectures. Trends in Functional Programming (2014)
Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par (2014)
Patrick Maier, Robert J. Stewart, Phil Trinder
The HdpH DSLs for scalable reliable computation. Haskell (2014)
Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith
Scalable persistent storage for Erlang: theory and practice. Erlang Workshop (2013)
Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming (2012)
Robert J. Stewart, Phil Trinder, Patrick Maier
Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming (2012)
Natalia Chechina, Peter King, Phil Trinder
Redundant movements in autonomous mobility: Experimental and theoretical analysis. J. Parallel Distributed Comput. 71 (10) (2011)
Natalia Chechina, Peter King, Phil Trinder
Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements. IAT (2010)
Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold
Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming (2009)
Yang Jun, Greg Michaelson, Phil Trinder
Human and "human-like" type explanations. PPIG (2001)
Yang Jun, Greg Michaelson, Phil Trinder
How do people check polymorphic types? PPIG (2000)
Phil Trinder
Data Dependent Concurrency Control. Functional Programming (1994)
Phil Trinder
Concurrent Data Manipulation in a Pure Functional Language. Functional Programming (1990)

Phil Trinder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Phil Trinder