research
∙
09/10/2023
Debugging Trait Errors as Logic Programs
Rust uses traits to define units of shared behavior. Trait constraints b...
share
research
∙
09/08/2023
A Grounded Conceptual Model for Ownership Types in Rust
Programmers learning Rust struggle to understand ownership types, Rust's...
research
∙
06/10/2019
BlockSwap: Fisher-guided Block Substitution for Network Compression
The desire to run neural networks on low-capacity edge devices has led t...
research
∙
06/03/2019
Separable Layers Enable Structured Efficient Linear Substitutions
In response to the development of recent efficient dense layers, this pa...
research
∙
11/07/2017