POPL: Annual Symposium on Principles of Programming Languages