Login / Signup
Tom Ellis
ORCID
Publication Activity (10 Years)
Years Active: 2014-2022
Publications (10 Years): 4
Top Topics
Provably Correct
Reinforcement Learning
Interactive Dynamic Influence Diagrams
Escherichia Coli
Top Venues
CoRR
Proc. ACM Program. Lang.
PLDI
CDC
</>
Publications
</>
Faustyna Krawiec
,
Simon Peyton Jones
,
Neel Krishnaswami
,
Tom Ellis
,
Richard A. Eisenberg
,
Andrew W. Fitzgibbon
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Krzysztof Maziarz
,
Tom Ellis
,
Alan Lawrence
,
Andrew W. Fitzgibbon
,
Simon Peyton Jones
Hashing modulo alpha-equivalence.
PLDI
(2021)
Krzysztof Maziarz
,
Tom Ellis
,
Alan Lawrence
,
Andrew W. Fitzgibbon
,
Simon Peyton Jones
Hashing Modulo Alpha-Equivalence.
CoRR
(2021)
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
DRIFT: Deep Reinforcement Learning for Functional Software Testing.
CoRR
(2020)
Rhys J. R. Algar
,
Tom Ellis
,
Guy-Bart Stan
Modelling essential interactions between synthetic genes and their chassis cell.
CDC
(2014)