Proceedings of the Conference for Next Generation Arithmetic - Gustafson, John (ACM Other conferences, 2018)