Conference record of the ... annual ACM Symposium on Principles of Programming Languages