This page is working in progress. Check back later for more content!
News
Started an internship with Neuron Automated Reasoning Group at AWS.
Ink has been accepted to OOPSLA 2025.
Opera has been accepted to PLDI 2024. Explore more on our X thread.
Contata has been accepted to CAV 2024.
PhD applications for Fall 2021 submitted.
Hoogle+ made it to OOPSLA 2020.
Thrilled to win Third Place at POPL 2020 SRC.
My first ever website is up and running!
Personal
Name Pronounciation. My first name is pronounced zi /*[ts]əʔ/ teng /təŋ/. I also go by Zetten.
Background. Originally from Shandong, China, I moved to the United States for my undergraduate studies at UC San Diego. Outside of work, I enjoy reading, hiking, hacking Nix and Beancount, and weight lifting.
I am fortunate to know Ziteng Yang: we share not only the same spelling of our first name but also a passion for research in Programming Languages.
Do not check out some very random stuff from my undergraduate era. :)
Listening
4/26/2026. Radiohead has always been at the top of my all time replay ranking, but they feel a bit too sweet for me to listen to lately. My favorite song of theirs is Street Spirit (Fade Out) from 1995, along with two great live performances: Live 1 and Live 2.
These days, my favorite band is 凛として時雨, and I listen almost exclusively to them. When my ears are finally worn out from their violent yet elegant music, I find refuge in The Sundays.