Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming by ACM Special Interest Group on Programming Languages | Menrva Books | MenrvaBooks