LI, Xin （リ　シン）　特任助教
ソフトウェア検証研究センター

■学位

B.S. and M.S. from Shanghai Jiao Tong University(2001)(2004), Ph.D. from Japan Advanced Institute of Science and Technology(2007)

Researcher at Japan Advanced Institute of Science and Technology(2007)

Conditional Weighted Pushdown Systems and Applications，Xin Li, Mizuhito Ogawa，ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10)，141-150
Stacking-based Context-sensitive Points-to Analysis for Java，Xin Li, Mizuhito Ogawa，Haifa Verification Conference 2009 (HVC'09), to appear in Springer LNCS，2009/10/20
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java，Xin Li, Mizuhito Ogawa，The 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09)，ENTCS，17798，2009/03/29