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
Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
[ full paper | the Lexa language ]
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
[ full paper | the DSA tool ]