Gavin Gray

According to our database, Gavin Gray authored at least 12 papers between 2018 and 2023.

Collaborative distances:

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

2023

A Grounded Conceptual Model for Ownership Types in Rust.

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Proc. ACM Program. Lang., October, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Debugging Trait Errors as Logic Programs.

Gavin Gray, Will Crichton

CoRR, 2023

2022

Spectral Analysis for Dance Movement Query and Interpolation.

Emily Napier, Gavin Gray, Sageev Oore

Proceedings of the MOCO '22: 8th International Conference on Movement and Computing, Chicago, IL, USA, June 22, 2022

2021

Substituting Convolutions for Neural Network Compression.

Elliot J. Crowley, Gavin Gray, Jack Turner, Amos J. Storkey

IEEE Access, 2021

2020

BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget.

Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, Gavin Gray

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Test time cost sensitivity in machine learning.

Gavin Gray

PhD thesis, 2019

BlockSwap: Fisher-guided Block Substitution for Network Compression.

Jack Turner, Elliot J. Crowley, Gavin Gray, Amos J. Storkey, Michael F. P. O'Boyle

CoRR, 2019

Separable Layers Enable Structured Efficient Linear Substitutions.

Gavin Gray, Elliot J. Crowley, Amos J. Storkey

CoRR, 2019

2018

Moonshine: Distilling with Cheap Convolutions.

Elliot J. Crowley, Gavin Gray, Amos J. Storkey

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018