I'm a first year utah phd student, being advised by Pavel Panchekha. I work at Programming Language and Machine Learning. I am currently working on garbage collection.