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
(conditionally accepted)
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
[ full paper | implementation ]