This was recorded at the Computing Community Consortium (CCC) Symposium on Computing Research in October 2017, which was supported by NSF grant 1136996. Any opinions, findings, and conclusions or recommendations expressed in this video are those of the authors and do not necessarily reflect the views of the National Science Foundation.