Gavin Gray

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Conceptual Models

Convolution Kernel

Top Venues

Proc. ACM Program. Lang.

Publications

Gavin Gray, Will Crichton
Debugging Trait Errors as Logic Programs. CoRR (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. CoRR (2023)
Emily Napier, Gavin Gray, Sageev Oore
Spectral Analysis for Dance Movement Query and Interpolation. MOCO (2022)
Elliot J. Crowley, Gavin Gray, Jack Turner, Amos J. Storkey
Substituting Convolutions for Neural Network Compression. IEEE Access 9 (2021)
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, Gavin Gray
BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. ICLR (2020)
Jack Turner, Elliot J. Crowley, Gavin Gray, Amos J. Storkey, Michael F. P. O'Boyle
BlockSwap: Fisher-guided Block Substitution for Network Compression. CoRR (2019)
Gavin Gray, Elliot J. Crowley, Amos J. Storkey
Separable Layers Enable Structured Efficient Linear Substitutions. CoRR (2019)
Elliot J. Crowley, Gavin Gray, Amos J. Storkey
Moonshine: Distilling with Cheap Convolutions. NeurIPS (2018)
Elliot J. Crowley, Gavin Gray, Amos J. Storkey
Moonshine: Distilling with Cheap Convolutions. CoRR (2017)