First place in the Student Research Competition at the ACM SIGPLAN Programming Language Design and Implementation Conference