Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming - Sartor, Jennifer B (Association for Computing Machinery, 2017)