I study programming languages, and I'm advised by Yizhou Zhang.
Before that, I worked on security and programming language at Penn State University, advised by Danfeng Zhang
[ full paper | the DSA tool ]
OOPSLA '24 - Pasadena, California (Oct '24)
MWPLS '24 - University of Chicago (Dec '24)
NJPLS '24 - Cornell Tech (Dec '24)
[slides]
OOPSLA '23 - Cascais, Portugal (Oct '23)