@misc{indiciaec2b15de8a70c,
  title = {Enumerating Hardware-Software Splits with Program Rewriting},
  author = {Gus Smith and Zachary Tatlock and Luis Ceze},
  year = {2020},
  url = {https://arxiv.org/abs/2003.00290},
  note = {Source identifier: 2003.00290}
}