Yixuan Chen
发表
Liang Hu,
Yixuan Chen,
Jie Sui,
2019,
KSEM.
Jacob R. Lorch,
Bryan Parno,
Shaz Qadeer,
2020,
PLDI.
Wei Gong,
Liang Hu,
Yixuan Chen,
2019,
CIKM.
Jacob R. Lorch,
Bryan Parno,
Shaz Qadeer,
2020,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.