Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic

Published in 2025 International Joint Conference on Neural Networks (IJCNN), 2025

Using Frequency-domain Holographic Reduced Representations (FHRRs), we extend a Vector-Symbolic Architecture (VSA) encoding of Lisp 1.5 with primitives for arithmetic operations using Residue Hyperdimensional Computing (RHC).

Recommended citation: Hanley, C., Tomkins-Flanagan, E., & Kelly, M. A. (2025). "Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic." 2025 International Joint Conference on Neural Networks (IJCNN), 1-8.
Download Paper

Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination

Published in arXiv preprint arXiv:2510.16533, 2025

We present a typed computer language, Doug, in which all typed programs may be proved to halt in polynomial time, encoded in a vector-symbolic architecture (VSA).

Recommended citation: Tomkins-Flanagan, E., Hanley, C., & Kelly, M. A. (2025). "Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination." arXiv preprint arXiv:2510.16533.
Download Paper

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.