Gavin Gray

13 papers A* 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
CoRR
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
Proc. ACM Program. Lang.
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
CoRR
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
Proc. ACM Program. Lang.
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
Debugging Trait Errors as Logic Programs.
CoRR
Gavin Gray, Will Crichton
2022 — conf
Spectral Analysis for Dance Movement Query and Interpolation.
MOCO
Emily Napier, Gavin Gray, Sageev Oore
2021 J jnl
Substituting Convolutions for Neural Network Compression.
IEEE Access
Elliot J. Crowley, Gavin Gray, Jack Turner, Amos Storkey
2020 A* conf
BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget.
ICLR
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey, Gavin Gray
2019 J jnl
BlockSwap: Fisher-guided Block Substitution for Network Compression.
CoRR
Jack Turner, Elliot J. Crowley, Gavin Gray, Amos Storkey, Michael F. P. O'Boyle
2019 J jnl
Separable Layers Enable Structured Efficient Linear Substitutions.
CoRR
Gavin Gray, Elliot J. Crowley, Amos Storkey
2019 — —
Test time cost sensitivity in machine learning.
Gavin Gray
2018 A* conf
Moonshine: Distilling with Cheap Convolutions.
NeurIPS
Elliot J. Crowley, Gavin Gray, Amos J. Storkey
2017 J jnl
Moonshine: Distilling with Cheap Convolutions.
CoRR
Elliot J. Crowley, Gavin Gray, Amos Storkey