I study programming languages, and I'm advised by Yizhou Zhang.
I'm currently working on extending stack-based typed assembly to handle multiple stacks, and using this language as the compilation target for a high-level language with algebraic effects.
Before that, I worked on security and programming language at Penn State University, advised by Danfeng Zhang
[ full paper | implementation ]