presented at event ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL) Conference