Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming