Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023. ACM 2023