TY  - RPRT
TI  - Enumerating Hardware-Software Splits with Program Rewriting
AU  - Gus Smith
AU  - Zachary Tatlock
AU  - Luis Ceze
PY  - 2020
UR  - https://arxiv.org/abs/2003.00290
ID  - 2003.00290
ER  -