Tom Ellis

According to our database, Tom Ellis authored at least 4 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.

Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon

Proc. ACM Program. Lang., 2022

2021

Hashing modulo alpha-equivalence.

Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

DRIFT: Deep Reinforcement Learning for Functional Software Testing.

Luke Harries, Rebekah Storan Clarke, Timothy Chapman, Swamy V. P. L. N. Nallamalli, Levent Özgür, Shuktika Jain, Alex Leung, Steve Lim, Aaron Dietrich, José Miguel Hernández-Lobato, Tom Ellis, Cheng Zhang, Kamil Ciosek

CoRR, 2020

2014

Modelling essential interactions between synthetic genes and their chassis cell.

Rhys J. R. Algar, Tom Ellis, Guy-Bart Stan

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014