ACMTPLS stands for ACM Transactions on Programming Languages and Systems (Association for Computing Machinery)